ACM

SHERPA: green

Groups

  1. Alumni (20)
  2. Henzinger Group (10)
  3. Chatterjee Group (5)
  4. PhD Students (5)
  5. IST Fellow (4)
  6. Wagner Group (3)
  7. Wojtan Group (3)
  8. Graduate School (1)
  9. Guet Group (1)
Search Within
Refine Results
Publishers

More Publishers

Affiliation
  1. IST Austria (20)
Peer reviewed
  1. yes (12)
  2. no (8)
Invited
  1. no (20)

Results (20)

  • P: Safe asynchronous event-driven programming
    Conference paper
  • Battery transition systems
    Conference paper
  • Quantitative abstraction refinement
    Conference paper
  • Eliminating Tverberg points, I. An analogue of the Whitney trick
    Conference paper