Refine Results
Publications
  1. CVPR: Computer Vision and Pattern Recognition (30)
  2. LICS: Logic in Computer Science (24)
  3. FOCS: Foundations of Computer Science (18)
  4. ICCV: International Conference on Computer Vision (16)
  5. IEEE Transactions on Pattern Analysis and Machine Intelligence (10)

More Publications

Affiliation
  1. IST Austria (73)
Peer reviewed
  1. no (126)
  2. yes (68)
Invited
  1. no (191)
  2. yes (3)

Results (194)

  • Towards practical attacks on Argon2i and balloon hashing
    Conference paper
  • A message passing algorithm for the minimum cost multicut problem
    Conference paper
  • Parallel reachability analysis for hybrid systems
    Conference paper
  • Commutativity in the algorithmic Lovasz local lemma
    Conference paper