dblp.uni-trier.dewww.uni-trier.de

Ines Klimann

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EEInes Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur: Deciding Unambiguity and Sequentiality starting from a Finitely Ambiguous Max-Plus Automaton CoRR abs/0709.4117: (2007)
2004
3EEInes Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur: Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton. Theor. Comput. Sci. 327(3): 349-373 (2004)
2003
2EEInes Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur: Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton. Developments in Language Theory 2003: 373-385
2001
1EEInes Klimann: New types of automata to solve fixed point problems. Theor. Comput. Sci. 259(1-2): 183-197 (2001)

Coauthor Index

1Sylvain Lombardy [2] [3] [4]
2Jean Mairesse [2] [3] [4]
3Christophe Prieur [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)