Refine Results
Publications
  1. CAV: Computer Aided Verification (19)
  2. LICS: Logic in Computer Science (18)
  3. CONCUR: Concurrency Theory (16)
  4. Information and Computation (11)
  5. Logical Methods in Computer Science (9)

More Publications

Affiliation
  1. IST Austria (255)
Peer reviewed
  1. yes (184)
  2. no (132)
Invited
  1. no (314)
  2. yes (2)

Results (316)

  • Finitary languages
    Conference paper
  • Specification-centered robustness
    Conference paper
  • A reduction from parity games to simple stochastic games
    Conference paper
  • On memoryless quantitative objectives
    Conference paper