Thomas Henzinger

Thomas A. Henzinger (* 8. Dezember 1962 in Linz) ist ein österreichischer Informatiker. Er war bis Ende 2022 erster Präsident des Institute of Science and Technology Austria (ISTA). Veröffentlicht in Wikipedia
Treffer 1 – 10 von 10 für Suche 'Henzinger, Thomas 1962-', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Engineering theories of software intensive systems International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures

    Engineering theories of software intensive systems International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures von De Alfaro, Luca, Henzinger, Thomas 1962-

    Veröffentlicht 2004
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The benefits of relaxing punctuality

    The benefits of relaxing punctuality von Alur, Rajeev, Feder, Tomás, Henzinger, Thomas 1962-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The temporal specification and verification of real-time systems

    The temporal specification and verification of real-time systems von Henzinger, Thomas 1962-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Sooner is safer than later

    Sooner is safer than later von Henzinger, Thomas 1962-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A really temporal logic

    A really temporal logic von Alur, Rajeev, Henzinger, Thomas 1962-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The temporal specification and verification of real-time systems

    The temporal specification and verification of real-time systems von Henzinger, Thomas 1962-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Real-time logics complexity and expressiveness

    Real-time logics complexity and expressiveness von Alur, Rajeev, Henzinger, Thomas 1962-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    An interleaving model for real time

    An interleaving model for real time von Henzinger, Thomas 1962-, Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Temporal proof methodologies for real-time systems

    Temporal proof methodologies for real-time systems von Henzinger, Thomas 1962-, Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Handbook of model checking

    Handbook of model checking

    Veröffentlicht 2018
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: