1.Playing Muller Games in a Hurry

作　　者：John Fearnley ;Martin Zimmermann

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;25:146-161.doi:10.4204/EPTCS.25.15

出版社：Open Publishing Association

文章 ID：83119910

文章详细全文下载

2.Optimal Bounds in Parametric LTL Games

作　　者：Martin Zimmermann

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:146-161.doi:10.4204/EPTCS.54.11

出版社：Open Publishing Association

文章 ID：83120165

文章详细全文下载

3.Down the Borel Hierarchy: Solving Muller Games via Safety Games

作　　者：Daniel Neider ;Roman Rabinovich ;Martin Zimmermann

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;96:169-182.doi:10.4204/EPTCS.96.13

出版社：Open Publishing Association

文章 ID：83120595

文章详细全文下载

4.Playing Pushdown Parity Games in a Hurry

作　　者：Wladimir Fridman ;Martin Zimmermann

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;96:183-196.doi:10.4204/EPTCS.96.14

出版社：Open Publishing Association

文章 ID：83120596

文章详细全文下载

5.G. FISCHER – S. MORAW (Hrsg.), Die andere Seite der Klassik. Gewalt im 5. und 4. Jahrhundert v. Chr. Kulturwissenschaftliches Kolloquium Bonn, Kunst- und Ausstellungshalle der Bundesrepublik Deutsch-land, 11.-13. Juli 2002. Stuttgart: Steiner 2005, 328 S.

作　　者：Martin Zimmermann

出　　处：Göttinger Forum für Altertumswissenschaft. 2006 ;9.

出版社：Duehrkohp & Radicke

文章 ID：46063774

文章详细全文下载

6.Glashandwerker im Frühmittelalter

作　　者：Martin Zimmermann

出　　处：Archäologische Informationen. 2015 ;38(1):559-562.

出版社：DGUF e.V.

文章 ID：185444505

文章详细全文下载

7.The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas

作　　者：Corto Mascle ;Martin Zimmermann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-16.doi:10.4230/LIPIcs.CSL.2020.29

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

文章 ID：243494230

文章详细全文下载

8.Die seltsamsten Orte der Antike. Gespensterhäuser, Hängende Gärten und die Enden der Welt München: C.H. Beck 2018, 336 S.

作　　者：Martin Zimmermann

出　　处：Göttinger Forum für Altertumswissenschaft. 2018 ;21:1239-1240.doi:10.14628/GFA_ _021 _2018_ R25

出版社：Duehrkohp & Radicke

文章 ID：243716578

文章详细全文下载

9.The First-Order Logic of Hyperproperties

作　　者：Bernd Finkbeiner ;Martin Zimmermann

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

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

文章 ID：191698359

文章详细全文下载

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

文章详细全文下载

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

	2022	1篇
	2020	2篇
	2019	1篇
	2018	5篇
	2017	1篇

	2016	4篇
	2015	2篇
	2014	2篇
	2012	3篇
	2011	2篇
	2010	1篇
	2006	1篇

	Martin Zimmermann	25篇
	Alexander Weinert	5篇
	Daniel Neider	4篇
	Felix Klein	3篇
	Wladimir Fridman	2篇

	Andreas Krebs	1篇
	Arne Meier	1篇
	Bernd Finkbeiner	1篇
	Christof L{\"o}ding	1篇
	Corto Mascle	1篇
	Hazem Torfah	1篇
	John Fearnley	1篇
	Jonni Virtema	1篇
	Karoliina Lehtinen	1篇
	Matthew Hague	1篇
	Nathanael Fijalkow	1篇
	Nathanaël Fijalkow	1篇
	Patrick Totzke	1篇
	Roland Meyer	1篇
	Roman Rabinovich	1篇
	Sebastian Muskalla	1篇
	Sven Schewe	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Martin Zimmermann")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	14篇
	Electronic Proceedings in Theoretical Computer Science	5篇
	Logical Methods in Computer Science	3篇
	Göttinger Forum für Altertumswissenschaft	2篇
	Archäologische Informationen	1篇

	计算技术、计算机技术	22篇
	史学理论	2篇
	心理学	1篇

	英文	22篇
	德文	3篇

	德国	20篇
	澳大利亚	5篇