Showing 1 - 20 results of 44 for search 'Martín Zimmermann', query time: 0.27s Refine Results
  1. 1
    Optimal Bounds in Parametric LTL Games

    Optimal Bounds in Parametric LTL Games by Martin Zimmermann

    Published 2011-06-01
    Get full text
    Article
  2. 2
    Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL

    Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL by Martin Zimmermann

    Published 2015-09-01
    Get full text
    Article
  3. 3
    Finite-state Strategies in Delay Games

    Finite-state Strategies in Delay Games by Martin Zimmermann

    Published 2017-09-01
    Get full text
    Article
  4. 4
    Good-for-games $\omega$-Pushdown Automata

    Good-for-games $\omega$-Pushdown Automata by Karoliina Lehtinen, Martin Zimmermann

    Published 2023-02-01
    Get full text
    Article
  5. 5
    Parity and Streett Games with Costs

    Parity and Streett Games with Costs by Nathanaël Fijalkow, Martin Zimmermann

    Published 2014-06-01
    Get full text
    Article
  6. 6
    Parametric Linear Dynamic Logic

    Parametric Linear Dynamic Logic by Peter Faymonville, Martin Zimmermann

    Published 2014-08-01
    Get full text
    Article
  7. 7
    Impact assessment of water and nutrient reuse in hydroponic systems using Bayesian Belief Networks

    Impact assessment of water and nutrient reuse in hydroponic systems using Bayesian Belief Networks by Martin Zimmermann, Michaela Fischer

    Published 2020-12-01
    Get full text
    Article
  8. 8
    Playing Pushdown Parity Games in a Hurry

    Playing Pushdown Parity Games in a Hurry by Wladimir Fridman, Martin Zimmermann

    Published 2012-10-01
    Get full text
    Article
  9. 9
    How Much Lookahead is Needed to Win Infinite Games?

    How Much Lookahead is Needed to Win Infinite Games? by Felix Klein, Martin Zimmermann

    Published 2017-04-01
    Get full text
    Article
  10. 10
    Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs

    Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs by Alexander Weinert, Martin Zimmermann

    Published 2017-09-01
    Get full text
    Article
  11. 11
    Improving sewage sludge treatment and utilisation in China: a German perspective on barriers to and measures for the dissemination of innovative technologies

    Improving sewage sludge treatment and utilisation in China: a German perspective on barriers to and measures for the dissemination of innovative technologies by Michaela Rohrbach, Martin Zimmermann

    Published 2023-06-01
    Get full text
    Article
  12. 12
    Social–Ecological Impact Assessment and Success Factors of a Water Reuse System for Irrigation Purposes in Central Northern Namibia

    Social–Ecological Impact Assessment and Success Factors of a Water Reuse System for Irrigation Purposes in Central Northern Namibia by Martin Zimmermann, Felix Neu

    Published 2022-08-01
    Get full text
    Article
  13. 13
    Playing Muller Games in a Hurry

    Playing Muller Games in a Hurry by John Fearnley, Martin Zimmermann

    Published 2010-06-01
    Get full text
    Article
  14. 14
    Site directed mutagenesis of Schizosaccharomyces pombe glutathione synthetase produces an enzyme with homoglutathione synthetase activity.

    Site directed mutagenesis of Schizosaccharomyces pombe glutathione synthetase produces an enzyme with homoglutathione synthetase activity. by Tamara Dworeck, Martin Zimmermann

    Published 2012-01-01
    Get full text
    Article
  15. 15
    Parity Games with Weights

    Parity Games with Weights by Sven Schewe, Alexander Weinert, Martin Zimmermann

    Published 2019-08-01
    Get full text
    Article
  16. 16
    Pursuing Intelligent Behavior in Cyber−Physical Systems by Lightweight Diagnosis

    Pursuing Intelligent Behavior in Cyber−Physical Systems by Lightweight Diagnosis by Martin Zimmermann, Franz Wotawa, Ingo Pill

    Published 2022-04-01
    Get full text
    Article
  17. 17
    Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free

    Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free by Daniel Neider, Alexander Weinert, Martin Zimmermann

    Published 2019-09-01
    Get full text
    Article
  18. 18
    Robustness of plant-flower visitor webs to simulated climate change

    Robustness of plant-flower visitor webs to simulated climate change by Mariano Devoto, Martín Zimmermann, Diego Medan

    Published 2007-06-01
    Get full text
    Article
  19. 19
    Siedlungswasserwirtschaft im Zeitalter der Digitalisierung

    Siedlungswasserwirtschaft im Zeitalter der Digitalisierung by Martin Zimmermann, Engelbert Schramm, Björn Ebert

    Published 2020-04-01
    Get full text
    Article
  20. 20
    Down the Borel Hierarchy: Solving Muller Games via Safety Games

    Down the Borel Hierarchy: Solving Muller Games via Safety Games by Daniel Neider, Roman Rabinovich, Martin Zimmermann

    Published 2012-10-01
    Get full text
    Article

Search Tools: