1.Relating timed and register automata

作　　者：Diego Figueira ;Piotr Hofman ;Sławomir Lasota

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;41:61-75.doi:10.4204/EPTCS.41.5

出版社：Open Publishing Association

文章 ID：83120073

文章详细全文下载

2.Approximating Weak Bisimilarity of Basic Parallel Processes

作　　者：Piotr Hofman ;Patrick Totzke

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;89:99-113.doi:10.4204/EPTCS.89.8

出版社：Open Publishing Association

文章 ID：83120522

文章详细全文下载

3.Timed Basic Parallel Processes

作　　者：Lorenzo Clemente ;Piotr Hofman ;Patrick Totzke

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

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

文章 ID：238891923

文章详细全文下载

4.On Büchi One-Counter Automata

作　　者：Stanislav B{\"o}hm ;Stefan G{\"o}ller ;Simon Halfon 等

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

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

文章 ID：191698343

文章详细全文下载

5.Universality Problem for Unambiguous VASS

作　　者：Wojciech CzerwiÅ"ski ;Diego Figueira ;Piotr Hofman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:36:1-36:15.doi:10.4230/LIPIcs.CONCUR.2020.36

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

文章 ID：255822895

文章详细全文下载

6.Parametrized Universality Problems for One-Counter Nets

作　　者：Shaull Almagor ;Udi Boker ;Piotr Hofman 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:47:1-47:16.doi:10.4230/LIPIcs.CONCUR.2020.47

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

文章 ID：255822906

文章详细全文下载

7.Unboundedness Problems for Languages of Vector Addition Systems

作　　者：Wojciech Czerwinski ;Piotr Hofman ;Georg Zetzsche

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:119:1-119:15.doi:10.4230/LIPIcs.ICALP.2018.119

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

文章 ID：220014910

文章详细

8.Reachability Problem for Weak Multi-Pushdown Automata

作　　者：Wojciech Czerwiński ;Piotr Hofman ;Sławomir Lasota

出　　处：Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:13)2013

出版社：Technical University of Braunschweig

文章 ID：264692021

文章详细全文下载

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

文章详细全文下载

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

文章详细全文下载

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

	2015	1篇
	2013	2篇
	2012	1篇
	2010	1篇

	Sławomir Lasota	2篇
	Christoph Haase	1篇
	Georg Zetzsche	1篇
	Lorenzo Clemente	1篇
	Shaull Almagor	1篇
	Simon Halfon	1篇
	Stanislav B{\"o}hm	1篇
	Stefan G{\"o}ller	1篇
	Udi Boker	1篇
	Wim Martens	1篇
	Wojciech Czerwinski	1篇
	Wojciech CzerwiÅ"ski	1篇
	Wojciech Czerwiński	1篇

	德国	11篇
	澳大利亚	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Piotr Hofman")))) )) ) )"

	Piotr Hofman	13篇
	Patrick Totzke	5篇
	Slawomir Lasota	3篇
	Diego Figueira	2篇
	Richard Mayr	2篇

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