Refine Results
Publications
  1. CAV: Computer Aided Verification (10)
  2. CONCUR: Concurrency Theory (9)
  3. LICS: Logic in Computer Science (9)
  4. CSL: Computer Science Logic (6)
  5. FSTTCS: Foundations of Software Technology and Theoretical Computer Science (6)

More Publications

Affiliation
  1. IST Austria (71)
Peer reviewed
  1. no (132)
Invited
  1. no (130)
  2. yes (2)

Results (132)

  • 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