Yves Roos

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