Refine Results
Publications
  1. CAV: Computer Aided Verification (47)
  2. CONCUR: Concurrency Theory (27)
  3. ICALP: Automata, Languages and Programming (15)
  4. EMSOFT: Embedded Software (14)
  5. LICS: Logic in Computer Science (14)

More Publications

Affiliation
  1. IST Austria (194)
Peer reviewed
  1. no (374)
  2. yes (103)
Invited
  1. no (471)
  2. yes (6)

Results (477)

  • Dynamic resource allocation games
    Conference paper
  • Array folds logic
    Conference paper