Suchergebnisse - Henzinger, Thomas 1962-

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
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Engineering theories of software intensive systems: International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures
    [6] - Interface theories for component-based design
    von De Alfaro, Luca, Henzinger, Thomas 1962-

    Veröffentlicht 2004
    Tagungsbericht Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Sooner is safer than later
    von Henzinger, Thomas 1962-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Handbook of model checking

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Henzinger, Thomas 1962- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: