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

More People

Publications
  1. IST Dissertation (19)
  2. CAV: Computer Aided Verification (6)
  3. Nature Communications (5)
  4. eLife (5)
  5. Current Biology (4)

More Publications

Affiliation
  1. IST Austria (208)
Peer reviewed
  1. yes (182)
  2. no (28)
Invited
  1. no (208)
  2. yes (2)

Results (210)

  • Quantitative analysis of smart contracts
    Conference paper