Luc Segoufin

2008
48	EE	Mikolaj Bojanczyk, Luc Segoufin: Tree Languages Defined in First-Order Logic with One Quantifier Alternation. ICALP (2) 2008: 233-245
47	EE	Mikolaj Bojanczyk, Luc Segoufin, Howard Straubing: Piecewise Testable Tree Languages. LICS 2008: 442-451
46	EE	Serge Abiteboul, Luc Segoufin, Victor Vianu: Static analysis of active XML systems. PODS 2008: 221-230
45	EE	Balder ten Cate, Luc Segoufin: XPath, transitive closure logic, and nested tree walking automata. PODS 2008: 251-260
2007
44	EE	Mathias Samuelides, Luc Segoufin: Complexity of Pebble Tree-Walking Automata. FCT 2007: 458-469
43	EE	Luc Segoufin, Cristina Sirangelo: Constant-Memory Validation of Streaming XML Documents Against DTDs. ICDT 2007: 299-313
42	EE	Alan Nash, Luc Segoufin, Victor Vianu: Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. ICDT 2007: 59-73
41	EE	Luc Segoufin: Static analysis of XML processing with data values. SIGMOD Record 36(1): 31-38 (2007)
2006
40	EE	Luc Segoufin: Automata and Logics for Words and Trees over an Infinite Alphabet. CSL 2006: 41-57
39	EE	Mikolaj Bojanczyk, Mathias Samuelides, Thomas Schwentick, Luc Segoufin: Expressive Power of Pebble Automata. ICALP (1) 2006: 157-168
38	EE	Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David: Two-Variable Logic on Words with Data. LICS 2006: 7-16
37	EE	Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin: Two-variable logic on data trees and XML reasoning. PODS 2006: 10-19
36	EE	Serge Abiteboul, Luc Segoufin, Victor Vianu: Representing and querying XML with incomplete information. ACM Trans. Database Syst. 31(1): 208-254 (2006)
35	EE	Anca Muscholl, Mathias Samuelides, Luc Segoufin: Complementing deterministic tree-walking automata. Inf. Process. Lett. 99(1): 33-39 (2006)
34	EE	Anca Muscholl, Thomas Schwentick, Luc Segoufin: Active Context-Free Games. Theory Comput. Syst. 39(1): 237-276 (2006)
2005
33	EE	Michael Benedikt, Luc Segoufin: Towards a Characterization of Order-Invariant Queries over Tame Structures. CSL 2005: 276-291
32	EE	Luc Segoufin, Victor Vianu: Views and queries: determinacy and rewriting. PODS 2005: 49-60
31	EE	Michael Benedikt, Luc Segoufin: Regular Tree Languages Definable in FO. STACS 2005: 327-339
30	EE	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	EE	Anca Muscholl, Thomas Schwentick, Luc Segoufin: Active Context-Free Games. STACS 2004: 452-464
28	EE	Nicole Bidoit, Sandra de Amo, Luc Segoufin: Order Independent Temporal Properties. J. Log. Comput. 14(2): 277-298 (2004)
2003
27	EE	Luc Segoufin: Typing and querying XML documents: some complexity bounds. PODS 2003: 167-178
26	EE	Stéphane Grumbach, Philippe Rigaux, Luc Segoufin: Handling Interpolated Data. Comput. J. 46(6): 664-679 (2003)
25	EE	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	EE	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	EE	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	EE	Luc Segoufin, Victor Vianu: Validating Streaming XML Documents. PODS 2002: 53-64
21	EE	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	EE	Serge Abiteboul, Luc Segoufin, Victor Vianu: Representing and Querying XML with Incomplete Information. PODS 2001
17	EE	Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin: String Operations in Query Languages. PODS 2001
16	EE	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	EE	Martin Grohe, Luc Segoufin: On First-Order Topological Queries. LICS 2000: 349-360
11	EE	Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin: Reachability and Connectivity Queries in Constraint Databases. PODS 2000: 104-115
10	EE	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	EE	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	EE	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	EE	Luc Segoufin, Victor Vianu: Querying Spatial Databases via Topological Invariants. PODS 1998: 89-98
3	EE	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	EE	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]
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]
6	Balder ten Cate	[45]
7	Claire David	[37] [38]
8	Georg Gottlob	[30]
9	Martin Grohe	[11] [12] [16] [21] [23]
10	Stéphane Grumbach	[1] [2] [3] [5] [6] [7] [8] [10] [13] [14] [15] [25] [26]
11	Christoph Koch	[30]
12	Zoé Lacroix	[14]
13	Leonid Libkin	[11] [17] [19] [23] [24]
14	Anca Muscholl	[29] [34] [35] [37] [38]
15	Alan Nash	[42]
16	Reinhard Pichler	[30]
17	Philippe Rigaux	[1] [2] [3] [5] [6] [7] [8] [10] [13] [14] [15] [25] [26]
18	Mathias Samuelides	[35] [39] [44]
19	Michel Scholl	[1] [2] [13] [25]
20	Thomas Schwentick	[16] [17] [19] [24] [29] [34] [37] [38] [39]
21	Cristina Sirangelo	[43]
22	Howard Straubing	[47]
23	Victor Vianu	[4] [9] [18] [22] [32] [36] [42] [46]

Colors in the list of coauthors