ACM

SHERPA: green

Groups

  1. Henzinger Group (4)
  2. Chatterjee Group (2)
  3. Edelsbrunner Group (1)
  4. Guet Group (1)
  5. IST Fellow (1)
  6. Wojtan Group (1)

Results (8)

  • Model checking transactional memories
    Conference paper
  • Reeb spaces of piecewise linear mappings
    Conference paper
  • Robust content-driven reputation
    Conference paper