Luc Segoufin Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)