Refine Results
People
  1. Krishnendu Chatterjee (44)
  2. Thomas Henzinger (35)
  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. PNAS (4)

More Publications

Affiliation
  1. IST Austria (213)
Peer reviewed
  1. yes (158)
  2. no (62)
Invited
  1. no (220)

Results (220)