Refine Results
People
  1. Thomas Henzinger (282)
  2. Krishnendu Chatterjee (166)
  3. Krzysztof Pietrzak (69)
  4. Herbert Edelsbrunner (66)
  5. Christoph Lampert (61)

More People

Publications
  1. CAV: Computer Aided Verification (55)
  2. CONCUR: Concurrency Theory (38)
  3. ICALP: Automata, Languages and Programming (30)
  4. CVPR: Computer Vision and Pattern Recognition (29)
  5. LICS: Logic in Computer Science (25)

More Publications

Publishers
  1. Springer (432)
  2. ACM (167)
  3. IEEE (162)
  4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (62)
  5. World Scientific Publishing (19)

More Publishers

Affiliation
  1. IST Austria (486)
Peer reviewed
  1. no (591)
  2. yes (399)
Invited
  1. no (982)
  2. yes (8)

Results (990)

  • Simple proofs of sequential work
    Conference paper
  • Quantitative analysis of smart contracts
    Conference paper
  • Sustained space complexity
    Conference paper
  • Harnessing epoch-based reclamation for efficient range queries
    Conference paper
  • Thrackles: An Improved Upper Bound
    Conference paper
  • Recognizing weak embeddings of graphs
    Conference paper