 | 2010 |
| 7 |  | Stéphane Cardon,
Nathalie Chetcuti-Sperandio,
Fabien Delorme,
Sylvain Lagrue:
A Markovian Process Modeling for Pickomino.
Computers and Games 2010: 199-210 |
| 2008 |
| 6 |  | Nathalie Chetcuti-Sperandio,
Fabien Delorme,
Sylvain Lagrue,
Denis Stackowiak:
Determination and evaluation of efficient strategies for a stop or roll dice game: Heckmeck am Bratwurmeck (Pickomino).
CIG 2008: 175-182 |
| 5 |  | Nathalie Chetcuti-Sperandio,
Sylvain Lagrue:
How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic.
KR 2008: 340-347 |
| 2002 |
| 4 |  | 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 |  | 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 |  | Nathalie Chetcuti-Sperandio,
Luis Fariñas del Cerro:
A Decision Method for Duration Calculus.
J. UCS 5(11): 743-764 (1999) |