Yves Roos

RAIRO Theor. Informatics Appl., 2022

2019

On prefixal one-rule string rewrite systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

2015

A canonical automaton for one-rule length-preserving string rewrite systems.

[BibT_eX]

[DOI]

Inf. Comput., 2015

2014

One-Rule Length-Preserving Rewrite Systems and Rational Transductions.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2014

Static analysis of XML security views and query rewriting.

[BibT_eX]

[DOI]

Inf. Comput., 2014

2012

On One-Rule Grid Semi-Thue Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2012

2011

View update translation for XML.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2011

2009

Minimal NFA and biRFSA Languages.

[BibT_eX]

[DOI]

Alain Terlutte

RAIRO Theor. Informatics Appl., 2009

XML Security Views Revisited.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 2009

2008

Streaming tree automata.

[BibT_eX]

[DOI]

Olivier Gauwin

Joachim Niehren

Inf. Process. Lett., 2008

2007

Path constraints in semistructured data.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

2006

Identification of biRFSA languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

2005

Monotone AC-Tree Automata.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

Indexes and Path Constraints in Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

2004

Extraction and Implication of Path Constraints.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

2003

Modèles de données semi-structurées et contraintes d'inclusion.

[BibT_eX]

Anne-Cécile Caron

Denis Debarbieux

Proceedings of the Extraction et gestion des connaissances (EGC'2003), 2003

2001

Synchronization Languages and Rewriting Systems.

[BibT_eX]

[DOI]

Inf. Comput., 2001

2000

Semi-commutations and partial commutations.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2000

1999

Synchronization Languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

Generalized Synchronization Languages.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

Synchronized Shuffle and Regular Languages.

[BibT_eX]

Proceedings of the Jewels are Forever, 1999

1998

About Synchronization Languages.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1997

Partial Characterization of Synchronization Languages.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1995

Semi-Commutations.

[BibT_eX]

[DOI]

Proceedings of the Book of Traces, 1995

1992

Semicommutations and Algebraic Languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

Semi-Commutations and Rational Expressions.

[BibT_eX]

[DOI]

Wieslaw Zielonka

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991

Composition of Two Semi Commutations.

[BibT_eX]

[DOI]

Pierre-André Wacrenier

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1990

Semi-Commutations and Algebraic Languages.

[BibT_eX]

[DOI]

Proceedings of the STACS 90, 1990

Decomposition of Partial Commutations.

[BibT_eX]

[DOI]