Refine Results
Years
  1. 2006 (24)
Open access
  1. no (24)
Peer reviewed
  1. no (20)
  2. yes (4)
Invited
  1. no (24)

Results (24)

  • Executable biology
    Conference paper
  • From MITL to Timed Automata
    Conference paper
  • Solving games without determinization
    Conference paper
  • Timed alternating-time temporal logic
    Conference paper
  • Algorithms for Büchi Games
    Conference paper
  • Lazy shape analysis
    Conference paper