P
Pierre Genevès
Researcher at Centre national de la recherche scientifique
Publications - 48
Citations - 492
Pierre Genevès is an academic researcher from Centre national de la recherche scientifique. The author has contributed to research in topics: XPath & XML schema. The author has an hindex of 13, co-authored 43 publications receiving 451 citations. Previous affiliations of Pierre Genevès include University of Grenoble & École Polytechnique Fédérale de Lausanne.
Papers
More filters
Proceedings ArticleDOI
Efficient static analysis of XML paths and types
TL;DR: An algorithm to solve XPath decision problems under regular tree type constraints and its use to statically type-check XPath queries is presented and the decidability of a logic with converse for finite ordered trees is proved.
Book ChapterDOI
SPARQL query containment under RDFS entailment regime
TL;DR: The problem of SPARQL query containment is encoded into an expressive logic called μ-calculus: where RDF graphs become transition systems, queries and schema axioms become formulas, and the containment problem is reduced to formula satisfiability test.
Proceedings Article
SPARQL query containment under SHI axioms
TL;DR: A mapping from RDF graphs into transition systems is provided and a double exponential upper bound for containment under SHI schema axioms is proved, to reduce query containment and equivalence to satisfiability in the µ-calculus.
Proceedings ArticleDOI
On the analysis of cascading style sheets
TL;DR: An original tool capable of statically detecting a wide range of errors, as well as proving properties related to sets of documents, in the presence or absence of schema information is presented.
Journal Article
Logics for XML
TL;DR: A new class of static analyzers for programs manipulating XML data allow to ensure at compile-time valuable properties such as type-safety and optimizations, for safer and more efficient XML processing.