Anne-Cecile Caron

Available identifiers

zbMath Open caron.anne-cecileMaRDI QIDQ462478

List of research outcomes

Publication	Date of Publication	Type
Encompassment properties and automata with constraints	2022-12-09	Paper
Pumping, cleaning and symbolic constraints solving	2019-04-29	Paper
Static analysis of XML security views and query rewriting	2014-10-20	Paper
Path constraints in semistructured data	2007-10-18	Paper
Mathematical Foundations of Computer Science 2004	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4453471	2004-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q2736359	2001-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q2708969	2001-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q4938600	2000-04-25	Paper
Automata for reduction properties solving	1996-06-06	Paper
Decidability of reachability for disjoint union of term rewriting systems	1994-05-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anne-Cecile Caron