Travelled to:1 × Czech Republic
1 × Denmark
1 × USA
Collaborated with:P.Schnoebelen P.Jancar A.Finkel P.Bouyer E.Fleury A.Petit
Talks about:reset (2) net (2) automata (1) undecid (1) bounded (1) between (1) updat (1) decid (1) time (1)
Person: Catherine Dufourd
DBLP: Dufourd:Catherine
Contributed to:
2000
19991998Wrote 3 papers:
- CAV-2000-BouyerDFP #automaton #question
- Are Timed Automata Updatable? (PB, CD, EF, AP), pp. 464–479.
- ICALP-1999-DufordJS #bound
- Boundedness of Reset P/T Nets (CD, PJ, PS), pp. 301–310.
- ICALP-1998-DufourdFS #decidability
- Reset Nets Between Decidability and Undecidability (CD, AF, PS), pp. 103–115.