Refine Results
Publications
  1. CAV: Computer Aided Verification (19)
  2. CONCUR: Concurrency Theory (10)
  3. VMCAI: Verification, Model Checking and Abstract Interpretation (8)
  4. POPL: Principles of Programming Languages (7)
  5. ACM Transactions on Computational Logic (TOCL) (6)

More Publications

Affiliation
  1. IST Austria (208)
Peer reviewed
  1. yes (118)
  2. no (90)
Invited
  1. no (204)
  2. yes (4)

Results (208)

  • Timed Network Games
    Conference paper
  • An abstraction-refinement methodology for reasoning about network games
    Conference paper