Mathias Samuelides

According to our database, Mathias Samuelides authored at least 6 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Automates d'arbres à jetons. (Pebble tree automata).

Mathias Samuelides

PhD thesis, 2007

Complexity of Pebble Tree-Walking Automata.

Mathias Samuelides, Luc Segoufin

Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

2006

Complementing deterministic tree-walking automata.

Anca Muscholl, Mathias Samuelides, Luc Segoufin

Inf. Process. Lett., 2006

Expressive Power of Pebble Automata.

Mikolaj Bojanczyk, Mathias Samuelides, Thomas Schwentick, Luc Segoufin

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2004

Games for Counting Abstractions.

Jean-François Raskin, Mathias Samuelides, Laurent Van Begin

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

2002

Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited.

Alain Finkel, Jean-François Raskin, Mathias Samuelides, Laurent Van Begin

Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), 2002