| * | 2009 |
|---|
| 13 | EE | Everardo Bárcenas,
Pierre Genevès,
Nabil Layaïda:
On the analysis of queries with counting constraints.
ACM Symposium on Document Engineering 2009: 21-24 |
| 12 | EE | Pierre Genevès,
Nabil Layaïda,
Vincent Quint:
Identifying query incompatibilities with evolving XML schemas.
ICFP 2009: 221-230 |
| 2008 |
|---|
| 11 | EE | Pierre Genevès:
Logics for XML
CoRR abs/0810.4460: (2008) |
| 10 | EE | Pierre Genevès,
Nabil Layaïda,
Vincent Quint:
Ensuring Query Compatibility with Evolving XML Schemas
CoRR abs/0811.4324: (2008) |
| 9 | EE | Pierre Genevès,
Nabil Layaïda:
XML Static Analyzer User Manual
CoRR abs/0812.3550: (2008) |
| 2007 |
|---|
| 8 | EE | Pierre Genevès,
Nabil Layaïda,
Alan Schmitt:
XPath Typing Using a Modal Logic with Converse for Finite Trees.
PLAN-X 2007: 61-72 |
| 7 | EE | Pierre Genevès,
Nabil Layaïda,
Alan Schmitt:
Efficient static analysis of XML paths and types.
PLDI 2007: 342-351 |
| 6 | EE | Pierre Genevès,
Nabil Layaïda:
Deciding XPath containment with MSO.
Data Knowl. Eng. 63(1): 108-136 (2007) |
| 2006 |
|---|
| 5 | EE | Pierre Genevès,
Nabil Layaïda:
Comparing XML path expressions.
ACM Symposium on Document Engineering 2006: 65-74 |
| 4 | EE | Pierre Genevès,
Nabil Layaïda:
A system for the static analysis of XPath.
ACM Trans. Inf. Syst. 24(4): 475-502 (2006) |
| 2005 |
|---|
| 3 | EE | Pierre Genevès,
Kristoffer Høgsbro Rose:
Compiling XPath for streaming access policy.
ACM Symposium on Document Engineering 2005: 52-54 |
| 2004 |
|---|
| 2 | EE | Pierre Genevès,
Jean-Yves Vion-Dury:
Logic-based XPath optimization.
ACM Symposium on Document Engineering 2004: 211-219 |
| 1 | | Pierre Genevès:
Improving Efficiency of XPath-Based XML Querying.
IFIP Student Forum 2004: 143-154 |
