Refine Results
Publications
  1. CAV: Computer Aided Verification (19)
  2. LICS: Logic in Computer Science (18)
  3. CONCUR: Concurrency Theory (16)
  4. HSCC: Hybrid Systems - Computation and Control (8)
  5. CSL: Computer Science Logic (7)

More Publications

Affiliation
  1. IST Austria (148)
Peer reviewed
  1. no (110)
  2. yes (89)
Invited
  1. no (197)
  2. yes (2)

Results (199)

  • Interface Simulation Distances
    Conference paper
  • A Myhill Nerode theorem for automata with advice
    Conference paper
  • Robustness of structurally equivalent concurrent parity games
    Conference paper
  • Synthesizing protocols for digital contract signing
    Conference paper
  • Games and Markov decision processes with mean payoff parity and energy parity objectives
    Conference paper
  • An O(n2) time algorithm for alternating Büchi games
    Conference paper