Luc Segoufin

	2011
71		Vince Bárány, Balder ten Cate, Luc Segoufin: Guarded Negation. ICALP (2) 2011: 356-367
70		Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin: Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates. ICALP (2) 2011: 368-379
69		Balder ten Cate, Luc Segoufin: Unary negation. STACS 2011: 344-355
68		Luc Segoufin, Szymon Torunczyk: Automata based verification over linearly ordered data domains. STACS 2011: 81-92
67		Diego Figueira, Luc Segoufin: Bottom-up automata on data trees and vertical XPath. STACS 2011: 93-104
66		Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin: Two-variable logic on data words. ACM Trans. Comput. Log. 12(4): 27 (2011)
65		Serge Abiteboul, Alin Deutsch, Thomas Schwentick, Luc Segoufin: Foundations of distributed data management (Dagstuhl Seminar 11421). Dagstuhl Reports 1(10): 37-57 (2011)
64		Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin: Locality from Circuit Lower Bounds. Electronic Colloquium on Computational Complexity (ECCC) 18: 158 (2011)
63		Wojciech Kazana, Luc Segoufin: First-order query evaluation on structures of bounded degree Logical Methods in Computer Science 7(2): (2011)
62		Thomas Place, Luc Segoufin: A decidable characterization of locally testable tree languages Logical Methods in Computer Science 7(4): (2011)
	2010
61		Luc Segoufin: Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings ACM 2010
60		Thomas Place, Luc Segoufin: Deciding Definability in FO2(<) (or XPath) on Trees. LICS 2010: 253-262
59		Nicole Schweikardt, Luc Segoufin: Addition-Invariant FO and Regularity. LICS 2010: 273-282
58		Alan Nash, Luc Segoufin, Victor Vianu: Views and queries: Determinacy and rewriting. ACM Trans. Database Syst. 35(3): (2010)
57		Balder ten Cate, Luc Segoufin: Transitive closure logic, nested tree walking automata, and XPath. J. ACM 57(3): (2010)
56		Mikolaj Bojanczyk, Luc Segoufin: Tree Languages Defined in First-Order Logic with One Quantifier Alternation Logical Methods in Computer Science 6(4): (2010)
	2009
55		Thomas Place, Luc Segoufin: A Decidable Characterization of Locally Testable Tree Languages. ICALP (2) 2009: 285-296
54		Diego Figueira, Luc Segoufin: Future-Looking Logics on Data Words and Trees. MFCS 2009: 331-343
53		Michael Benedikt, Luc Segoufin: Regular tree languages definable in FO and in FOmod. ACM Trans. Comput. Log. 11(1): (2009)
52		Serge Abiteboul, Luc Segoufin, Victor Vianu: Static analysis of active XML systems. ACM Trans. Database Syst. 34(4): (2009)
51		Serge Abiteboul, Luc Segoufin, Victor Vianu: Modeling and Verifying Active XML Artifacts. IEEE Data Eng. Bull. 32(3): 10-15 (2009)
50		Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin: Two-variable logic on data trees and XML reasoning. J. ACM 56(3): (2009)
49		Michael Benedikt, Luc Segoufin: Towards a characterization of order-invariant queries over tame graphs. J. Symb. Log. 74(1): 168-186 (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-440
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] [51] [52] [65]
2	Sandra de Amo	[20] [28]
3	Matthew Anderson	[64] [70]
4	Vince Bárány	[71]
5	Michael Benedikt	[11] [17] [19] [23] [24] [31] [33] [49] [53]
6	Nicole Bidoit (Nicole Bidoit-Tollu)	[20] [28]
7	Mikolaj Bojanczyk	[37] [38] [39] [47] [48] [50] [56] [66]
8	Balder ten Cate	[45] [57] [69] [71]
9	Claire David	[37] [38] [66]
10	Alin Deutsch	[65]
11	Diego Figueira	[54] [67]
12	Georg Gottlob	[30]
13	Martin Grohe	[11] [12] [16] [21] [23]
14	Stéphane Grumbach	[1] [2] [3] [5] [6] [7] [8] [10] [13] [14] [15] [25] [26]
15	Wojciech Kazana	[63]
16	Christoph Koch	[30]
17	Zoé Lacroix	[14]
18	Leonid Libkin	[11] [17] [19] [23] [24]
19	Dieter van Melkebeek	[64] [70]
20	Anca Muscholl	[29] [34] [35] [37] [38] [50] [66]
21	Alan Nash	[42] [58]
22	Reinhard Pichler	[30]
23	Thomas Place	[55] [60] [62]
24	Philippe Rigaux	[1] [2] [3] [5] [6] [7] [8] [10] [13] [14] [15] [25] [26]
25	Mathias Samuelides	[35] [39] [44]
26	Michel Scholl	[1] [2] [13] [25]
27	Nicole Schweikardt	[59] [64] [70]
28	Thomas Schwentick	[16] [17] [19] [24] [29] [34] [37] [38] [39] [50] [65] [66]
29	Cristina Sirangelo	[43]
30	Howard Straubing	[47]
31	Szymon Torunczyk	[68]
32	Victor Vianu	[4] [9] [18] [22] [32] [36] [42] [46] [51] [52] [58]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page