Refine Results
Years
  1. 2015 (81)
Publications
  1. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques (8)
  2. CRYPTO: International Cryptology Conference (5)
  3. CVPR: Computer Vision and Pattern Recognition (5)
  4. LICS: Logic in Computer Science (5)
  5. CAV: Computer Aided Verification (4)

More Publications

Affiliation
  1. IST Austria (81)
Peer reviewed
  1. yes (78)
  2. no (3)
Invited
  1. no (80)
  2. yes (1)

Results (81)

  • On computability and triviality of well groups
    Conference paper