Refine Results
People
  1. Krishnendu Chatterjee (24)
  2. Christoph Lampert (15)
  3. Thomas Henzinger (15)
  4. Andreas Pavlogiannis (14)
  5. Calin Guet (12)

More People

Publications
  1. IST Dissertation (20)
  2. CAV: Computer Aided Verification (9)
  3. Nature Communications (5)
  4. eLife (5)
  5. Current Biology (4)

More Publications

Affiliation
  1. IST Austria (226)
Peer reviewed
  1. yes (196)
  2. no (32)
Invited
  1. no (225)
  2. yes (3)

Results (228)

  • Layered Concurrent Programs
    Conference paper
  • Space-time interpolants
    Conference paper