# Mathias Samuelides

According to our database

Collaborative distances:

^{1}, Mathias Samuelides authored at least 6 papers between 2002 and 2007.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2007

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

PhD thesis, 2007

Complexity of Pebble Tree-Walking Automata.

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

2006

Complementing deterministic tree-walking automata.

Inf. Process. Lett., 2006

Expressive Power of Pebble Automata.

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

2005

Games for Counting Abstractions.

Electr. Notes Theor. Comput. Sci., 2005

2002

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

Electr. Notes Theor. Comput. Sci., 2002