Yves Roos

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 3

Top Topics

Quantifier Free

Rewrite Systems

Integrity Constraints

Top Venues

RAIRO Theor. Informatics Appl.

Theor. Comput. Sci.

Publications

Michel Latteux, Yves Roos
On rationally controlled one-rule insertion systems. RAIRO Theor. Informatics Appl. 56 (2022)
Michel Latteux, Yves Roos
On prefixal one-rule string rewrite systems. Theor. Comput. Sci. 795 (2019)
Michel Latteux, Yves Roos
A canonical automaton for one-rule length-preserving string rewrite systems. Inf. Comput. 244 (2015)
Benoît Groz, Slawomir Staworko, Anne-Cécile Caron, Yves Roos, Sophie Tison
Static analysis of XML security views and query rewriting. Inf. Comput. 238 (2014)
Michel Latteux, Yves Roos
One-Rule Length-Preserving Rewrite Systems and Rational Transductions. RAIRO Theor. Informatics Appl. 48 (2) (2014)
Michel Latteux, Yves Roos
On One-Rule Grid Semi-Thue Systems. Fundam. Informaticae 116 (1-4) (2012)
Iovka Boneva, Anne-Cécile Caron, Benoît Groz, Yves Roos, Sophie Tison, Slawek Staworko
View update translation for XML. ICDT (2011)
Benoît Groz, Slawomir Staworko, Anne-Cécile Caron, Yves Roos, Sophie Tison
XML Security Views Revisited. DBPL (2009)
Michel Latteux, Yves Roos, Alain Terlutte
Minimal NFA and biRFSA Languages. RAIRO Theor. Informatics Appl. 43 (2) (2009)
Olivier Gauwin, Joachim Niehren, Yves Roos
Streaming tree automata. Inf. Process. Lett. 109 (1) (2008)
Yves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos, Sophie Tison
Path constraints in semistructured data. Theor. Comput. Sci. 385 (1-3) (2007)
Michel Latteux, Aurélien Lemay, Yves Roos, Alain Terlutte
Identification of biRFSA languages. Theor. Comput. Sci. 356 (1-2) (2006)
Yves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos
Indexes and Path Constraints in Semistructured Data. DEXA Workshops (2005)
Hitoshi Ohsaki, Jean-Marc Talbot, Sophie Tison, Yves Roos
Monotone AC-Tree Automata. LPAR (2005)
Yves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos, Sophie Tison
Extraction and Implication of Path Constraints. MFCS (2004)
Anne-Cécile Caron, Denis Debarbieux, Yves Roos
Modèles de données semi-structurées et contraintes d'inclusion. EGC (2003)
Mireille Clerbout, Yves Roos, Isabelle Ryl
Synchronization Languages and Rewriting Systems. Inf. Comput. 167 (1) (2001)
Mireille Clerbout, Yves Roos, Isabelle Ryl
Semi-commutations and partial commutations. RAIRO Theor. Informatics Appl. 34 (4) (2000)
Isabelle Ryl, Yves Roos, Mireille Clerbout
Generalized Synchronization Languages. FCT (1999)
Michel Latteux, Yves Roos
Synchronized Shuffle and Regular Languages. Jewels are Forever (1999)
Mireille Clerbout, Yves Roos, Isabelle Ryl
Synchronization Languages. Theor. Comput. Sci. 215 (1-2) (1999)
Isabelle Ryl, Yves Roos, Mireille Clerbout
About Synchronization Languages. MFCS (1998)
Isabelle Ryl, Yves Roos, Mireille Clerbout
Partial Characterization of Synchronization Languages. MFCS (1997)
Mireille Clerbout, Yves Roos
Semicommutations and Algebraic Languages. Theor. Comput. Sci. 103 (1) (1992)
Mireille Clerbout, Yves Roos, Wieslaw Zielonka
Semi-Commutations and Rational Expressions. ICALP (1992)
Yves Roos, Pierre-André Wacrenier
Composition of Two Semi Commutations. MFCS (1991)
Mireille Clerbout, Michel Latteux, Yves Roos
Decomposition of Partial Commutations. ICALP (1990)
Mireille Clerbout, Yves Roos
Semi-Commutations and Algebraic Languages. STACS (1990)
Robert Cori, Éric Sopena, Michel Latteux, Yves Roos
2-Asynchronous Automata. Theor. Comput. Sci. 61 (1988)