Nathalie Chetcuti-Sperandio

12 papers A* 1B 2Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2021 B conf
Checking Agent Intentions in Games.
ICTAI
Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima
2020 — conf
First Steps for Determining Agent Intention in Dynamic Epistemic Logic.
ICAART (2)
Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima
2019 — conf
An Ontology Web Application-based Annotation Tool for Intangible Culture Heritage Dance Videos.
SUMAC @ ACM Multimedia
Sylvain Lagrue, Nathalie Chetcuti-Sperandio, Fabien Delorme, Ma Thi Chau, Duyen Ngo Thi, Karim Tabia, Salem Benferhat
2019 — conf
Intention et logique épistémique dynamique.
RJCIA
Alix Goudyme, Nathalie Chetcuti-Sperandio, Sylvain Lagrue, Tiago de Lima
2018 J jnl
On aggregate and comparison functions for Motus/Lingo playing.
ICGA J.
Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue
2010 — conf
A Markovian Process Modeling for Pickomino.
Computers and Games
Stéphane Cardon, Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue
2008 — conf
Determination and evaluation of efficient strategies for a stop or roll dice game: Heckmeck am Bratwurmeck (Pickomino).
CIG
Nathalie Chetcuti-Sperandio, Fabien Delorme, Sylvain Lagrue, Denis Stackowiak
2008 A* conf
How to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic.
KR
Nathalie Chetcuti-Sperandio, Sylvain Lagrue
2002 B conf
Tableau-Based Automated Deduction for Duration Calculus.
TABLEAUX
Nathalie Chetcuti-Sperandio
2000 — conf
A Decision Method for Duration Calculus.
RelMiCS
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
2000 J jnl
A mixed decision method for duration calculus.
J. Log. Comput.
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
1999 J jnl
A Decision Method for Duration Calculus.
J. Univers. Comput. Sci.
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski