Refine Results
People
  1. Thomas Henzinger (179)
  2. Krishnendu Chatterjee (103)
  3. Herbert Edelsbrunner (92)
  4. Krzysztof Pietrzak (70)
  5. Robert Seiringer (52)

More People

Publications
  1. CAV: Computer Aided Verification (56)
  2. Discrete & Computational Geometry (55)
  3. Communications in Mathematical Physics (38)
  4. ICALP: Automata, Languages and Programming (30)
  5. HSCC: Hybrid Systems - Computation and Control (20)

More Publications

Affiliation
  1. IST Austria (392)
Peer reviewed
  1. no (503)
  2. yes (338)
Invited
  1. no (835)
  2. yes (6)

Results (841)

  • Simple proofs of sequential work
    Conference paper
  • Quantitative analysis of smart contracts
    Conference paper
  • Sustained space complexity
    Conference paper
  • Thrackles: An Improved Upper Bound
    Conference paper