Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

30 résultats
Page :
triés par

Synchronization Languages

 Mireille Clerbout , Yves Roos , Isabelle Ryl
Theoretical Computer Science, 1999, 215 (1--2), pp.99--121. ⟨10.1016/S0304-3975(97)00134-5⟩
Article dans une revue inria-00542550v1

Indexes and Path Constraints in Semistructured Data

 Yves Andre , Anne-Cécile Caron , Denis Debarbieux , Yves Roos
16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 22-26 August 2005, Copenhagen, Denmark, 2005, Unknown, Unknown Region. pp.837--841, ⟨10.1109/DEXA.2005.115⟩
Communication dans un congrès hal-01820500v1

Synchronization Languages and Rewriting Systems

 M. Clerbout , Y. Roos , Isabelle Ryl
Information and Computation, 2001, 167, pp.46--69
Article dans une revue inria-00542547v1
Image document

Extraction and Implication of Path Constraints

 Yves André , Anne-Cécile Caron , Denis Debarbieux , Yves Roos , Sophie Tison
29th Symposium on Mathematical Foundations of Computer Science, 2004, Prague, Costa Rica. pp.863-875
Communication dans un congrès inria-00536715v1
Image document

Path Rewriting in Semistructured Data

 Denis Debarbieux , Yves Roos , Sophie Tison , Yves André , Anne-Cécile Caron
4th International Conference on Combinatorics on Words, 2003, Turku, Finland. pp.358--369
Communication dans un congrès inria-00536731v1

Partial Characterization of Synchronization Languages

 Isabelle Ryl , Yves Roos , Mireille Clerbout
Proc. 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS'97), 1997, Bratislava, Slovakia. pp.209--218
Communication dans un congrès inria-00544978v1

Semi-Commutations and Rational Expressions

 Mireille Clerbout , Yves Roos , Wieslaw Zielonka
Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings, 1992, Unknown, Unknown Region. pp.113--125, ⟨10.1007/3-540-55719-9_68⟩
Communication dans un congrès istex hal-01820528v1

One-rule length-preserving rewrite systems and rational Transductions

 Michel Latteux , Yves Roos
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2014, 48 (2), pp.149-171. ⟨10.1051/ita/2013044⟩
Article dans une revue hal-00934621v1

Generalized Synchronization Languages

 Isabelle Ryl , Yves Roos , Mireille Clerbout
Proc. 12th International Symposium Fundamentals of Computation Theory, 1999, Iasi,, Romania. pp.451--462
Communication dans un congrès inria-00544973v1

Semi-Commutations and Algebraic Languages

 Mireille Clerbout , Yves Roos
STACS 90, 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, Proceedings, 1990, Unknown, Unknown Region. pp.82--94, ⟨10.1007/3-540-52282-4_34⟩
Communication dans un congrès istex hal-01820532v1
Image document

Streaming Tree Automata

 Olivier Gauwin , Joachim Niehren , Yves Roos
Information Processing Letters, 2008, 109 (1), pp.13-17. ⟨10.1016/j.ipl.2008.08.002⟩
Article dans une revue inria-00288445v3

Semicommutations and Algebraic Languages

 Mireille Clerbout , Yves Roos
Theoretical Computer Science, 1992, 103 (1), pp.39--49. ⟨10.1016/0304-3975(92)90086-U⟩
Article dans une revue hal-01820529v1

Composition of Two Semi Commutations

 Yves Roos , Pierre-André Wacrenier
Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings, 1991, Unknown, Unknown Region. pp.406--414, ⟨10.1007/3-540-54345-7_84⟩
Communication dans un congrès istex hal-01820530v1
Image document

Identification of biRFSA languages

 Michel Latteux , Aurélien Lemay , Yves Roos , Alain Terlutte
Theoretical Computer Science, 2006, 356 (1-2), pp.212-223. ⟨10.1016/j.tcs.2006.01.029⟩
Article dans une revue inria-00536545v1

Minimal NFA and biRFSA Languages

 Michel Latteux , Yves Roos , Alain Terlutte
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2009, 43 (2), pp.221-237. ⟨10.1051/ita:2008022⟩
Article dans une revue inria-00296658v1
Image document

