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

More People

Publications
  1. CAV: Computer Aided Verification (6)
  2. Nature Communications (5)
  3. eLife (5)
  4. Current Biology (4)
  5. CVPR: Computer Vision and Pattern Recognition (3)

More Publications

Affiliation
  1. IST Austria (185)
Peer reviewed
  1. yes (187)
Invited
  1. no (185)
  2. yes (2)

Results (187)

  • Quantitative analysis of smart contracts
    Conference paper