Springer

SHERPA: green

Groups

  1. Henzinger Group (257)
  2. Chatterjee Group (118)
  3. Edelsbrunner Group (114)
  4. Pietrzak Group (97)
  5. Seiringer Group (59)
  6. PhD Students (54)
  7. Alumni (46)
  8. Erdős Group (46)
  9. IST Fellow (46)
  10. Wagner Group (31)
Search Within
Refine Results
People
  1. Thomas Henzinger (185)
  2. Krishnendu Chatterjee (107)
  3. Herbert Edelsbrunner (92)
  4. Krzysztof Pietrzak (70)
  5. Robert Seiringer (55)

More People

Publications
  1. CAV: Computer Aided Verification (60)
  2. Discrete & Computational Geometry (55)
  3. Communications in Mathematical Physics (39)
  4. ICALP: Automata, Languages and Programming (30)
  5. HSCC: Hybrid Systems - Computation and Control (20)

More Publications

Publishers

More Publishers

Affiliation
  1. IST Austria (414)
Peer reviewed
  1. no (506)
  2. yes (363)
Invited
  1. no (862)
  2. yes (7)

Results (869)

  • Discounting the future in systems theory
    Conference paper
  • Model checking discounted temporal properties
    Conference paper
  • Interface-based design
    Conference paper
  • The algorithmic analysis of hybrid systems
    Conference paper
  • A determinizable class of timed automata
    Conference paper