The following pages link to Anne-Cecile Caron (Q462478):
Displayed 12 items.
- Static analysis of XML security views and query rewriting (Q462481) (← links)
- (Q1325845) (redirect page) (← links)
- Decidability of reachability for disjoint union of term rewriting systems (Q1325846) (← links)
- Automata for reduction properties solving (Q1911400) (← links)
- Path constraints in semistructured data (Q2456353) (← links)
- (Q2708969) (← links)
- (Q2736359) (← links)
- (Q4453471) (← links)
- Pumping, cleaning and symbolic constraints solving (Q4632446) (← links)
- (Q4938600) (← links)
- Encompassment properties and automata with constraints (Q5055805) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311157) (← links)