ACM

SHERPA: green

Groups

  1. Bickel Group (5)
  2. Alumni (3)
  3. Henzinger Group (3)
  4. Wojtan Group (3)
  5. Barton Group (2)
  6. Alistarh Group (1)
  7. Edelsbrunner Group (1)
  8. IST Fellow (1)
  9. Kolmogorov Group (1)
  10. Wagner Group (1)
Search Within
Refine Results
Years
  1. 2013 (17)
Publishers

More Publishers

Affiliation
  1. IST Austria (11)
Peer reviewed
  1. no (11)
  2. yes (6)
Invited
  1. no (17)

Results (17)

  • P: Safe asynchronous event-driven programming
    Conference paper
  • Quantitative abstraction refinement
    Conference paper