Filter your results
- 18
- 12
- 15
- 15
- 27
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 29
- 1
- 27
- 10
- 3
- 2
- 1
- 1
- 1
- 1
- 30
- 8
- 8
- 7
- 7
- 6
- 5
- 3
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
30 Results
|
|
sorted by
|
|
Synchronization LanguagesTheoretical Computer Science, 1999, 215 (1--2), pp.99--121. ⟨10.1016/S0304-3975(97)00134-5⟩
Journal articles
inria-00542550v1
|
||
|
Extraction and Implication of Path Constraints29th Symposium on Mathematical Foundations of Computer Science, 2004, Prague, Costa Rica. pp.863-875
Conference papers
inria-00536715v1
|
||
|
Path Rewriting in Semistructured Data4th International Conference on Combinatorics on Words, 2003, Turku, Finland. pp.358--369
Conference papers
inria-00536731v1
|
||
Partial Characterization of Synchronization LanguagesProc. 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS'97), 1997, Bratislava, Slovakia. pp.209--218
Conference papers
inria-00544978v1
|
|||
Semi-Commutations and Rational ExpressionsAutomata, 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⟩
Conference papers
istex
hal-01820528v1
|
|||
|
Indexes and Path Constraints in Semistructured Data16th 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⟩
Conference papers
hal-01820500v1
|
||
Synchronization Languages and Rewriting SystemsInformation and Computation, 2001, 167, pp.46--69
Journal articles
inria-00542547v1
|
|||
Semi-Commutations and Algebraic LanguagesSTACS 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⟩
Conference papers
istex
hal-01820532v1
|
|||
|
One-rule length-preserving rewrite systems and rational TransductionsRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2014, 48 (2), pp.149-171. ⟨10.1051/ita/2013044⟩
Journal articles
hal-00934621v1
|
||
Generalized Synchronization LanguagesProc. 12th International Symposium Fundamentals of Computation Theory, 1999, Iasi,, Romania. pp.451--462
Conference papers
inria-00544973v1
|
|||
|
Streaming Tree AutomataInformation Processing Letters, 2008, 109 (1), pp.13-17. ⟨10.1016/j.ipl.2008.08.002⟩
Journal articles
inria-00288445v3
|
||
|
Semicommutations and Algebraic LanguagesTheoretical Computer Science, 1992, 103 (1), pp.39--49. ⟨10.1016/0304-3975(92)90086-U⟩
Journal articles
hal-01820529v1
|
||
Composition of Two Semi CommutationsMathematical 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⟩
Conference papers
istex
hal-01820530v1
|
|||
|
Identification of biRFSA languagesTheoretical Computer Science, 2006, 356 (1-2), pp.212-223. ⟨10.1016/j.tcs.2006.01.029⟩
Journal articles
inria-00536545v1
|
||
|
Minimal NFA and biRFSA LanguagesRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2009, 43 (2), pp.221-237. ⟨10.1051/ita:2008022⟩
Journal articles
inria-00296658v1
|
||
|
View update translation for XML14th International Conference on Database Theory (ICDT), Mar 2011, Uppsala, Sweden
Conference papers
inria-00534857v2
|
||
|
On rationally controlled one-rule insertion systemsRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2022, 56, pp.8. ⟨10.1051/ita/2022008⟩
Journal articles
hal-03815815v1
|
||
|
A Canonical Automaton for One-Rule Length-Preserving String Rewrite SystemsInformation and Computation, 2015, 244, pp.203--228. ⟨10.1016/j.ic.2015.07.002⟩
Journal articles
hal-01205202v1
|
||
About Synchronization LanguagesProc. 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98), 1998, Brno, Czech Republic
Conference papers
inria-00544975v1
|
|||
Semi-commutations and Partial CommutationsRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2000, 34 (4), pp.307--330
Journal articles
inria-00542549v1
|
|||
Modèles de données semi-structurées et contraintes d'inclusionExtraction 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
Conference papers
hal-01820501v1
|
|||
Synchronized Shuffle and Regular LanguagesJewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa, 1999, Unknown, Unknown Region. pp.35--44
Conference papers
hal-01820527v1
|
|||
Decomposition of Partial CommutationsAutomata, 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⟩
Conference papers
istex
hal-01820531v1
|
|||
|
Static analysis of xml security views and query rewritingInformation and Computation, 2014, 238, pp.2-29. ⟨10.1016/j.ic.2014.07.003⟩
Journal articles
hal-00796297v1
|
||
|
2-Asynchronous AutomataTheoretical Computer Science, 1988, 61, pp.93--102. ⟨10.1016/0304-3975(88)90110-7⟩
Journal articles
hal-01820533v1
|
||
|
XML Security Views RevisitedInternational Symposium on Database Programming Languages, Aug 2009, LYON, France. pp 52-67
Conference papers
hal-00396796v1
|
||
|
Monotone AC-Tree Automata12th International Conference on Logic for Programming Artificial Intelligence and Reasoning, 2005, Montego Bay, Jamaica. pp.337-351
Conference papers
inria-00536693v1
|
||
|
On One-Rule Grid Semi-Thue SystemsFundamenta 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⟩
Journal articles
hal-00749289v1
|
||
|
Path constraints in semistructured dataTheoretical Computer Science, 2007, 385 (1-3), pp.11-33. ⟨10.1016/j.tcs.2007.05.010⟩
Journal articles
hal-00189067v1
|
||
|
On prefixal one-rule string rewrite systemsTheoretical Computer Science, 2019, 795, pp.240-256. ⟨10.1016/j.tcs.2019.07.004⟩
Journal articles
hal-02289652v1
|