Refine Results
Publications
  1. CONCUR: Concurrency Theory (8)
  2. CSL: Computer Science Logic (6)
  3. FSTTCS: Foundations of Software Technology and Theoretical Computer Science (4)
  4. HSCC: Hybrid Systems - Computation and Control (4)
  5. LICS: Logic in Computer Science (4)

More Publications

Affiliation
  1. IST Austria (55)
Open access
  1. no (112)
Peer reviewed
  1. no (74)
  2. yes (38)
Invited
  1. no (110)
  2. yes (2)

Results (112)

  • Graph games with reachability objectives
    Conference paper
  • Specification-centered robustness
    Conference paper
  • The complexity of request-response games
    Conference paper
  • The complexity of partial-observation parity games
    Conference paper