Search the dblp DataBase

Publications of Author

1. Pierre Genevès, Kristoffer Høgsbro Rose
   Compiling XPath for streaming access policy. [Citation Graph (0, 0)][DBLP]
   ACM Symposium on Document Engineering, 2005, pp:52-54 [Conf]
   
2. Pierre Genevès, Jean-Yves Vion-Dury
   Logic-based XPath optimization. [Citation Graph (0, 0)][DBLP]
   ACM Symposium on Document Engineering, 2004, pp:211-219 [Conf]
   
3. Pierre Genevès, Nabil Layaïda
   Comparing XML path expressions. [Citation Graph (0, 0)][DBLP]
   ACM Symposium on Document Engineering, 2006, pp:65-74 [Conf]
   
4. Pierre Genevès
   Improving Efficiency of XPath-Based XML Querying. [Citation Graph (0, 0)][DBLP]
   IFIP Student Forum, 2004, pp:143-154 [Conf]
   
5. Pierre Genevès, Nabil Layaïda, Alan Schmitt
   XPath Typing Using a Modal Logic with Converse for Finite Trees. [Citation Graph (0, 0)][DBLP]
   PLAN-X, 2007, pp:61-72 [Conf]
   
6. Pierre Genevès, Nabil Layaïda
   A system for the static analysis of XPath. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Inf. Syst., 2006, v:24, n:4, pp:475-502 [Journal]
   
7. Pierre Genevès, Nabil Layaïda, Alan Schmitt
   Efficient static analysis of XML paths and types. [Citation Graph (0, 0)][DBLP]
   PLDI, 2007, pp:342-351 [Conf]
   
8. 
   On the analysis of queries with counting constraints. [Citation Graph (, )][DBLP]
   
   
9. 
   XML reasoning made practical. [Citation Graph (, )][DBLP]
   
   
10. 
    Identifying query incompatibilities with evolving XML schemas. [Citation Graph (, )][DBLP]
    
    
11. 
    Eliminating dead-code from XQuery programs. [Citation Graph (, )][DBLP]
    
    
12. 
    Debugging standard document formats. [Citation Graph (, )][DBLP]
    
    
13. 
    Logics for XML [Citation Graph (, )][DBLP]
    
    
14. 
    Ensuring Query Compatibility with Evolving XML Schemas [Citation Graph (, )][DBLP]
    
    
15. 
    XML Static Analyzer User Manual [Citation Graph (, )][DBLP]
    
    
16. 
    A Tree Logic with Graded Paths and Nominals [Citation Graph (, )][DBLP]
    
    
17. 
    On the Count of Trees [Citation Graph (, )][DBLP]
    
    
18. 
    Deciding XPath containment with MSO. [Citation Graph (, )][DBLP]