Christophe Pajault
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2006–2008
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | FORTE | Adapting Petri Nets Reductions to Promela Specifications. | Christophe Pajault, Jean-Franois Pradat-Peyre, Pierre Rousseau |
| 2007 | FORTE | A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. | Sami Evangelista, Christophe Pajault, Jean-Franois Pradat-Peyre |
| 2006 | FMICS | Distributed Colored Petri Net Model-Checking with Cyclades. | Christophe Pajault, Jean-Franois Pradat-Peyre |