A Decision Method for Duration Calculus. - Nathalie Chetcuti-Sperandio; Luis Fariñas del Cerro (J. Univers. Comput. Sci., 1999)

A mixed decision method for duration calculus. - Nathalie Chetcuti-Sperandio; Luis Fariñas del Cerro (J. Log. Comput., 2000)

Tableau-Based Automated Deduction for Duration Calculus. - Nathalie Chetcuti-Sperandio (TABLEAUX, 2002)

Determination and evaluation of efficient strategies for a stop or roll dice game: Heckmeck am Bratwurmeck (Pickomino). - Nathalie Chetcuti-Sperandio; Fabien Delorme; Sylvain Lagrue; Denis Stackowiak (CIG, 2008)

How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic. - Nathalie Chetcuti-Sperandio; Sylvain Lagrue (KR, 2008)

A Markovian Process Modeling for Pickomino. - Stéphane Cardon; Nathalie Chetcuti-Sperandio; Fabien Delorme; Sylvain Lagrue (Computers and Games, 2010)

On aggregate and comparison functions for Motus/Lingo playing. - Nathalie Chetcuti-Sperandio; Fabien Delorme; Sylvain Lagrue (J. Int. Comput. Games Assoc., 2018)

An Ontology Web Application-based Annotation Tool for Intangible Culture Heritage Dance Videos. - Sylvain Lagrue; Nathalie Chetcuti-Sperandio; Fabien Delorme; Ma Thi Chau; Duyen Ngo Thi; Karim Tabia; Salem Benferhat (SUMAC @ ACM Multimedia, 2019)

Intention et logique épistémique dynamique. - Alix Goudyme; Nathalie Chetcuti-Sperandio; Sylvain Lagrue; Tiago de Lima (RJCIA, 2019)

First Steps for Determining Agent Intention in Dynamic Epistemic Logic. - Nathalie Chetcuti-Sperandio; Alix Goudyme; Sylvain Lagrue; Tiago de Lima (ICAART (2), 2020)

Checking Agent Intentions in Games. - Nathalie Chetcuti-Sperandio; Alix Goudyme; Sylvain Lagrue; Tiago de Lima (ICTAI, 2021)