Martin Zimmermann

Citeret af

	Alle	Siden 2018
Henvisninger	666	425
h-index	14	12
i10-indeks	27	16

120

2009201020112012201320142015201620172018201920202021202220238 9 7 23 22 19 59 40 52 57 57 73 57 102 73

Offentlig adgang

Se alle

21 artikler

0 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityVerificeret mail på tu-dortmund.de
Alexander WeinertResearch Group Lead Distributed Systems, German Aerospace CenterVerificeret mail på dlr.de
Karoliina LehtinenCNRS, Aix-Marseille Université, LISVerificeret mail på lis-lab.fr
Nathanaël FijalkowCNRS, LaBRI, Bordeaux, and University of WarsawVerificeret mail på labri.fr
Peter FaymonvilleITK EngineeringVerificeret mail på faymonville.de
Satya Prakash NayakPhD in Computer Science, Max Planck Institute for Software SystemsVerificeret mail på mpi-sws.org
Wolfgang ThomasProf of Computer Science, RWTH Aachen UniversityVerificeret mail på cs.rwth-aachen.de
Florian HornChargé de Recherches, IRIF, CNRS & Université Paris Diderot - Paris 7Verificeret mail på irif.fr
Patrick TotzkeUniversity of LiverpoolVerificeret mail på liverpool.ac.uk
Leander TentrupSaarland University, Saarland Informatics CampusVerificeret mail på cs.uni-saarland.de
Arne MeierPrivatdozent, Institute of Theoretical Computer Science, Leibniz Universität HannoverVerificeret mail på thi.uni-hannover.de
Ismaël JeckerInstitute of Science and Technology, AustriaVerificeret mail på ist.ac.at
Roman RabinovichTechnische Universität BerlinVerificeret mail på tu-berlin.de
Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusVerificeret mail på cispa.saarland
Wladimir FridmanRWTH Aachen UniversityVerificeret mail på automata.rwth-aachen.de
Corto MascleLaBRIVerificeret mail på labri.fr
Louwe B. KuijerUniversity of LiverpoolVerificeret mail på liv.ac.uk
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerificeret mail på cispa.de
John FearnleyUniversity of LiverpoolVerificeret mail på liverpool.ac.uk
Sarah WinterUniversité libre de Bruxelles (ULB)Verificeret mail på ulb.be

Følg

Martin Zimmermann

Aalborg University

Verificeret mail på cs.aau.dk - Startside

computer science game theory automata theory temporal logics


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
Parity and Streett Games with Costs N Fijalkow, M Zimmermann Logical Methods in Computer Science 10 (2), 2014	52*	2014
Optimal Bounds in Parametric LTL Games M Zimmermann Theoretical Computer Science 493, 30-45, 2013	48	2013
Optimal strategy synthesis for request-response games F Horn, W Thomas, N Wallmeier, M Zimmermann RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2015	43*	2015
Parametric linear dynamic logic P Faymonville, M Zimmermann Information and Computation 253, 237-256, 2017	42*	2017
The First-order Logic of Hyperproperties B Finkbeiner, M Zimmermann STACS 2017, 2017	38	2017
Team Semantics for the Specification and Verification of Hyperproperties A Krebs, A Meier, J Virtema, M Zimmermann MFCS 2018, 2017	36	2017
How Much Lookahead is Needed to Win Infinite Games? F Klein, M Zimmermann Logical Methods in Computer Science 12 (3), 2016	30	2016
Synthesizing optimally resilient controllers D Neider, A Weinert, M Zimmermann Acta Informatica 57 (1), 195-221, 2020	23	2020
Degrees of Lookahead in Context-free Infinite Games W Fridman, C Löding, M Zimmermann CSL 2011 12, 264-276, 2011	23	2011
Good-for-games ω-pushdown automata K Lehtinen, M Zimmermann Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020	21	2020
Time-optimal Winning Strategies for Poset Games M Zimmermann CIAA 2009 5642, 217-226, 2009	19	2009
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead F Klein, M Zimmermann CSL 2015 41, 519--533, 2015	18	2015
Down the Borel Hierarchy: Solving Muller Games via Safety Games D Neider, R Rabinovich, M Zimmermann Theoretical Computer Science 560, 219-234, 2014	17*	2014
From LTL to rLTL monitoring: improved monitorability through robust semantics MZ Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada ... Formal Methods in System Design 59, 2021	15*	2021
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas C Mascle, M Zimmermann CSL 2020, 2020	14	2020
Parameterized linear temporal logics meet costs: Still not costlier than LTL M Zimmermann Acta Informatica 55 (2), 129-152, 2018	14*	2018
Finite-state strategies in delay games S Winter, M Zimmermann Information and Computation 272, 104500, 2020	13*	2020
Visibly linear dynamic logic A Weinert, M Zimmermann TCS, 2018	13*	2018
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs A Weinert, M Zimmermann Logical Methods in Computer Science 13, 2017	13	2017
Bounding average-energy games P Bouyer, P Hofman, N Markey, M Randour, M Zimmermann FOSSACS 2017, 179-195, 2017	13	2017

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere