| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin |
Locality from Circuit Lower Bounds.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Place, Luc Segoufin |
A decidable characterization of locally testable tree languages |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Kazana, Luc Segoufin |
First-order query evaluation on structures of bounded degree |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Abiteboul, Alin Deutsch, Thomas Schwentick, Luc Segoufin |
Foundations of distributed data management (Dagstuhl Seminar 11421). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Two-variable logic on data words. |
ACM Trans. Comput. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin |
Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vince Bárány, Balder ten Cate, Luc Segoufin |
Guarded Negation. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Segoufin, Szymon Torunczyk |
Automata based verification over linearly ordered data domains. |
STACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Balder ten Cate, Luc Segoufin |
Unary negation. |
STACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira, Luc Segoufin |
Bottom-up automata on data trees and vertical XPath. |
STACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Nash, Luc Segoufin, Victor Vianu |
Views and queries: Determinacy and rewriting. |
ACM Trans. Database Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Balder ten Cate, Luc Segoufin |
Transitive closure logic, nested tree walking automata, and XPath. |
J. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Luc Segoufin |
Tree Languages Defined in First-Order Logic with One Quantifier Alternation |
Logical Methods in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Segoufin (eds.) |
Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings |
ICDT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nicole Schweikardt, Luc Segoufin |
Addition-Invariant FO and Regularity. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
bounded languages, Logic, automata |
| 1 | Thomas Place, Luc Segoufin |
Deciding Definability in FO2(<) (or XPath) on Trees. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Trees, Logic, Xpath, Automata |
| 1 | Serge Abiteboul, Luc Segoufin, Victor Vianu |
Static analysis of active XML systems. |
ACM Trans. Database Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Abiteboul, Luc Segoufin, Victor Vianu |
Modeling and Verifying Active XML Artifacts. |
IEEE Data Eng. Bull. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Luc Segoufin |
Towards a characterization of order-invariant queries over tame graphs. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Two-variable logic on data trees and XML reasoning. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
XML, consistency, Integrity constraints, DTDs, implications |
| 1 | Michael Benedikt, Luc Segoufin |
Regular tree languages definable in FO and in FOmod. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Place, Luc Segoufin |
A Decidable Characterization of Locally Testable Tree Languages. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira, Luc Segoufin |
Future-Looking Logics on Data Words and Trees. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Luc Segoufin |
Tree Languages Defined in First-Order Logic with One Quantifier Alternation. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Luc Segoufin, Howard Straubing |
Piecewise Testable Tree Languages. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
logic, algebra, tree automata |
| 1 | Balder ten Cate, Luc Segoufin |
XPath, transitive closure logic, and nested tree walking automata. |
PODS |
2008 |
DBLP DOI BibTeX RDF |
tree walking automata, xpath, xml, transitive closure |
| 1 | Serge Abiteboul, Luc Segoufin, Victor Vianu |
Static analysis of active XML systems. |
PODS |
2008 |
DBLP DOI BibTeX RDF |
active xml, automatic verification, temporal properties |
| 1 | Luc Segoufin |
Static analysis of XML processing with data values. |
SIGMOD Record |
2007 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Mathias Samuelides, Luc Segoufin |
Complexity of Pebble Tree-Walking Automata. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Nash, Luc Segoufin, Victor Vianu |
Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Segoufin, Cristina Sirangelo |
Constant-Memory Validation of Streaming XML Documents Against DTDs. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Mathias Samuelides, Luc Segoufin |
Complementing deterministic tree-walking automata. |
Inf. Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Abiteboul, Luc Segoufin, Victor Vianu |
Representing and querying XML with incomplete information. |
ACM Trans. Database Syst. |
2006 |
DBLP DOI BibTeX RDF |
XML, Incomplete information |
| 1 | Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Active Context-Free Games. |
Theory Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Mathias Samuelides, Thomas Schwentick, Luc Segoufin |
Expressive Power of Pebble Automata. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David |
Two-Variable Logic on Words with Data. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Segoufin |
Automata and Logics for Words and Trees over an Infinite Alphabet. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Two-variable logic on data trees and XML reasoning. |
PODS |
2006 |
DBLP DOI BibTeX RDF |
data trees, first-order logic, decidability |
| 1 | Georg Gottlob, Christoph Koch, Reinhard Pichler, Luc Segoufin |
The complexity of XPath query evaluation and XML typing. |
J. ACM |
2005 |
DBLP DOI BibTeX RDF |
LOGCFL, XML, Complexity, XPath, DTD |
| 1 | Michael Benedikt, Luc Segoufin |
Regular Tree Languages Definable in FO. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
Logic, Tree automata |
| 1 | Michael Benedikt, Luc Segoufin |
Towards a Characterization of Order-Invariant Queries over Tame Structures. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Segoufin, Victor Vianu |
Views and queries: determinacy and rewriting. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Bidoit, Sandra de Amo, Luc Segoufin |
Order Independent Temporal Properties. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Thomas Schwentick, Luc Segoufin |
Active Context-Free Games. |
STACS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
Definable relations and first-order query languages over strings. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
first-order definability, query languages, Strings, expressive power, quantifier elimination |
| 1 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
Handling Interpolated Data. |
Comput. J. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Rigaux, Michel Scholl, Luc Segoufin, Stéphane Grumbach |
Building a constraint-based spatial database system: model, languages, and implementation. |
Inf. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin |
Reachability and connectivity queries in constraint databases. |
J. Comput. Syst. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Segoufin |
Typing and querying XML documents: some complexity bounds. |
PODS |
2003 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Martin Grohe, Luc Segoufin |
On first-order topological queries. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
topological queries, first-order logic, Constraint databases |
| 1 | Luc Segoufin, Victor Vianu |
Validating Streaming XML Documents. (PDF / PS) |
PODS |
2002 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
Spatio-Temporal Data Handling with Constraints. |
GeoInformatica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicole Bidoit, Sandra de Amo, Luc Segoufin |
Propriétés temporelles indépendantes de l'ordre. |
BDA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
A Model-Theoretic Approach to Regular String Relations. |
LICS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin |
String Operations in Query Languages. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Abiteboul, Luc Segoufin, Victor Vianu |
Representing and Querying XML with Incomplete Information. (PDF / PS) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, Thomas Schwentick, Luc Segoufin |
When is the evaluation of conjunctive queries tractable? |
STOC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Segoufin, Victor Vianu |
Querying Spatial Databases via Topological Invariants. |
J. Comput. Syst. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin |
The DEDALE Prototype. |
Constraint Databases |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Zoé Lacroix, Philippe Rigaux, Luc Segoufin |
Optimization Techniques. |
Constraint Databases |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
Manipulating Interpolated Data is Easier than You Thought. |
VLDB |
2000 |
DBLP BibTeX RDF |
|
| 1 | Martin Grohe, Luc Segoufin |
On First-Order Topological Queries. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
First-order, topology, spatial database, invariance |
| 1 | Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin |
Reachability and Connectivity Queries in Constraint Databases. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
On the Orthographic Dimension of Constraint Databases. |
ICDT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
The DEDALE System for Complex Spatial Queries. |
SIGMOD Conference |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Luc Segoufin, Philippe Rigaux |
Efficient multi-dimensional data handling in constraint databases. |
BDA |
1998 |
DBLP BibTeX RDF |
|
| 1 | Luc Segoufin, Victor Vianu |
Querying Spatial Databases via Topological Invariants. |
PODS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
Spatio-Temporal Data Handling with Constraints. |
ACM-GIS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin |
DEDALE, A Spatial Constraint Database. |
BDA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin |
DEDALE, A Spatial Constraint Database. |
DBPL |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")