1.Petri Nets with Time and Cost

作　　者：Parosh Aziz Abdulla ;Richard Mayr

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;107:9-24.doi:10.4204/EPTCS.107.3

出版社：Open Publishing Association

文章 ID：85356939

文章详细全文下载

2.INTRODUCING A THEORETIC MODEL AND AN EMPIRIC NORM FOR INFORMATION RISK MANAGEMENT IN DECISION MAKING

作　　者：Stefan Schwerd ;Richard Mayr

出　　处：Problems of Management in the 21st Century. 2017 ;Vol. 12-1:39-53.

出版社：Scientia Socialis

文章 ID：239569172

文章详细全文下载

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

文章详细全文下载

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

文章详细全文下载

7.Stochastic Parity Games on Lossy Channel Systems

作　　者：Parosh Abdulla ;Lorenzo Clemente ;Richard Mayr 等

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:21)2014

出版社：Technical University of Braunschweig

文章 ID：264692157

文章详细全文下载

8.Priced Timed Petri Nets

作　　者：Richard Mayr ;Parosh Abdulla

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

出版社：Technical University of Braunschweig

文章 ID：264692177

文章详细全文下载

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.Model Checking Flat Freeze LTL on One-Counter Automata

作　　者：Antonia Lechner ;Richard Mayr ;Jo{\"e}l Ouaknine 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:29:1-29:14.doi:10.4230/LIPIcs.CONCUR.2016.29

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

文章 ID：186847587

文章详细全文下载

	2020	2篇
	2019	1篇
	2018	1篇
	2017	1篇
	2016	2篇

	Richard Mayr	11篇
	Patrick Totzke	6篇
	Mahsa Shirmohammadi	3篇
	Stefan Kiefer	3篇
	Parosh Abdulla	2篇

	Parosh Aziz Abdulla	2篇
	Piotr Hofman	2篇
	Slawomir Lasota	2篇
	Amaury Pouly	1篇
	Antonia Lechner	1篇
	Dominik Wojtczak	1篇
	James Worrell	1篇
	Jo{\"e}l Ouaknine	1篇
	Lorenzo Clemente	1篇
	Mohamed Faouzi Atig	1篇
	Radu Ciobanu	1篇
	Stefan Schwerd	1篇
	Sven Sandberg	1篇

	计算技术、计算机技术	10篇
	管理学	1篇

	德国	9篇
	澳大利亚	1篇
	立陶宛	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Richard Mayr")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	6篇
	Logical Methods in Computer Science	3篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Problems of Management in the 21st Century	1篇