Pierre Genevès

	2012
24		Pierre Genevès, Nabil Layaïda, Vincent Quint: On the analysis of cascading style sheets. WWW 2012: 809-818
	2011
23		Nils Gesbert, Pierre Genevès, Nabil Layaïda: Parametric polymorphism and semantic subtyping: the logical connection. ICFP 2011: 107-116
22		Pierre Genevès, Nabil Layaïda: Inconsistent path detection for XML IDEs. ICSE 2011: 983-985
21		Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt: Query Reasoning on Trees with Types, Interleaving, and Counting. IJCAI 2011: 718-723
20		Pierre Genevès, Nabil Layaïda, Vincent Quint: Impact of XML Schema Evolution. ACM Trans. Internet Techn. 11(1): 4 (2011)
	2010
19		Pierre Genevès, Nabil Layaïda: XML reasoning made practical. ICDE 2010: 1169-1172
18		Pierre Genevès, Nabil Layaïda: Eliminating dead-code from XQuery programs. ICSE (2) 2010: 305-306
17		Nabil Layaïda, Pierre Genevès: Debugging standard document formats. WWW 2010: 1269-1272
16		Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt: A Tree Logic with Graded Paths and Nominals CoRR abs/1005.5623: (2010)
15		Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt: On the Count of Trees CoRR abs/1008.5073: (2010)
	2009
14		Everardo Bárcenas, Pierre Genevès, Nabil Layaïda: On the analysis of queries with counting constraints. ACM Symposium on Document Engineering 2009: 21-24
13		Pierre Genevès, Nabil Layaïda, Vincent Quint: Identifying query incompatibilities with evolving XML schemas. ICFP 2009: 221-230
	2008
12		Pierre Genevès: Logics for XML CoRR abs/0810.4460: (2008)
11		Pierre Genevès, Nabil Layaïda, Vincent Quint: Ensuring Query Compatibility with Evolving XML Schemas CoRR abs/0811.4324: (2008)
10		Pierre Genevès, Nabil Layaïda: XML Static Analyzer User Manual CoRR abs/0812.3550: (2008)
9		Pierre Genevès, Nabil Layaïda: Static Analysis of XML Programs. ERCIM News 2008(72): (2008)
	2007
8		Pierre Genevès, Nabil Layaïda, Alan Schmitt: XPath Typing Using a Modal Logic with Converse for Finite Trees. PLAN-X 2007: 61-72
7		Pierre Genevès, Nabil Layaïda, Alan Schmitt: Efficient static analysis of XML paths and types. PLDI 2007: 342-351
6		Pierre Genevès, Nabil Layaïda: Deciding XPath containment with MSO. Data Knowl. Eng. 63(1): 108-136 (2007)
	2006
5		Pierre Genevès, Nabil Layaïda: Comparing XML path expressions. ACM Symposium on Document Engineering 2006: 65-74
4		Pierre Genevès, Nabil Layaïda: A system for the static analysis of XPath. ACM Trans. Inf. Syst. 24(4): 475-502 (2006)
	2005
3		Pierre Genevès, Kristoffer Høgsbro Rose: Compiling XPath for streaming access policy. ACM Symposium on Document Engineering 2005: 52-54
	2004
2		Pierre Genevès, Jean-Yves Vion-Dury: Logic-based XPath optimization. ACM Symposium on Document Engineering 2004: 211-219
1		Pierre Genevès: Improving Efficiency of XPath-Based XML Querying. IFIP Student Forum 2004: 143-154

Coauthor Index

1	Everardo Bárcenas	[14] [15] [16] [21]
2	Nils Gesbert	[23]
3	Nabil Layaïda	[4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24]
4	Vincent Quint	[11] [13] [20] [24]
5	Kristoffer Høgsbro Rose	[3]
6	Alan Schmitt	[7] [8] [15] [16] [21]
7	Jean-Yves Vion-Dury	[2]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page