Refine Results
Years
  1. 2016 (34)
Publications
  1. LICS: Logic in Computer Science (3)
  2. ACM SIGPLAN-SIGACT: Symposium on Principles of Programming Languages (2)
  3. CONCUR: Concurrency Theory (2)
  4. ICALP: International Colloquium on Automata, Languages and Programming (2)
  5. IJCAI: International Joint Conference on Artificial Intelligence (2)

More Publications

Affiliation
  1. IST Austria (34)
Peer reviewed
  1. yes (32)
  2. no (2)
Invited
  1. no (34)

Results (34)

  • The big match in small space
    Conference paper