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.Sequentiality of String-to-Context Transducers

作　　者：Pierre-Alain Reynier ;Didier Villevalois

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.128

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

文章 ID：238892263

文章详细全文下载
3.Reaching Your Goal Optimally by Playing at Random with No Memory

作　　者：Benjamin Monmege ;Julie Parreaux ;Pierre-Alain Reynier

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

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

文章 ID：255822885

文章详细全文下载
4.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

文章详细全文下载
5.Symbolic Approximation of Weighted Timed Games

作　　者：Damien Busatto-Gaston ;Benjamin Monmege ;Pierre-Alain Reynier

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-16.doi:10.4230/LIPIcs.FSTTCS.2018.28

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

文章 ID：230213177

文章详细全文下载

	Fr{\'e}d{\'e}ric Servais	1篇
	Julie Parreaux	1篇
	Lo Exibard	1篇
	Olivier Gauwin	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Pierre-Alain Reynier")))) )) ) )"

	Pierre-Alain Reynier	5篇
	Benjamin Monmege	2篇
	Emmanuel Filiot	2篇
	Damien Busatto-Gaston	1篇
	Didier Villevalois	1篇

	2020	1篇
	2019	2篇
	2018	1篇
	2011	1篇