| |
| 2009 | ||
|---|---|---|
| 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 | Angelo Montanari | [1] [2] [3] |
| 2 | Nicola Vitacolonna | [3] |
| 3 | Marco Zantoni | [1] [2] |