| 2007 |
|---|
| 5 | EE | Mathias Samuelides,
Luc Segoufin:
Complexity of Pebble Tree-Walking Automata.
FCT 2007: 458-469 |
| 2006 |
|---|
| 4 | EE | Mikolaj Bojanczyk,
Mathias Samuelides,
Thomas Schwentick,
Luc Segoufin:
Expressive Power of Pebble Automata.
ICALP (1) 2006: 157-168 |
| 3 | EE | Anca Muscholl,
Mathias Samuelides,
Luc Segoufin:
Complementing deterministic tree-walking automata.
Inf. Process. Lett. 99(1): 33-39 (2006) |
| 2005 |
|---|
| 2 | EE | Jean-François Raskin,
Mathias Samuelides,
Laurent Van Begin:
Games for Counting Abstractions.
Electr. Notes Theor. Comput. Sci. 128(6): 69-85 (2005) |
| 2002 |
|---|
| 1 | EE | Alain Finkel,
Jean-François Raskin,
Mathias Samuelides,
Laurent Van Begin:
Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited.
Electr. Notes Theor. Comput. Sci. 68(6): (2002) |
