1.On Synthesis of Resynchronizers for Transducers

作　　者：Sougata Bose ;Shankara Narayanan Krishna ;Anca Muscholl 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-14.doi:10.4230/LIPIcs.MFCS.2019.69

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

文章 ID：238892019

文章详细全文下载

2.Equivalence of Finite-Valued Streaming String Transducers Is Decidable

作　　者：Anca Muscholl ;Gabriele Puppis

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

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

文章 ID：238892257

文章详细全文下载

3.On the Decomposition of Finite-Valued Streaming String Transducers

作　　者：Paul Gallot ;Anca Muscholl ;Gabriele Puppis 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:34:1-34:14.doi:10.4230/LIPIcs.STACS.2017.34

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

文章 ID：191698363

文章详细全文下载

4.Resynchronizing Classes of Word Relations

作　　者：Mar{\'i}a Emilia Descotte ;Diego Figueira ;Gabriele Puppis

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:123:1-123:13.doi:10.4230/LIPIcs.ICALP.2018.123

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

文章 ID：220014914

文章详细

5.Logics with rigidly guarded data tests

作　　者：Gabriele Puppis ;Thomas Colcombet ;Clemens Ley

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

出版社：Technical University of Braunschweig

文章 ID：264692079

文章详细全文下载

6.A decidable weakening of Compass Logic based on cone-shaped cardinal directions

作　　者：Angelo Montanari ;Gabriele Puppis ;Pietro Sala

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

出版社：Technical University of Braunschweig

文章 ID：264692111

文章详细全文下载

7.Decidability of the Interval Temporal Logic ABB over the Natural Numbers

作　　者：Angelo Montanari ;Gabriele Puppis ;Pietro Sala 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:597-608.doi:10.4230/LIPIcs.STACS.2010.2488

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

文章 ID：186845676

文章详细

8.One-way Definability of Sweeping Transducer

作　　者：F{\'e}lix Baschenis ;Olivier Gauwin ;Anca Muscholl 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:178-191.doi:10.4230/LIPIcs.FSTTCS.2015.178

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

文章 ID：186847184

文章详细全文下载

9.Minimizing Resources of Sweeping and Streaming String Transducers

作　　者：F{\'e}lix Baschenis ;Olivier Gauwin ;Anca Muscholl 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:114:1-114:14.doi:10.4230/LIPIcs.ICALP.2016.114

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

文章 ID：186847711

文章详细全文下载

10.Origin-Equivalence of Two-Way Word Transducers Is in PSPACE

作　　者：Sougata Bose ;Anca Muscholl ;Vincent Penelle 等

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

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

文章 ID：230213171

文章详细全文下载

	有本地全文	9篇
	有全文链接	2篇

	Pietro Sala	2篇
	Sougata Bose	2篇
	Vincent Penelle	2篇
	Clemens Ley	1篇
	Diego Figueira	1篇
	Guido Sciavicco	1篇
	Mar{\'i}a Emilia Descotte	1篇
	Paul Gallot	1篇
	Shankara Narayanan Krishna	1篇
	Sylvain Salvati	1篇
	Thomas Colcombet	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Gabriele Puppis")))) )) ) )"

	Gabriele Puppis	11篇
	Anca Muscholl	7篇
	Angelo Montanari	2篇
	F{\'e}lix Baschenis	2篇
	Olivier Gauwin	2篇

	LIPIcs : Leibniz International Proceedings in Informatics	9篇
	Logical Methods in Computer Science	2篇