Zum Inhalt springen

  3. Chatterjee, Krishnendu [HerausgeberIn]; Henzinger, Thomas A. [Sonstige Person, Familie und Körperschaft] ; FORMATS 8 2010 Klosterneuburg

    Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6246

  4. Duparc, Jacques [HerausgeberIn]; Henzinger, Thomas A. [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 21 2007 Lausanne

    Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11 - 15, 2007 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4646

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

    Handbook of model checking

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, [2018]

  6. Gupta, Ashutosh [VerfasserIn] ; Henzinger, Thomas [HerausgeberIn]

    Computational Methods in Systems Biology : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 8130

  7. Chatterjee, Krishnendu [VerfasserIn] ; Henzinger, Thomas [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6246

  8. Alur, Rajeev [VerfasserIn] ; Henzinger, Thomas [Sonstige Person, Familie und Körperschaft]

    Computer Aided Verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

    Erschienen in: Lecture notes in computer science ; 1102

  9. Henzinger, Thomas [VerfasserIn] ; 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)

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 2014

    Erschienen in: ACM Conferences- ACM Digital Library

  10. Henzinger, Thomas [VerfasserIn] ; Kirsch, Christoph M. [Sonstige Person, Familie und Körperschaft]

    Embedded Software : First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001

    Erschienen in: Lecture notes in computer science ; 2211

  11. Henzinger, Thomas [VerfasserIn] ; Sastry, Shankar [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

    Erschienen in: Lecture notes in computer science ; 1386

  12. Duparc, Jacques [Sonstige Person, Familie und Körperschaft]; Henzinger, Thomas [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4646

  13. Alur, Rajeev [VerfasserIn] ; Henzinger, Thomas [Sonstige Person, Familie und Körperschaft]; Sontag, Eduardo D. [Sonstige Person, Familie und Körperschaft]

    Hybrid Systems III : Verification and Control

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

    Erschienen in: Lecture notes in computer science ; 1066

  17. Boker, Udi [VerfasserIn]; Henzinger, Thomas A. [VerfasserIn] ; Udi Boker and Thomas A. Henzinger [MitwirkendeR]

    Determinizing Discounted-Sum Automata

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    IST Austria, 2013

    Erschienen 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 [VerfasserIn]; Henzinger, Thomas A [VerfasserIn]

    Approximate determinization of quantitative automata ; LIPIcs

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen 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 [VerfasserIn]; Henzinger, Thomas A [VerfasserIn]

    Determinizing discounted-sum automata ; LIPIcs

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer, 2011

    Erschienen in: Boker U, Henzinger TA. Determinizing discounted-sum automata. In: Vol 12. Springer; 2011:82-96. doi: 10.4230/LIPIcs.CSL.2011.82