Mathias Samuelides

According to our database1, Mathias Samuelides
  • authored at least 6 papers between 2002 and 2007.
  • has a "Dijkstra number"2 of four.

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


  Loading...