Refine Results
Publications
  1. CONCUR: Concurrency Theory (8)
  2. Information and Computation (6)
  3. LICS: Logic in Computer Science (6)
  4. ACM Transactions on Computational Logic (TOCL) (5)
  5. CAV: Computer Aided Verification (5)

More Publications

Affiliation
  1. IST Austria (58)
Peer reviewed
  1. no (67)
  2. yes (33)
Invited
  1. no (99)
  2. yes (1)

Results (100)

  • Games with secure equilibria
    Conference paper
  • Trading memory for randomness
    Conference paper
  • Quantitative stochastic parity games
    Conference paper
  • Infinite-duration Poorman-bidding games
    Conference paper