1.Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

作　　者：Nathana{\"e}l Fijalkow ;Pierre Ohlmann ;Jo{\"e}l Ouaknine 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:29:1-29:13.doi:10.4230/LIPIcs.STACS.2017.29

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：191698358

文章详细全文下载

2.Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games

作　　者：Nathana{\"e}l Fijalkow ;Pawe{\l} Gawrychowski ;Pierre Ohlmann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:34:1-34:15.doi:10.4230/LIPIcs.MFCS.2020.34

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822944

文章详细全文下载

3.A Robust Class of Linear Recurrence Sequences

作　　者：Corentin Barloy ;Nathana{"e}l Fijalkow ;Nathan Lhote 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-16.doi:10.4230/LIPIcs.CSL.2020.9

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：243494210

文章详细全文下载

4.Expressiveness of Probabilistic Modal Logics, Revisited

作　　者：Nathana{\"e}l Fijalkow ;Bartek Klin ;Prakash Panangaden

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:105:1-105:12.doi:10.4230/LIPIcs.ICALP.2017.105

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：198372059

文章详细全文下载

5.Probabilistic Automata of Bounded Ambiguity

作　　者：Nathana{\"e}l Fijalkow ;Cristian Riveros ;James Worrell

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:19:1-19:14.doi:10.4230/LIPIcs.CONCUR.2017.19

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735185

文章详细全文下载

6.Lower Bounds for Arithmetic Circuits via the Hankel Matrix

作　　者：Nathana{"e}l Fijalkow ;Guillaume Lagarde ;Pierre Ohlmann 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:24:1-24:17.doi:10.4230/LIPIcs.STACS.2020.24

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823563

文章详细全文下载

7.Infinite-state games with finitary conditions

作　　者：Krishnendu Chatterjee ;Nathana{\"e}l Fijalkow

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:181-196.doi:10.4230/LIPIcs.CSL.2013.181

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846338

文章详细全文下载

8.Emptiness Of Alternating Tree Automata Using Games With Imperfect Information

作　　者：Nathana{\"e}l Fijalkow ;Sophie Pinchinat ;Olivier Serre

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:299-311.doi:10.4230/LIPIcs.FSTTCS.2013.299

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846416

文章详细全文下载

9.Characterisation of an Algebraic Algorithm for Probabilistic Automata

作　　者：Nathana{\"e}l Fijalkow

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;47:34:1-34:13.doi:10.4230/LIPIcs.STACS.2016.34

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847247

文章详细全文下载

10.The Bridge Between Regular Cost Functions and Omega-Regular Languages

作　　者：Thomas Colcombet ;Nathana{\"e}l Fijalkow

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:126:1-126:13.doi:10.4230/LIPIcs.ICALP.2016.126

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847723

文章详细全文下载

	2020	3篇
	2018	1篇
	2017	3篇
	2016	2篇
	2013	2篇

	Amaury Pouly	1篇
	Aniello Murano	1篇
	Bartek Klin	1篇
	Bastien Maubert	1篇
	Corentin Barloy	1篇
	Cristian Riveros	1篇
	Filip Mazowiecki	1篇
	Guillaume Lagarde	1篇
	Jo{\"e}l Ouaknine	1篇
	Krishnendu Chatterjee	1篇
	Nathan Lhote	1篇
	Pawe{\l} Gawrychowski	1篇
	Prakash Panangaden	1篇
	Sasha Rubin	1篇
	Sophie Pinchinat	1篇
	Thomas Colcombet	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Nathana{"e}l Fijalkow")))) )) ) )"

	Nathana{\"e}l Fijalkow	9篇
	Pierre Ohlmann	3篇
	James Worrell	2篇
	Nathana{"e}l Fijalkow	2篇
	Olivier Serre	2篇