| |
| 2009 | ||
|---|---|---|
| 4 | EE | Mylène Maurin, Morgan Magnin, Olivier H. Roux: Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. BICoB 2009: 282-294 |
| 2008 | ||
| 3 | EE | Morgan Magnin, Didier Lime, Olivier H. Roux: Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets 2008: 307-326 |
| 2006 | ||
| 2 | EE | Morgan Magnin, Didier Lime, Olivier H. Roux: An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. Electr. Notes Theor. Comput. Sci. 144(3): 59-77 (2006) |
| 2005 | ||
| 1 | EE | Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux: Romeo: A Tool for Analyzing Time Petri Nets. CAV 2005: 418-423 |
| 1 | Guillaume Gardey | [1] |
| 2 | Didier Lime | [1] [2] [3] |
| 3 | Mylène Maurin | [4] |
| 4 | Olivier H. Roux (Olivier Roux) | [1] [2] [3] [4] |