ACM

SHERPA: green

Groups

  1. Henzinger Group (78)
  2. Bickel Group (40)
  3. Edelsbrunner Group (30)
  4. Wojtan Group (26)
  5. Chatterjee Group (24)
  6. Alistarh Group (21)
  7. Alumni (20)
  8. Wagner Group (19)
  9. IST Fellow (17)
  10. PhD Students (12)
Search Within
Refine Results
Publications
  1. ACM Transactions on Graphics (31)
  2. Journal of the ACM (17)
  3. POPL: Principles of Programming Languages (17)
  4. EMSOFT: Embedded Software (16)
  5. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques (15)

More Publications

Publishers

More Publishers

Affiliation
  1. IST Austria (119)
Peer reviewed
  1. no (130)
  2. yes (111)
Invited
  1. no (241)

Results (241)

  • 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