ACM

SHERPA: green

Groups

  1. Henzinger Group (58)
  2. Edelsbrunner Group (23)
  3. Bickel Group (20)
  4. Alistarh Group (19)
  5. Alumni (15)
  6. Wagner Group (15)
  7. IST Fellow (13)
  8. Wojtan Group (13)
  9. Chatterjee Group (12)
  10. PhD Students (6)
Search Within
Refine Results
Publications
  1. POPL: Principles of Programming Languages (17)
  2. EMSOFT: Embedded Software (16)
  3. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques (15)
  4. SoCG: Symposium on Computational Geometry (15)
  5. SCG: Symposium on Computational Geometry (14)

More Publications

Publishers

More Publishers

Affiliation
  1. IST Austria (81)
Peer reviewed
  1. no (99)
  2. yes (68)
Invited
  1. no (166)
  2. yes (1)

Results (167)

  • 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
  • Path invariants
    Conference paper