| |
| 2008 | ||
|---|---|---|
| 5 | Nathalie Chetcuti-Sperandio, Sylvain Lagrue: How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic. KR 2008: 340-347 | |
| 2002 | ||
| 4 | EE | Nathalie Chetcuti-Sperandio: Tableau-Based Automated Deduction for Duration Calculus. TABLEAUX 2002: 53-69 |
| 2000 | ||
| 3 | Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro: A Decision Method for Duration Calculus. RelMiCS 2000: 31-44 | |
| 2 | EE | Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro: A mixed decision method for duration calculus. J. Log. Comput. 10(6): 877-895 (2000) |
| 1999 | ||
| 1 | EE | Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro: A Decision Method for Duration Calculus. J. UCS 5(11): 743-764 (1999) |
| 1 | Luis Fariñas del Cerro | [1] [2] [3] |
| 2 | Sylvain Lagrue | [5] |