Catherine Dufourd
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1993–2000
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | CAV | Are Timed Automata Updatable? | Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit |
| 2000 | MFCS | Expressiveness of Updatable Timed Automata. | Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit |
| 1999 | ICALP | Boundedness of Reset P/T Nets. | Catherine Dufourd, Petr Jancar, Philippe Schnoebelen |
| 1998 | ICALP | Reset Nets Between Decidability and Undecidability. | Catherine Dufourd, Alain Finkel, Philippe Schnoebelen |
| 1993 | ICCI | An Efficient Parallel Solution for the Longest Increasing Subsequence Problem. | Christophe Crin, Catherine Dufourd, Jean Frdric Myoupo |