dblp.uni-trier.dewww.uni-trier.de

Anne-Cécile Caron Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
14EEBenoît Groz, Slawomir Staworko, Anne-Cécile Caron, Yves Roos, Sophie Tison: XML Security Views Revisited. DBPL 2009: 52-67
2008
13EEOlivier Gauwin, Anne-Cécile Caron, Joachim Niehren, Sophie Tison: Complexity of Earliest Query Answering with Streaming Tree Automata. PLAN-X 2008
2007
12EEYves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos, Sophie Tison: Path constraints in semistructured data. Theor. Comput. Sci. 385(1-3): 11-33 (2007)
2005
11EEYves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos: Indexes and Path Constraints in Semistructured Data. DEXA Workshops 2005: 837-841
2004
10EEYves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos, Sophie Tison: Extraction and Implication of Path Constraints. MFCS 2004: 863-875
2003
9 Anne-Cécile Caron, Denis Debarbieux, Yves Roos: Modèles de données semi-structurées et contraintes d'inclusion. EGC 2003: 461-472
1999
8 Yves Andre, Francis Bossut, Anne-Cécile Caron: On decidability of boundedness property for regular path queries. Developments in Language Theory 1999: 245-256
7EEAnne-Cécile Caron, Franck Seynhaeve, Sophie Tison, Marc Tommasi: Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting. RTA 1999: 103-117
1995
6 Max Dauchet, Anne-Cécile Caron, Jean-Luc Coquidé: Automata for Reduction Properties Solving. J. Symb. Comput. 20(2): 215-233 (1995)
1994
5EEAnne-Cécile Caron, Hubert Comon, Jean-Luc Coquidé, Max Dauchet, Florent Jacquemard: Pumping, Cleaning and Symbolic Constraints Solving. ICALP 1994: 436-449
4 Anne-Cécile Caron, Jean-Luc Coquidé: Decidability of Reachability for Disjoint Union of Term Rewriting Systems. Theor. Comput. Sci. 126(1): 31-52 (1994)
1993
3EEAnne-Cécile Caron, Jean-Luc Coquidé, Max Dauchet: Encompassment Properties and Automata with Constraints. RTA 1993: 328-342
1992
2EEAnne-Cécile Caron: Decidability of Reachability and Disjoint Union of Term Rewriting Systems. CAAP 1992: 86-101
1991
1EEAnne-Cécile Caron: Linear Bounded Automata and Rewrite Systems: Influence of Initial Configurations on Decision Properties. TAPSOFT, Vol.1 1991: 74-89

Coauthor Index

1Yves Andre [8] [10] [11] [12]
2Francis Bossut [8]
3Hubert Comon-Lundh (Hubert Comon) [5]
4Jean-Luc Coquidé [3] [4] [5] [6]
5Max Dauchet [3] [5] [6]
6Denis Debarbieux [9] [10] [11] [12]
7Olivier Gauwin [13]
8Benoît Groz [14]
9Florent Jacquemard [5]
10Joachim Niehren [13]
11Yves Roos [9] [10] [11] [12] [14]
12Franck Seynhaeve [7]
13Slawomir Staworko [14]
14Sophie Tison [7] [10] [12] [13] [14]
15Marc Tommasi [7]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)