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
Pierre Genevès, Nabil Layaïda, Vincent Quint.
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
Pierre Genevès, Nabil Layaïda.
Deciding XPath Containment with MSO.
Data and Knowledge Engineering (DKE), 63(1):108-136, oct 2007.
Www-128x128 [ abstract ]
bibtex/ html
2006
3
Pierre Genevès, Nabil Layaïda.
A System for the Static Analysis of XPath.
ACM Transactions on Information Systems (TOIS), 24(4):475-502, oct 2006.
Www-128x128 [ abstract ]
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2011
4
Nils Gesbert, Pierre Genevès, Nabil Layaïda.
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
Pierre Genevès, Nabil Layaïda.
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
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt.
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
Pierre Genevès, Nabil Layaïda.
Eliminating Dead-Code from XQuery Programs.
Proceedings of the 32nd ACM/IEEE International Conf on Software Engineering, ICSE 2010, may 2010.
Pdf-128x128 [ abstract ]
bibtex/ html
8
Nabil Layaïda, Pierre Genevès.
Michael Rappa, Paul Jones, Juliana Freire, Soumen Chakrabarti.
Debugging Standard Document Formats.
Proceedings of the 19th International Conference on World Wide Web (WWW 2010), :1269--1272, apr 2010.
Pdf-128x128 Www-128x128 [ abstract ]
bibtex/ html
9
Pierre Genevès, Nabil Layaïda.
XML Reasoning Made Practical.
Proceedings of the 26th IEEE International Conference on Data Engineering, ICDE 2010, :1169-1172, mar 2010.
Pdf-128x128 [ abstract ]
bibtex/ html
2009
10
Pierre Genevès, Nabil Layaïda, Vincent Quint.
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
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda.
Counting in Trees along Multidirectional Regular Paths.
PLAN-X 2009, Programming Language Techniques for XML, jan 2009.
Www-128x128 Www-128x128 [ abstract ]
bibtex/ html
12
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda.
On the Analysis of Queries with Counting Constraints.
DocEng'09: Proceedings of the Ninth ACM Symposium on Document Engineering, sep 2009.
Pdf-128x128 [ abstract ]
bibtex/ html
2007
13
Pierre Genevès, Nabil Layaïda, Alan Schmitt.
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-128x128 [ abstract ]
bibtex/ html
14
Pierre Genevès, Nabil Layaïda, Alan Schmitt.
XPath Typing Using a Modal Logic with Converse for Finite Trees.
PLAN-X 2007, Programming Languages Technologies for XML, :61-72, jan 2007.
Www-128x128 [ abstract ]
bibtex/ html
2006
15
Pierre Genevès, Nabil Layaïda.
D. Brailsford.
Comparing XML Path Expressions.
Proceedings of the 2006 ACM Symposium on Document Engineering, DocEng 2006, :65-74, oct 2006.
Pdf-128x128 [ abstract ]
bibtex/ html
2005
16
Pierre Genevès, Kristoffer Rose.
P. King.
Compiling XPath for Streaming Access Policy.
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, :52-54, nov 2005.
Pdf-128x128 [ abstract ]
bibtex/ html
2004
17
Pierre Genevès, Jean-Yves Vion-Dury.
Jean-Yves Vion-Dury.
Logic-Based XPath Optimization.
Proceedings of the 2004 ACM symposium on Document Engineering, DocEng 2004, :211-219, oct 2004.
Pdf-128x128 [ abstract ]
bibtex/ html
18
Pierre Genevès, Jean-Yves Vion-Dury.
K. Slind.
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-128x128 [ abstract ]
bibtex/ html
19
Pierre Genevès.
M. Kaâniche.
Improving Efficiency of XPath-Based XML Querying.
IFIP 18th World Computer Congress, Student Forum, :143-153, aug 2004.
Pdf-128x128 [ abstract ]
bibtex/ html
20
Pierre Genevès, Jean-Yves Vion-Dury.
Logic-Based XPath Optimization.
First International Workshop on High Performance XML Processing, may 2004.
Pdf-128x128 [ abstract ]
bibtex/ html
21
Pierre Genevès, Kristoffer Rose.
Compiling XPath into a State-less Forward-only Subset.
First International Workshop on High Performance XML Processing, may 2004.
Pdf-128x128 [ abstract ]
bibtex/ html
2003
22
Cecile Roisin, Vincent Kober, Vincent Quint, Pierre Genevès, Patrice Navarro.
Editing SMIL with Timelines.
Proceedings of the Synchronized Multimedia Integration Language European Conference, feb 2003.
Www-128x128 [ abstract ]
bibtex/ html
Scientific books and chapter [OS]
2009
23
Pierre Genevès.
Logics for XML: Reasoning about Trees..
VDM Verlag, sep 2009.
bibtex/ html
Doctoral Dissertations and Habilitations Theses [TH]
2006
24
Pierre Genevès.
Logics for XML.
Thèse de Doctorat, INPG, Grenoble, dec 2006.
Pdf-128x128 [ abstract ]
bibtex/ html
Other Publications [AP]
2011
25
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda.
PSPARQL query containment.
Research report, (7641), INRIA, Grenoble (FR), 2011.
Www-128x128 [ abstract ]
bibtex/ html
26
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda.
PSPARQL query containment.
Proc. 13th International symposium on database programming languages (DBPL), Seattle (WA US), 2011.
Pdf-128x128 [ abstract ]
bibtex/ html
27
Pierre Genevès, Nabil Layaïda, Vincent Quint.
On the Analysis of Cascading Style Sheets.
Rapport de recherche, (RR-7808), INRIA, nov 2011.
Www-128x128
bibtex/ html
28
Pierre Genevès, Nabil Layaïda, Vojtech Knyttl.
XML Reasoning Solver User Manual.
Rapport de recherche, (RR-6726), INRIA, jun 2011.
Www-128x128
bibtex/ html
2010
29
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt.
A Tree Logic with Graded Paths and Nominals.
Research Report, (7251), INRIA, apr 2010.
Www-128x128 [ abstract ]
bibtex/ html
30
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt.
On the Count of Trees.
Rapport de recherche, (RR-7251), INRIA, aug 2010. Note: RR-7251.
bibtex/ html
2008
31
Pierre Genevès, Nabil Layaïda, Vincent Quint.
Ensuring Query Compatibility with Evolving XML Schemas.
Research Report, (6711), INRIA, nov 2008.
Www-128x128 [ abstract ]
bibtex/ html
32
Pierre Genevès, Nabil Layaïda, Alan Schmitt.
Efficient Static Analysis of XML Paths and Types.
Research Report, (6590), INRIA, jul 2008.
Www-128x128 [ abstract ]
bibtex/ html
33
Pierre Genevès, Nabil Layaïda.
XML Reasoning Solver User Manual.
Research Report, (6726), INRIA, nov 2008.
Www-128x128 [ abstract ]
bibtex/ html
34
Pierre Genevès, Nabil Layaïda.
Static Analysis of XML Programs.
ERCIM News, (72):33-34, jan 2008.
Www-128x128 [ abstract ]
bibtex/ html
2006
35
Pierre Genevès, Nabil Layaïda.
A Decision Procedure for XPath Containment.
Research Report, (5867), INRIA, mar 2006.
Pdf-128x128 [ abstract ]
bibtex/ html
2003
36
Pierre Genevès.
Langages de transformation incrémentaux.
Rapport de {DEA}, UJF, Grenoble, jun 2003.
Pdf-128x128 [ abstract ]
bibtex/ html