Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited. - Alain Finkel; Jean-François Raskin; Mathias Samuelides; Laurent Van Begin (INFINITY, 2002)

Games for Counting Abstractions. - Jean-François Raskin; Mathias Samuelides; Laurent Van Begin (AVoCS, 2004)

Expressive Power of Pebble Automata. - Mikolaj Bojanczyk; Mathias Samuelides; Thomas Schwentick; Luc Segoufin (ICALP (1), 2006)

Complementing deterministic tree-walking automata. - Anca Muscholl; Mathias Samuelides; Luc Segoufin (Inf. Process. Lett., 2006)

Complexity of Pebble Tree-Walking Automata. - Mathias Samuelides; Luc Segoufin (FCT, 2007)

Automates d'arbres à jetons. (Pebble tree automata). - Mathias Samuelides (2007)