View update translation for XML

 Iovka Boneva , Benoit Groz , Sophie Tison , Anne-Cécile Caron , Yves Roos , et al.
14th International Conference on Database Theory (ICDT), Mar 2011, Uppsala, Sweden
Communication dans un congrès inria-00534857v2

About Synchronization Languages

 Isabelle Ryl , Yves Roos , Mireille Clerbout
Proc. 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98), 1998, Brno, Czech Republic
Communication dans un congrès inria-00544975v1

Semi-commutations and Partial Commutations

 M. Clerbout , Y. Roos , Isabelle Ryl
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2000, 34 (4), pp.307--330
Article dans une revue inria-00542549v1

A Canonical Automaton for One-Rule Length-Preserving String Rewrite Systems

 Michel Latteux , Yves Roos
Information and Computation, 2015, 244, pp.203--228. ⟨10.1016/j.ic.2015.07.002⟩
Article dans une revue hal-01205202v1
Image document

On rationally controlled one-rule insertion systems

 Michel Latteux , Yves Roos
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2022, 56, pp.8. ⟨10.1051/ita/2022008⟩
Article dans une revue hal-03815815v1

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

 Anne-Cécile Caron , Denis Debarbieux , Yves Roos
Extraction et gestion des connaissances (EGC'2003), Actes des troisièmes journées Extraction et Gestion des Connaissances, Lyon, France, 22-24 janvier 2003, 2003, Unknown, Région indéterminée. pp.461--472
Communication dans un congrès hal-01820501v1

Synchronized Shuffle and Regular Languages

 Michel Latteux , Yves Roos
Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa, 1999, Unknown, Unknown Region. pp.35--44
Communication dans un congrès hal-01820527v1

Decomposition of Partial Commutations

 Mireille Clerbout , Michel Latteux , Yves Roos
Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings, 1990, Unknown, Unknown Region. pp.501--511, ⟨10.1007/BFb0032054⟩
Communication dans un congrès istex hal-01820531v1
Image document

Monotone AC-Tree Automata

 Hitoshi Ohsaki , Jean-Marc Talbot , Sophie Tison , Yves Roos
12th International Conference on Logic for Programming Artificial Intelligence and Reasoning, 2005, Montego Bay, Jamaica. pp.337-351
Communication dans un congrès inria-00536693v1
Image document

On prefixal one-rule string rewrite systems

 Michel Latteux , Yves Roos
Theoretical Computer Science, 2019, 795, pp.240-256. ⟨10.1016/j.tcs.2019.07.004⟩
Article dans une revue hal-02289652v1

2-Asynchronous Automata

 Robert Cori , Eric Sopena , Michel Latteux , Yves Roos
Theoretical Computer Science, 1988, 61, pp.93--102. ⟨10.1016/0304-3975(88)90110-7⟩
Article dans une revue hal-01820533v1
Image document

Static analysis of xml security views and query rewriting

 Benoit Groz , Slawomir Staworko , Anne-Cécile Caron , Yves Roos , Sophie Tison
Information and Computation, 2014, 238, pp.2-29. ⟨10.1016/j.ic.2014.07.003⟩
Article dans une revue hal-00796297v1
Image document

XML Security Views Revisited

 Benoit Groz , Slawomir Staworko , Anne-Cécile Caron , Yves Roos , Sophie Tison
International Symposium on Database Programming Languages, Aug 2009, LYON, France. pp 52-67
Communication dans un congrès hal-00396796v1
Image document

On One-Rule Grid Semi-Thue Systems

 Michel Latteux , Yves Roos
Fundamenta Informaticae, 2012, Words, Graphs, Automata and Languages. Special Issue Honoring the 60th Birthday of Professor Tero Harju, 116 (1-4), pp.189-204. ⟨10.3233/FI-2012-678⟩
Article dans une revue hal-00749289v1
Image document

Path constraints in semistructured data

 Yves André , Anne-Cécile Caron , Denis Debarbieux , Yves Roos , Sophie Tison
Theoretical Computer Science, 2007, 385 (1-3), pp.11-33. ⟨10.1016/j.tcs.2007.05.010⟩
Article dans une revue hal-00189067v1
Page :