Bouyer, Patricia

• BRICS Report Series No. 35 (2002): RS-35 Timed Automata May Cause Some Troubles - Articles
  Timed Automata May Cause Some Troubles
  Abstract  PDF
• BRICS Report Series No. 4 (2004): RS-4 Optimal Strategies in Priced Timed Game Automata - Articles
  Optimal Strategies in Priced Timed Game Automata
  Abstract  PDF
• BRICS Report Series No. 48 (1998): RS-48 The Power of Reachability Testing for Timed Automata - Articles
  The Power of Reachability Testing for Timed Automata
  Abstract  PDF