| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Elisabetta De Maria, François Fages, Sylvain Soliman: On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. CMSB 2009: 142-157 |
| 3 | EE | Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna: Games on Strings with a Limited Order Relation. LFCS 2009: 164-179 |
| 2006 | ||
| 2 | EE | Elisabetta De Maria, Angelo Montanari, Marco Zantoni: An automaton-based approach to the verification of timed workflow schemas. TIME 2006: 87-94 |
| 2005 | ||
| 1 | EE | Elisabetta De Maria, Angelo Montanari, Marco Zantoni: Checking Workflow Schemas with Time Constraints Using Timed Automata. OTM Workshops 2005: 1-2 |
| 1 | François Fages | [4] |
| 2 | Angelo Montanari | [1] [2] [3] |
| 3 | Sylvain Soliman | [4] |
| 4 | Nicola Vitacolonna | [3] |
| 5 | Marco Zantoni | [1] [2] |