Mathias Samuelides

Publication Activity (10 Years)

Years Active: 2002-2007
Publications (10 Years): 0

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Mathias Samuelides, Luc Segoufin
Complexity of Pebble Tree-Walking Automata. FCT (2007)
Mikolaj Bojanczyk, Mathias Samuelides, Thomas Schwentick, Luc Segoufin
Expressive Power of Pebble Automata. ICALP (1) (2006)
Anca Muscholl, Mathias Samuelides, Luc Segoufin
Complementing deterministic tree-walking automata. Inf. Process. Lett. 99 (1) (2006)
Jean-François Raskin, Mathias Samuelides, Laurent Van Begin
Games for Counting Abstractions. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Alain Finkel, Jean-François Raskin, Mathias Samuelides, Laurent Van Begin
Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited. INFINITY (2002)