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)

  • Embedded control systems development with Giotto
    Conference paper
  • Lazy abstraction
    Conference paper
  • Schedule-carrying code
    Conference paper
  • Abstractions from proofs
    Conference paper
  • Race checking by context inference
    Conference paper
  • Permissive interfaces
    Conference paper