Skip to contents

  5. Clarke, Edmund M. [Editor]; Henzinger, Thomas [Editor]; Veith, Helmut [Editor]; Bloem, Roderick [Editor]

    Handbook of model checking

    Books
    Close

    Bookmarks

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

    Cham: Springer, [2018]

  7. Chatterjee, Krishnendu [Author] ; Henzinger, Thomas [Other]

    Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Published in: Lecture notes in computer science ; 6246

  9. Henzinger, Thomas [Author] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Logic and Computation, ACM Special Interest Group on Algorithms and Computation Theory

    Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACMIEEE Symposium on Logic in Computer Science (LICS)

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    New York, NY: ACM, 2014

    Published in: ACM Conferences- ACM Digital Library

  11. Henzinger, Thomas [Author] ; Sastry, Shankar [Other]

    Hybrid Systems: Computation and Control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

    Published in: Lecture notes in computer science ; 1386

  12. Duparc, Jacques [Other]; Henzinger, Thomas [Other]

    Computer Science Logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Published in: Lecture notes in computer science ; 4646

  18. Henzinger, Thomas A [Author]; Sezgin, Ali [Author]

    How free is your linearizable concurrent data structure? ; IST Austria Technical Report

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    IST Austria, 2013

    Published in: Henzinger TA, Sezgin A. How Free Is Your Linearizable Concurrent Data Structure? IST Austria; 2013. doi: 10.15479/AT:IST-2013-123-v1-1

  19. Boker, Udi [Author]; Henzinger, Thomas A [Author]

    Approximate determinization of quantitative automata ; LIPIcs

    Conference Proceedings
    View online
    Schließen
    Close

    Bookmarks

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

    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012

    Published in: Boker U, Henzinger TA. Approximate determinization of quantitative automata. In: Leibniz International Proceedings in Informatics . Vol 18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:362-373. doi: 10.4230/LIPIcs.FSTTCS.2012.362

  20. Boker, Udi [Author]; Henzinger, Thomas A [Author]

    Determinizing discounted-sum automata ; LIPIcs

    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: Boker U, Henzinger TA. Determinizing discounted-sum automata. In: Vol 12. Springer; 2011:82-96. doi: 10.4230/LIPIcs.CSL.2011.82