Skip to contents

  1. Henzinger, Thomas A [Author]; Mateescu, Maria [Author]

    Propagation models for computing biochemical reaction networks

    Conference Proceedings
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer, 2011

    Published in: Henzinger TA, Mateescu M. Propagation models for computing biochemical reaction networks. In: Springer; 2011:1-3. doi: 10.1145/2037509.2037510

  8. Ferrère, Thomas [Author]; Henzinger, Thomas A. [Author]; Kragl, Bernhard [Author] ; Thomas Ferrère and Thomas A. Henzinger and Bernhard Kragl [Contributor]

    Monitoring Event Frequencies

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  9. Henzinger, Thomas A. [Author]; Lehtinen, Karoliina [Author]; Totzke, Patrick [Author] ; Thomas A. Henzinger and Karoliina Lehtinen and Patrick Totzke [Contributor]

    History-Deterministic Timed Automata

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  11. Avni, Guy [Author]; Henzinger, Thomas A. [Author]; Žikelić, Đorđe [Author] ; Guy Avni and Thomas A. Henzinger and Đorđe Žikelić [Contributor]

    Bidding Mechanisms in Graph Games

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  14. Kragl, Bernhard [Author]; Qadeer, Shaz [Author]; Henzinger, Thomas A. [Author] ; Bernhard Kragl and Shaz Qadeer and Thomas A. Henzinger [Contributor]

    Synchronizing the Asynchronous

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  15. Chatterjee, Krishnendu [Author]; Henzinger, Thomas A. [Author]; Otop, Jan [Author] ; Krishnendu Chatterjee and Thomas A. Henzinger and Jan Otop [Contributor]

    Bidirectional Nested Weighted Automata

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  16. Avni, Guy [Author]; Henzinger, Thomas A. [Author]; Chonev, Ventsislav [Author] ; Guy Avni and Thomas A. Henzinger and Ventsislav Chonev [Contributor]

    Infinite-Duration Bidding Games

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  19. Henzinger, Thomas A. [Author]; Otop, Jan [Author]; Samanta, Roopsha [Author] ; Thomas A. Henzinger and Jan Otop and Roopsha Samanta [Contributor]

    Lipschitz Robustness of Finite-state Transducers

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014

  20. Dawar, Anuj [Author]; Henzinger, Thomas A. [Author]; Niwiński, Damian [Author] ; Anuj Dawar and Thomas A. Henzinger and Damian Niwiński [Contributor]

    The Ackermann Award 2013

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013