1.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

文章详细全文下载

2.Reachability for Bounded Branching VASS

作　　者：Filip Mazowiecki ;Michal Pilipczuk

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

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

文章 ID：238891936

文章详细全文下载

3.Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One

作　　者：Diego Figueira ;Ranko Lazic ;J{\'e}r{\^o}me Leroux 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:119:1-119:14.doi:10.4230/LIPIcs.ICALP.2017.119

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

文章 ID：198372073

文章详细全文下载

4.Reachability in Fixed Dimension Vector Addition Systems with States

作　　者：Wojciech CzerwiÅ"ski ;S{\l}awomir Lasota ;Ranko LaziÄ 等

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

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

文章 ID：255822907

文章详细全文下载

5.On Polynomial Recursive Sequences

作　　者：Micha{"e}l Cadilhac ;Filip Mazowiecki ;Charles Paperman 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:117:1-117:17.doi:10.4230/LIPIcs.ICALP.2020.117

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

文章 ID：255823152

文章详细全文下载

6.Pumping Lemmas for Weighted Automata

作　　者：Filip Mazowiecki ;Cristian Riveros

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:50:1-50:14.doi:10.4230/LIPIcs.STACS.2018.50

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

文章 ID：220015285

文章详细

7.When is Containment Decidable for Probabilistic Automata?

作　　者：Laure Daviaud ;Marcin Jurdzinski ;Ranko Lazic 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:121:1-121:14.doi:10.4230/LIPIcs.ICALP.2018.121

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

文章 ID：220014912

文章详细

8.Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata

作　　者：Filip Mazowiecki ;Cristian Riveros

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:144-159.doi:10.4230/LIPIcs.CSL.2015.144

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

文章 ID：186847044

文章详细全文下载

9.Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties

作　　者：Filip Mazowiecki ;Cristian Riveros

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

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

文章 ID：186847266

文章详细全文下载

10.Affine Extensions of Integer Vector Addition Systems with States

作　　者：Michael Blondin ;Christoph Haase ;Filip Mazowiecki

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.14

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

文章 ID：230213326

文章详细全文下载

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

	Corentin Barloy	1篇
	Diego Figueira	1篇
	Graud Snizergues	1篇
	Gr{\'e}goire Sutre	1篇
	Guillermo A. P{\'e}rez	1篇
	James Worrell	1篇
	Jr{\^o}me Leroux	1篇
	J{\'e}r{\^o}me Leroux	1篇
	Laure Daviaud	1篇
	Marcin Jurdzinski	1篇
	Michael Blondin	1篇
	Michal Pilipczuk	1篇
	Micha{"e}l Cadilhac	1篇
	MichaÅ, Pilipczuk	1篇
	Nathan Lhote	1篇
	Nathana{"e}l Fijalkow	1篇
	Ranko LaziÄ	1篇
	S{\l}awomir Lasota	1篇
	Wojciech CzerwiÅ"ski	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Filip Mazowiecki")))) )) ) )"

	Filip Mazowiecki	10篇
	Cristian Riveros	3篇
	Ranko Lazic	2篇
	Charles Paperman	1篇
	Christoph Haase	1篇