Anne-Cecile Caron

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Encompassment properties and automata with constraints
Rewriting Techniques and Applications
2022-12-09Paper
Pumping, cleaning and symbolic constraints solving
Automata, Languages and Programming
2019-04-29Paper
Static analysis of XML security views and query rewriting
Information and Computation
2014-10-20Paper
Path constraints in semistructured data
Theoretical Computer Science
2007-10-18Paper
Mathematical Foundations of Computer Science 2004
Lecture Notes in Computer Science
2005-08-22Paper
scientific article; zbMATH DE number 2051179 (Why is no real title available?)2004-03-07Paper
scientific article; zbMATH DE number 1638661 (Why is no real title available?)2001-08-29Paper
On decidability of boundedness property for regular path queries2001-04-04Paper
scientific article; zbMATH DE number 1405621 (Why is no real title available?)2000-04-25Paper
Automata for reduction properties solving
Journal of Symbolic Computation
1996-06-06Paper
Decidability of reachability for disjoint union of term rewriting systems
Theoretical Computer Science
1994-05-15Paper


Research outcomes over time


This page was built for person: Anne-Cecile Caron