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

文章详细全文下载

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

文章详细全文下载

3.Büchi Objectives in Countable MDPs

作　　者：Stefan Kiefer ;Richard Mayr ;Mahsa Shirmohammadi 等

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

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

文章 ID：238892254

文章详细全文下载

4.Strategy Complexity of Parity Objectives in Countable MDPs

作　　者：Stefan Kiefer ;Richard Mayr ;Mahsa Shirmohammadi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:39:1-39:17.doi:10.4230/LIPIcs.CONCUR.2020.39

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

文章 ID：255822898

文章详细全文下载

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

文章详细全文下载

6.Optimally Resilient Strategies in Pushdown Safety Games

作　　者：Daniel Neider ;Patrick Totzke ;Martin Zimmermann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:74:1-74:15.doi:10.4230/LIPIcs.MFCS.2020.74

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

文章 ID：255822984

文章详细全文下载

7.How to Play in Infinite MDPs (Invited Talk)

作　　者：Stefan Kiefer ;Richard Mayr ;Mahsa Shirmohammadi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:3:1-3:18.doi:10.4230/LIPIcs.ICALP.2020.3

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

文章 ID：255823038

文章详细全文下载

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

文章详细全文下载

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

文章详细全文下载

10.A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One

作　　者：Stefan G{\"o}ller ;Christoph Haase ;Ranko Lazic 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:105:1-105:13.doi:10.4230/LIPIcs.ICALP.2016.105

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

文章 ID：186847702

文章详细全文下载

	2020	4篇
	2019	2篇
	2018	1篇
	2016	2篇
	2013	1篇

	Slawomir Lasota	2篇
	Christoph Haase	1篇
	Daniel Neider	1篇
	Dominik Wojtczak	1篇
	Lorenzo Clemente	1篇
	Martin Zimmermann	1篇
	Mohamed Faouzi Atig	1篇
	Parosh Aziz Abdulla	1篇
	Radu Ciobanu	1篇
	Ranko Lazic	1篇
	Shaull Almagor	1篇
	Stefan G{\"o}ller	1篇
	Udi Boker	1篇

	德国	10篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Patrick Totzke")))) )) ) )"

	Patrick Totzke	11篇
	Richard Mayr	6篇
	Piotr Hofman	5篇
	Mahsa Shirmohammadi	3篇
	Stefan Kiefer	3篇

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