1.Synthesis of Data Word Transducers

作　　者：Lo Exibard ;Emmanuel Filiot ;Pierre-Alain Reynier

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-15.doi:10.4230/LIPIcs.CONCUR.2019.24

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

文章 ID：238891932

文章详细全文下载

2.Two-Way Parikh Automata

作　　者：Emmanuel Filiot ;Shibashis Guha ;Nicolas Mazzocchi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-14.doi:10.4230/LIPIcs.FSTTCS.2019.40

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

文章 ID：241519894

文章详细全文下载

3.Weighted Transducers for Robustness Verification

作　　者：Emmanuel Filiot ;Nicolas Mazzocchi ;Jean-Fran{\c{c}}ois Raskin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:17:1-17:21.doi:10.4230/LIPIcs.CONCUR.2020.17

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

文章 ID：255822876

文章详细全文下载

4.Synthesis of Computable Regular Functions of Infinite Words

作　　者：Vrunda Dave ;Emmanuel Filiot ;Shankara Narayanan Krishna 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:43:1-43:17.doi:10.4230/LIPIcs.CONCUR.2020.43

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

文章 ID：255822902

文章详细全文下载

5.Register Transducers Are Marble Transducers

作　　者：Ga{"e}tan Douneau-Tabot ;Emmanuel Filiot ;Paul Gastin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:29:1-29:14.doi:10.4230/LIPIcs.MFCS.2020.29

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

文章 ID：255822939

文章详细全文下载

6.The Adversarial Stackelberg Value in Quantitative Games

作　　者：Emmanuel Filiot ;Raffaella Gentilini ;Jean-Fran{\c{c}}ois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:127:1-127:18.doi:10.4230/LIPIcs.ICALP.2020.127

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

文章 ID：255823162

文章详细全文下载

7.Quantitative Languages Defined by Functional Automata

作　　者：Emmanuel Filiot ;Raffaella Gentilini ;Jean-François Raskin

出　　处：Logical Methods in Computer Science. 2015 ;11(3):1.doi:10.2168/LMCS-11(3:14)2015

出版社：Technical University of Braunschweig

文章 ID：264692085

文章详细全文下载

8.Synthesis from Weighted Specifications with Partial Domains over Finite Words

作　　者：Emmanuel Filiot ;Löding, Christof ;Sarah Winter

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-16.doi:10.4230/LIPIcs.FSTTCS.2020.46

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

文章 ID：257805116

文章详细全文下载

9.Streamability of Nested Word Transductions

作　　者：Emmanuel Filiot ;Olivier Gauwin ;Pierre-Alain Reynier 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:312-324.doi:10.4230/LIPIcs.FSTTCS.2011.312

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

文章 ID：186845888

文章详细全文下载

10.Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games

作　　者：V{\'e}ronique Bruy{\`e}re ;Emmanuel Filiot ;Mickael Randour 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;25:199-213.doi:10.4230/LIPIcs.STACS.2014.199

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

文章 ID：186846454

文章详细全文下载

	2020	5篇
	2019	2篇
	2018	2篇
	2016	3篇
	2015	1篇

	Emmanuel Filiot	17篇
	Jean-Fran{\c{c}}ois Raskin	4篇
	Raffaella Gentilini	4篇
	Nathan Lhote	3篇
	Olivier Gauwin	3篇

	Ashutosh Trivedi	2篇
	Isma{\"e}l Jecker	2篇
	Nicolas Mazzocchi	2篇
	Pierre-Alain Reynier	2篇
	Sarah Winter	2篇
	Shankara Narayanan Krishna	2篇
	Anca Muscholl	1篇
	Christof L{\"o}ding	1篇
	Fr{\'e}d{\'e}ric Servais	1篇
	Ga{"e}tan Douneau-Tabot	1篇
	Jean-Francois Raskin	1篇
	Jean-François Raskin	1篇
	Lo Exibard	1篇
	L{\'e}o Exibard	1篇
	Löding, Christof	1篇
	Mickael Randour	1篇
	Paul Gastin	1篇
	Rodica Condurache	1篇
	Shibashis Guha	1篇
	Sriram Sankaranarayanan	1篇
	Vrunda Dave	1篇
	V{\'e}ronique Bruy{\`e}re	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Emmanuel Filiot")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	16篇
	Logical Methods in Computer Science	1篇