Refine Results
People
  1. Krishnendu Chatterjee (44)
  2. Thomas Henzinger (35)
  3. Martin Chmelik (23)
  4. Carl-Philipp Heisenberg (21)
  5. Damien Zufferey (16)

More People

Publications
  1. IST Dissertation (32)
  2. CAV: Computer Aided Verification (12)
  3. POPL: Principles of Programming Languages (5)
  4. Nature Cell Biology (4)
  5. PNAS (4)

More Publications

Affiliation
  1. IST Austria (215)
Peer reviewed
  1. yes (157)
  2. no (58)
Invited
  1. no (215)

Results (215)

  • Array folds logic
    Conference paper