2007 | ||
---|---|---|
4 | EE | Ines 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 | ||
3 | EE | Ines 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 | ||
2 | EE | Ines 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 | ||
1 | EE | Ines Klimann: New types of automata to solve fixed point problems. Theor. Comput. Sci. 259(1-2): 183-197 (2001) |
1 | Sylvain Lombardy | [2] [3] [4] |
2 | Jean Mairesse | [2] [3] [4] |
3 | Christophe Prieur | [2] [3] [4] |