Log in first for optimal use of all functions!

1–20 of 727 hits

Sort by: Relevancy | Date newest | Title A-Z

Filter results

Year of publication

-

Type of media

+ Show more

Source

+ Show more

Author

Subject

+ Show more

Type of material

Licence

Language

+ Show more

TIB reading rooms collection

LUH institutes collection

  1. Parameterized linear temporal logics meet costs: still not costlier than LTL

    Zimmermann, Martin | Springer Verlag | 2016

  2. Parameterized linear temporal logics meet costs: still not costlier than LTL

    Zimmermann, Martin | Online Contents | 2016

  3. Parameterized linear temporal logics meet costs: still not costlier than LTL

    Zimmermann, Martin | Online Contents | 2016

  4. Optimal bounds in parametric LTL games

    Zimmermann, Martin | Elsevier | 2012

  5. Delay Games with WMSO+U Winning Conditions∗

    Zimmermann, Martin | EDP Sciences | 2016

  6. Configuración de sistema

    Free access
    ZIMMERMANN MARTIN | European Patent Office | 2023

  7. AGB-Recht – Aktuelle Entwicklungen bei einzelnen Vertragstypen und -klauseln

    Zimmermann, Martin | DeGruyter | 2022

  8. SYSTEM CONFIGURATION

    Free access
    ZIMMERMANN MARTIN | European Patent Office | 2022

  9. AGB-Recht – Aktuelle Entwicklungen bei Einbeziehung, Inhaltskontrolle und Rechtsfolgen

    Zimmermann, Martin | DeGruyter | 2022

  10. Günter Fischer – Susanne Moraw (Hrsg.), Die andere Seite der Klassik. Gewalt im 5. und 4. Jahrhundert v. Chr.

    Zimmermann, Martin | DataCite | 2021

  11. Delay Games with WMSO + \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$+$$\end{document}U Winning Conditions

    Zimmermann, Martin | Springer Verlag | 2015

  12. Approximating the Minimal Lookahead Needed to Win Infinite Games

    Free access
    Zimmermann, Martin | ArXiv | 2020

  13. Arbeitssicherheit — Aufgaben und Verantwortung beim Arbeitsschutz

    Zimmermann, Martin | British Library Conference Proceedings | 2019

  14. LEUCHTENANORDNUNG

    Free access
    ZIMMERMANN MARTIN | European Patent Office | 2018

  15. Games with Costs and Delays

    Free access
    Zimmermann, Martin | ArXiv | 2017

  16. Games with costs and delays

    Zimmermann, Martin | IEEE | 2017

  17. Finite-state Strategies in Delay Games

    Free access
    Zimmermann, Martin | ArXiv | 2017

  18. Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL (full version)

    Free access
    Zimmermann, Martin | ArXiv | 2015

  19. Unbounded Lookahead in WMSO+U Games

    Free access
    Zimmermann, Martin | ArXiv | 2015

  20. Delay Games with WMSO+U Winning Conditions

    Zimmermann, Martin | British Library Conference Proceedings | 2015

Number of results: 10 | 20 | 50

Feedback