ACM

SHERPA: green

Groups

  1. Henzinger Group (38)
  2. Chatterjee Group (21)
  3. Alumni (20)
  4. Wojtan Group (20)
  5. Bickel Group (16)
  6. IST Fellow (16)
  7. Wagner Group (13)
  8. PhD Students (12)
  9. Edelsbrunner Group (10)
  10. Barton Group (5)
Search Within
Refine Results
Publications
  1. SoCG: Symposium on Computational Geometry (13)
  2. POPL: Principles of Programming Languages (11)
  3. ACM Transactions on Computational Logic (TOCL) (10)
  4. ACM Transactions on Graphics (10)
  5. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques (10)

More Publications

Publishers

More Publishers

Affiliation
  1. IST Austria (121)
Peer reviewed
  1. yes (89)
  2. no (32)
Invited
  1. no (119)
  2. yes (2)

Results (121)

  • Transactions in the jungle
    Conference paper
  • From boolean to quantitative notions of correctness
    Conference paper
  • On relational interfaces
    Conference paper
  • An output sensitive algorithm for persistent homology
    Conference paper
  • From boolean to quantitative synthesis
    Conference paper