Luc Segoufin

	2009
53		Thomas Place, Luc Segoufin: A Decidable Characterization of Locally Testable Tree Languages. ICALP (2) 2009: 285-296
52		Diego Figueira, Luc Segoufin: Future-Looking Logics on Data Words and Trees. MFCS 2009: 331-343
51		Serge Abiteboul, Luc Segoufin, Victor Vianu: Static analysis of active XML systems. ACM Trans. Database Syst. 34(4): (2009)
50		Serge Abiteboul, Luc Segoufin, Victor Vianu: Modeling and Verifying Active XML Artifacts. IEEE Data Eng. Bull. 32(3): 10-15 (2009)
49		Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin: Two-variable logic on data trees and XML reasoning. J. ACM 56(3): (2009)
	2008
48		Mikolaj Bojanczyk, Luc Segoufin: Tree Languages Defined in First-Order Logic with One Quantifier Alternation. ICALP (2) 2008: 233-245
47		Mikolaj Bojanczyk, Luc Segoufin, Howard Straubing: Piecewise Testable Tree Languages. LICS 2008: 442-451
46		Serge Abiteboul, Luc Segoufin, Victor Vianu: Static analysis of active XML systems. PODS 2008: 221-230
45		Balder ten Cate, Luc Segoufin: XPath, transitive closure logic, and nested tree walking automata. PODS 2008: 251-260
	2007
44		Mathias Samuelides, Luc Segoufin: Complexity of Pebble Tree-Walking Automata. FCT 2007: 458-469
43		Luc Segoufin, Cristina Sirangelo: Constant-Memory Validation of Streaming XML Documents Against DTDs. ICDT 2007: 299-313
42		Alan Nash, Luc Segoufin, Victor Vianu: Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. ICDT 2007: 59-73
41		Luc Segoufin: Static analysis of XML processing with data values. SIGMOD Record 36(1): 31-38 (2007)
	2006
40		Luc Segoufin: Automata and Logics for Words and Trees over an Infinite Alphabet. CSL 2006: 41-57
39		Mikolaj Bojanczyk, Mathias Samuelides, Thomas Schwentick, Luc Segoufin: Expressive Power of Pebble Automata. ICALP (1) 2006: 157-168
38		Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David: Two-Variable Logic on Words with Data. LICS 2006: 7-16
37		Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin: Two-variable logic on data trees and XML reasoning. PODS 2006: 10-19
36		Serge Abiteboul, Luc Segoufin, Victor Vianu: Representing and querying XML with incomplete information. ACM Trans. Database Syst. 31(1): 208-254 (2006)
35		Anca Muscholl, Mathias Samuelides, Luc Segoufin: Complementing deterministic tree-walking automata. Inf. Process. Lett. 99(1): 33-39 (2006)
34		Anca Muscholl, Thomas Schwentick, Luc Segoufin: Active Context-Free Games. Theory Comput. Syst. 39(1): 237-276 (2006)
	2005
33		Michael Benedikt, Luc Segoufin: Towards a Characterization of Order-Invariant Queries over Tame Structures. CSL 2005: 276-291
32		Luc Segoufin, Victor Vianu: Views and queries: determinacy and rewriting. PODS 2005: 49-60
31		Michael Benedikt, Luc Segoufin: Regular Tree Languages Definable in FO. STACS 2005: 327-339
30		Georg Gottlob, Christoph Koch, Reinhard Pichler, Luc Segoufin: The complexity of XPath query evaluation and XML typing. J. ACM 52(2): 284-335 (2005)
	2004
29		Anca Muscholl, Thomas Schwentick, Luc Segoufin: Active Context-Free Games. STACS 2004: 452-464
28		Nicole Bidoit, Sandra de Amo, Luc Segoufin: Order Independent Temporal Properties. J. Log. Comput. 14(2): 277-298 (2004)
	2003
27		Luc Segoufin: Typing and querying XML documents: some complexity bounds. PODS 2003: 167-178
26		Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Handling Interpolated Data. Comput. J. 46(6): 664-679 (2003)
25		Philippe Rigaux, Michel Scholl, Luc Segoufin, Stéphane Grumbach: Building a constraint-based spatial database system: model, languages, and implementation. Inf. Syst. 28(6): 563-595 (2003)
24		Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin: Definable relations and first-order query languages over strings. J. ACM 50(5): 694-751 (2003)
23		Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin: Reachability and connectivity queries in constraint databases. J. Comput. Syst. Sci. 66(1): 169-206 (2003)
	2002
