ACM

SHERPA: green

Groups

  1. Henzinger Group (54)
  2. Edelsbrunner Group (29)
  3. Bickel Group (23)
  4. Wagner Group (11)
  5. Alumni (8)
  6. Wojtan Group (7)
  7. IST Fellow (5)
  8. Chatterjee Group (4)
  9. Barton Group (2)
  10. Lampert Group (2)
Search Within
Refine Results
Publications
  1. ACM Transactions on Graphics (21)
  2. EMSOFT: Embedded Software (16)
  3. SCG: Symposium on Computational Geometry (14)
  4. SoCG: Symposium on Computational Geometry (12)
  5. POPL: Principles of Programming Languages (10)

More Publications

Publishers

More Publishers

Affiliation
  1. IST Austria (32)
Peer reviewed
  1. no (132)
Invited
  1. no (130)
  2. yes (2)

Results (132)

  • Timed interfaces
    Conference paper
  • Interface automata
    Conference paper
  • The benefits of relaxing punctuality
    Conference paper
  • Parametric real-time reasoning
    Conference paper
  • Web service interfaces
    Conference paper