Springer

SHERPA: green

Groups

  1. Henzinger Group (233)
  2. Edelsbrunner Group (113)
  3. Chatterjee Group (102)
  4. Pietrzak Group (88)
  5. Seiringer Group (55)
  6. Erdős Group (44)
  7. Alumni (41)
  8. IST Fellow (41)
  9. PhD Students (37)
  10. Wagner Group (26)
Search Within
Refine Results
People
  1. Thomas Henzinger (171)
  2. Herbert Edelsbrunner (92)
  3. Krishnendu Chatterjee (92)
  4. Krzysztof Pietrzak (64)
  5. Robert Seiringer (51)

More People

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

More Publications

Publishers

More Publishers

Peer reviewed
  1. no (495)
  2. yes (270)
Invited
  1. no (760)
  2. yes (5)

Results (765)

  • 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