ACM

SHERPA: green

Groups

  1. Henzinger Group (81)
  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. EMSOFT: Embedded Software (17)
  3. Journal of the ACM (17)
  4. POPL: Principles of Programming Languages (17)
  5. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques (15)

More Publications

Publishers

More Publishers

Affiliation
  1. IST Austria (121)
Peer reviewed
  1. no (132)
  2. yes (112)
Invited
  1. no (241)
  2. yes (3)

Results (244)

  • Web service interfaces
    Conference paper
  • Path invariants
    Conference paper
  • Half-order modal logic: How to prove real-time properties
    Conference paper
  • Temporal proof methodologies for real-time systems
    Conference paper