22		Luc Segoufin, Victor Vianu: Validating Streaming XML Documents. PODS 2002: 53-64
21		Martin Grohe, Luc Segoufin: On first-order topological queries. ACM Trans. Comput. Log. 3(3): 336-358 (2002)
	2001
20		Nicole Bidoit, Sandra de Amo, Luc Segoufin: Propriétés temporelles indépendantes de l'ordre. BDA 2001
19		Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin: A Model-Theoretic Approach to Regular String Relations. LICS 2001: 431-
18		Serge Abiteboul, Luc Segoufin, Victor Vianu: Representing and Querying XML with Incomplete Information. PODS 2001
17		Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin: String Operations in Query Languages. PODS 2001
16		Martin Grohe, Thomas Schwentick, Luc Segoufin: When is the evaluation of conjunctive queries tractable? STOC 2001: 657-666
15		Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Spatio-Temporal Data Handling with Constraints. GeoInformatica 5(1): 95-115 (2001)
	2000
14		Stéphane Grumbach, Zoé Lacroix, Philippe Rigaux, Luc Segoufin: Optimization Techniques. Constraint Databases 2000: 319-334
13		Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin: The DEDALE Prototype. Constraint Databases 2000: 365-382
12		Martin Grohe, Luc Segoufin: On First-Order Topological Queries. LICS 2000: 349-360
11		Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin: Reachability and Connectivity Queries in Constraint Databases. PODS 2000: 104-115
10		Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Manipulating Interpolated Data is Easier than You Thought. VLDB 2000: 156-165
9		Luc Segoufin, Victor Vianu: Querying Spatial Databases via Topological Invariants. J. Comput. Syst. Sci. 61(2): 270-301 (2000)
	1999
8		Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: On the Orthographic Dimension of Constraint Databases. ICDT 1999: 199-216
7		Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Modeling and Querying Interpolated Spatial Data. Proc. 15èmes Journées Bases de Données Avancées, BDA 1999: 469-487
	1998
6		Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Spatio-Temporal Data Handling with Constraints. ACM-GIS 1998: 106-111
5		Stéphane Grumbach, Luc Segoufin, Philippe Rigaux: Efficient multi-dimensional data handling in constraint databases. BDA 1998
4		Luc Segoufin, Victor Vianu: Querying Spatial Databases via Topological Invariants. PODS 1998: 89-98
3		Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: The DEDALE System for Complex Spatial Queries. SIGMOD Conference 1998: 213-224
	1997
2		Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin: DEDALE, A Spatial Constraint Database. BDA 1997
1		Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin: DEDALE, A Spatial Constraint Database. DBPL 1997: 38-59

Coauthor Index

1	Serge Abiteboul	[18] [36] [46] [50] [51]
2	Sandra de Amo	[20] [28]
3	Michael Benedikt	[11] [17] [19] [23] [24] [31] [33]
4	Nicole Bidoit (Nicole Bidoit-Tollu)	[20] [28]
5	Mikolaj Bojanczyk	[37] [38] [39] [47] [48] [49]
6	Balder ten Cate	[45]
7	Claire David	[37] [38]
8	Diego Figueira	[52]
9	Georg Gottlob	[30]
10	Martin Grohe	[11] [12] [16] [21] [23]
11	Stéphane Grumbach	[1] [2] [3] [5] [6] [7] [8] [10] [13] [14] [15] [25] [26]
12	Christoph Koch	[30]
13	Zoé Lacroix	[14]
14	Leonid Libkin	[11] [17] [19] [23] [24]
15	Anca Muscholl	[29] [34] [35] [37] [38] [49]
16	Alan Nash	[42]
17	Reinhard Pichler	[30]
18	Thomas Place	[53]
19	Philippe Rigaux	[1] [2] [3] [5] [6] [7] [8] [10] [13] [14] [15] [25] [26]
20	Mathias Samuelides	[35] [39] [44]
21	Michel Scholl	[1] [2] [13] [25]
22	Thomas Schwentick	[16] [17] [19] [24] [29] [34] [37] [38] [39] [49]
23	Cristina Sirangelo	[43]
24	Howard Straubing	[47]
25	Victor Vianu	[4] [9] [18] [22] [32] [36] [42] [46] [50] [51]

Colors in the list of coauthors