Refine Results
People
  1. Krishnendu Chatterjee (31)
  2. Jiří Friml (19)
  3. Thomas Henzinger (17)
  4. Michael Sixt (10)
  5. Jan Kretínský (9)

More People

Years
  1. 2015 (284)
Publications
  1. PNAS (9)
  2. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques (8)
  3. Computational Geometry: Theory and Applications (6)
  4. CRYPTO: International Cryptology Conference (5)
  5. CVPR: Computer Vision and Pattern Recognition (5)

More Publications

Publishers
  1. Springer (56)
  2. Elsevier (35)
  3. ACM (25)
  4. IEEE (21)
  5. Nature Publishing Group (18)

More Publishers

Affiliation
  1. IST Austria (284)
Peer reviewed
  1. yes (276)
  2. no (8)
Invited
  1. no (281)
  2. yes (3)

Results (284)

  • Proofs of space
    Conference paper
  • Computational design of walking automata
    Conference paper