Martin Zimmermann (Saarland University)

Identifiers

• name variant Martin Zimmermann (Saarland University) 0.60 · backfill

Papers (5)

1. Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification cs.LO · 2018 · author #2
2. Finite-state Strategies in Delay Games cs.GT · 2017 · author #1
3. Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL cs.LO · 2015 · author #1
4. Parametric Linear Dynamic Logic cs.LO · 2014 · author #2
5. Parity and Streett Games with Costs cs.LO · 2012 · author #5

Mentions

• 1408.5957 #2 · backfill · confidence 0.70 Martin Zimmermann (Saarland University)
• 1207.0663 #5 · backfill · confidence 0.70 Martin Zimmermann (Saarland University)

Frequent Coauthors

• Andrea Orlandini (National Research Council of Italy) 1 shared papers
• Institute of Informatics 1 shared papers
• Nathana\"el Fijalkow (LIAFA 1 shared papers
• Peter Faymonville (Saarland University) 1 shared papers
• Universit\'e Paris 7 1 shared papers
• University of Warsaw) 1 shared papers