Refine Results
People
  1. Krishnendu Chatterjee (46)
  2. Thomas Henzinger (37)
  3. Carl-Philipp Heisenberg (27)
  4. Martin Chmelik (23)
  5. Damien Zufferey (17)

More People

Publications
  1. IST Dissertation (32)
  2. CAV: Computer Aided Verification (13)
  3. Nature Cell Biology (6)
  4. POPL: Principles of Programming Languages (4)
  5. VMCAI: Verification, Model Checking and Abstract Interpretation (4)

More Publications

Affiliation
  1. IST Austria (203)
Peer reviewed
  1. yes (149)
  2. no (62)
Invited
  1. no (211)

Results (211)