Ban3

Informations sur l'auteur

Pierre Genevès

http://www.pierresoft.com/pierre.geneves/

http://pistou.imag.fr/site/author/170

 
Équipe(s) :
WAM Du 01/04/2003 au 30/09/2007
WAM Du 01/10/2007 au 31/12/2099
 

Publications de l'auteur

La liste contient 36 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
2011
1
Impact of XML Schema Evolution.
ACM Transactions on Internet Technology (TOIT), 11:4:1--4:27, jul 2011.
Www-128x128 Www-128x128
bibtex/ html
2007
2
Deciding XPath Containment with MSO.
Data and Knowledge Engineering (DKE), 63(1):108-136, oct 2007.
Www-128x128abstract ]
bibtex/ html
2006
3
A System for the Static Analysis of XPath.
ACM Transactions on Information Systems (TOIS), 24(4):475-502, oct 2006.
Www-128x128abstract ]
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2011
4
Parametric Polymorphism and Semantic Subtyping: the Logical Connection.
ICFP '11: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, :107-116, 2011.
bibtex/ html
5
Inconsistent path detection for XML IDEs.
Proceeding of the 33rd international conference on Software engineering, :983--985, ICSE '11, New York, NY, USA, 2011.
Www-128x128 Www-128x128
bibtex/ html
6
Query reasoning on trees with types, interleaving and counting.
IJCAI'11 : Proceedings of the 22nd International Joint Conference on Artificial Intelligence, :718-723, Barcelona, Spain, jul 2011.
bibtex/ html
2010
7
Eliminating Dead-Code from XQuery Programs.
Proceedings of the 32nd ACM/IEEE International Conf on Software Engineering, ICSE 2010, may 2010.
Pdf-128x128abstract ]
bibtex/ html
8
Debugging Standard Document Formats.
Proceedings of the 19th International Conference on World Wide Web (WWW 2010), :1269--1272, apr 2010.
Pdf-128x128 Www-128x128abstract ]
bibtex/ html
9
XML Reasoning Made Practical.
Proceedings of the 26th IEEE International Conference on Data Engineering, ICDE 2010, :1169-1172, mar 2010.
Pdf-128x128abstract ]
bibtex/ html
2009
10
Identifying Query Incompatibilities with Evolving XML Schemas.
14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009, :221-230, Edinburgh, Scotland, aug 2009.
abstract ]
bibtex/ html
11
Counting in Trees along Multidirectional Regular Paths.
PLAN-X 2009, Programming Language Techniques for XML, jan 2009.
Www-128x128 Www-128x128abstract ]
bibtex/ html
12
On the Analysis of Queries with Counting Constraints.
DocEng'09: Proceedings of the Ninth ACM Symposium on Document Engineering, sep 2009.
Pdf-128x128abstract ]
bibtex/ html
2007
13
Efficient Static Analysis of XML Paths and Types.
PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, :342--351, jun 2007.
Www-128x128 Www-128x128abstract ]
bibtex/ html
14
XPath Typing Using a Modal Logic with Converse for Finite Trees.
PLAN-X 2007, Programming Languages Technologies for XML, :61-72, jan 2007.
Www-128x128abstract ]
bibtex/ html
2006
15
Comparing XML Path Expressions.
Proceedings of the 2006 ACM Symposium on Document Engineering, DocEng 2006, :65-74, oct 2006.
Pdf-128x128abstract ]
bibtex/ html
2005
16
Compiling XPath for Streaming Access Policy.
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, :52-54, nov 2005.
Pdf-128x128abstract ]
bibtex/ html
2004
17
Logic-Based XPath Optimization.
Proceedings of the 2004 ACM symposium on Document Engineering, DocEng 2004, :211-219, oct 2004.
Pdf-128x128abstract ]
bibtex/ html
18
XPath Formal Semantics and Beyond: a Coq based approach.
Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logic: TPHOLs 2004, :181-198, aug 2004.
Pdf-128x128abstract ]
bibtex/ html
19
Improving Efficiency of XPath-Based XML Querying.
IFIP 18th World Computer Congress, Student Forum, :143-153, aug 2004.
Pdf-128x128abstract ]
bibtex/ html
20
Logic-Based XPath Optimization.
First International Workshop on High Performance XML Processing, may 2004.
Pdf-128x128abstract ]
bibtex/ html
21
Compiling XPath into a State-less Forward-only Subset.
First International Workshop on High Performance XML Processing, may 2004.
Pdf-128x128abstract ]
bibtex/ html
2003
22
Editing SMIL with Timelines.
Proceedings of the Synchronized Multimedia Integration Language European Conference, feb 2003.
Www-128x128abstract ]
bibtex/ html
Scientific books and chapter [OS]
2009
23
Logics for XML: Reasoning about Trees..
VDM Verlag, sep 2009.
bibtex/ html
Doctoral Dissertations and Habilitations Theses [TH]
2006
24
Logics for XML.
Thèse de Doctorat, INPG, Grenoble, dec 2006.
Pdf-128x128abstract ]
bibtex/ html
Other Publications [AP]
2011
25
PSPARQL query containment.
Research report, (7641), INRIA, Grenoble (FR), 2011.
Www-128x128abstract ]
bibtex/ html
26
PSPARQL query containment.
Proc. 13th International symposium on database programming languages (DBPL), Seattle (WA US), 2011.
Pdf-128x128abstract ]
bibtex/ html
27
On the Analysis of Cascading Style Sheets.
Rapport de recherche, (RR-7808), INRIA, nov 2011.
Www-128x128
bibtex/ html
28
XML Reasoning Solver User Manual.
Rapport de recherche, (RR-6726), INRIA, jun 2011.
Www-128x128
bibtex/ html
2010
29
A Tree Logic with Graded Paths and Nominals.
Research Report, (7251), INRIA, apr 2010.
Www-128x128abstract ]
bibtex/ html
30
On the Count of Trees.
Rapport de recherche, (RR-7251), INRIA, aug 2010. Note: RR-7251.
bibtex/ html
2008
31
Ensuring Query Compatibility with Evolving XML Schemas.
Research Report, (6711), INRIA, nov 2008.
Www-128x128abstract ]
bibtex/ html
32
Efficient Static Analysis of XML Paths and Types.
Research Report, (6590), INRIA, jul 2008.
Www-128x128abstract ]
bibtex/ html
33
XML Reasoning Solver User Manual.
Research Report, (6726), INRIA, nov 2008.
Www-128x128abstract ]
bibtex/ html
34
Static Analysis of XML Programs.
ERCIM News, (72):33-34, jan 2008.
Www-128x128abstract ]
bibtex/ html
2006
35
A Decision Procedure for XPath Containment.
Research Report, (5867), INRIA, mar 2006.
Pdf-128x128abstract ]
bibtex/ html
2003
36
Langages de transformation incrémentaux.
Rapport de {DEA}, UJF, Grenoble, jun 2003.
Pdf-128x128abstract ]
bibtex/ html