|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Iovka Boneva, Anne-Cécile Caron, Benoît Groz, Yves Roos, Sophie Tison, Slawek Staworko |
View update translation for XML.  |
ICDT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Groz, Slawomir Staworko, Anne-Cécile Caron, Yves Roos, Sophie Tison |
XML Security Views Revisited. |
DBPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gauwin, Anne-Cécile Caron, Joachim Niehren, Sophie Tison |
Complexity of Earliest Query Answering with Streaming Tree Automata. |
PLAN-X |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos, Sophie Tison |
Path constraints in semistructured data. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos |
Indexes and Path Constraints in Semistructured Data. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Andre, Anne-Cécile Caron, Denis Debarbieux, Yves Roos, Sophie Tison |
Extraction and Implication of Path Constraints. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne-Cécile Caron, Denis Debarbieux, Yves Roos |
Modèles de données semi-structurées et contraintes d'inclusion. |
EGC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yves Andre, Francis Bossut, Anne-Cécile Caron |
On decidability of boundedness property for regular path queries. |
Developments in Language Theory |
1999 |
DBLP BibTeX RDF |
|
| 1 | Anne-Cécile Caron, Franck Seynhaeve, Sophie Tison, Marc Tommasi |
Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Dauchet, Anne-Cécile Caron, Jean-Luc Coquidé |
Automata for Reduction Properties Solving. |
J. Symb. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne-Cécile Caron, Jean-Luc Coquidé |
Decidability of Reachability for Disjoint Union of Term Rewriting Systems. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne-Cécile Caron, Hubert Comon, Jean-Luc Coquidé, Max Dauchet, Florent Jacquemard |
Pumping, Cleaning and Symbolic Constraints Solving. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne-Cécile Caron, Jean-Luc Coquidé, Max Dauchet |
Encompassment Properties and Automata with Constraints. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne-Cécile Caron |
Decidability of Reachability and Disjoint Union of Term Rewriting Systems. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne-Cécile Caron |
Linear Bounded Automata and Rewrite Systems: Influence of Initial Configurations on Decision Properties. |
TAPSOFT, Vol.1 |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")