1.New Pumping Technique for 2-Dimensional VASS

作　　者：Wojciech Czerwinski ;Slawomir Lasota ;Christof L{"o}ding 等

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

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

文章 ID：238892012

文章详细全文下载

2.Separability of Reachability Sets of Vector Addition Systems

作　　者：Lorenzo Clemente ;Wojciech Czerwinski ;Slawomir Lasota 等

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

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

文章 ID：191698353

文章详细全文下载

3.Regular Separability of Parikh Automata

作　　者：Lorenzo Clemente ;Wojciech Czerwinski ;Slawomir Lasota 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:117:1-117:13.doi:10.4230/LIPIcs.ICALP.2017.117

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

文章 ID：198372071

文章详细全文下载

4.Binary Reachability of Timed Pushdown Automata via Quantifier Elimination and Cyclic Order Atoms

作　　者：Lorenzo Clemente ;Slawomir Lasota

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

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

文章 ID：220014909

文章详细

5.Simulation Problems Over One-Counter Nets

作　　者：Piotr Hofman ;Slawomir Lasota ;Richard Mayr 等

出　　处：Logical Methods in Computer Science. 2016 ;12(1):1.doi:10.2168/LMCS-12(1:6)2016

出版社：Technical University of Braunschweig

文章 ID：264692124

文章详细全文下载

6.Fast equivalence-checking for normed context-free processes

作　　者：Wojciech Czerwinski ;Slawomir Lasota

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:260-271.doi:10.4230/LIPIcs.FSTTCS.2010.260

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

文章 ID：186845776

文章详细全文下载

7.Simulation Over One-counter Nets is PSPACE-Complete

作　　者：Piotr Hofman ;Slawomir Lasota ;Richard Mayr 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:515-526.doi:10.4230/LIPIcs.FSTTCS.2013.515

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

文章 ID：186846433

文章详细全文下载

8.Reachability Analysis of First-order Definable Pushdown Systems

作　　者：Lorenzo Clemente ;Slawomir Lasota

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:244-259.doi:10.4230/LIPIcs.CSL.2015.244

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

文章 ID：186847050

文章详细全文下载

9.Homomorphism Problems for First-Order Definable Structures

作　　者：Bartek Klin ;Slawomir Lasota ;Joanna Ochremiak 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:14:1-14:15.doi:10.4230/LIPIcs.FSTTCS.2016.14

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

文章 ID：186848134

文章详细全文下载

10.Linear Equations with Ordered Data

作　　者：Piotr Hofman ;Slawomir Lasota

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

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

文章 ID：230213336

文章详细全文下载

	有本地全文	10篇
	有全文链接	1篇

	Slawomir Lasota	11篇
	Wojciech Czerwinski	5篇
	Lorenzo Clemente	4篇
	Piotr Hofman	3篇
	Charles Paperman	2篇

	Patrick Totzke	2篇
	Richard Mayr	2篇
	Bartek Klin	1篇
	Christof L{"o}ding	1篇
	Joanna Ochremiak	1篇
	K. Narayan Kumar	1篇
	Prakash Saivasan	1篇
	Radoslaw Pi{'o}rkowski	1篇
	Roland Meyer	1篇
	Sebastian Muskalla	1篇
	Szymon Torunczyk	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Slawomir Lasota")))) )) ) )"

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