Refine Results
People
  1. Thomas Henzinger (282)
  2. Krishnendu Chatterjee (163)
  3. Krzysztof Pietrzak (67)
  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

Affiliation
  1. IST Austria (472)
Peer reviewed
  1. no (590)
  2. yes (385)
Invited
  1. no (967)
  2. yes (8)

Results (975)

  • Towards unlicensed cellular networks in TV white spaces
    Conference paper
  • Causality-based model checking
    Conference paper
  • Probabilistic image colorization
    Conference paper
  • The power of choice in priority scheduling
    Conference paper
  • Towards practical attacks on Argon2i and balloon hashing
    Conference paper