Refine Results
People
  1. Krishnendu Chatterjee (43)
  2. Thomas Henzinger (34)
  3. Martin Chmelik (23)
  4. Carl-Philipp Heisenberg (22)
  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 (5)
  5. VMCAI: Verification, Model Checking and Abstract Interpretation (4)

More Publications

Affiliation
  1. IST Austria (204)
Peer reviewed
  1. yes (150)
  2. no (62)
Invited
  1. no (212)

Results (212)