Pierre Genev

发表

Equipping IDEs with XML-Path Reasoning Capabilities

Pierre Genev, 2015 .

A System for the Static Analysis of XPath

Pierre Genev, Inria Rh, 2006 .

Static Analysis of XML Paths and Types

Alan Schmitt, Pierre Genev, Nabil Laya, 2007 .

Comparing XML Path Expressions

Pierre Genev, Nabil Laya ¨ ida, 2006 .

Ensuring Query Compatibility with Evolving XML

Vincent Quint, Pierre Genev, 2008 .

Compiling XPath into a State-less Forward-only Subset

Pierre Genev, 2004 .

Eliminating Context State from XPath

Pierre Genev, 2003 .