The SCEAS System
Navigation Menu

Search the dblp DataBase


Pierre Genevès: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.011secs, Finished in 0.012secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002