BibSLEIGH — Luc

Travelled to:

1 × Canada
1 × Egypt
1 × Hungary
1 × Iceland
1 × Italy
1 × Switzerland
14 × USA
2 × Greece
2 × United Kingdom

Collaborated with:

V.Vianu M.Bojanczyk T.Schwentick M.Benedikt N.Schweikardt M.Grohe T.Place ∅ B.t.Cate L.Libkin S.Abiteboul S.Grumbach P.Rigaux W.Kazana J.Grange A.Muscholl C.David A.Durand S.Torunczyk V.Bárány H.Straubing M.Anderson D.v.Melkebeek M.Samuelides

Talks about:

queri (13) order (8) tree (8) logic (7) first (6) invari (5) xml (5) languag (4) databas (4) automata (3)

Person: Luc Segoufin

DBLP: Segoufin:Luc

Contributed to:

2014

2013

2011

2010

2009

2008

2006

2005

2003

2002

2001

2000

1998

2020

Wrote 30 papers:

PODS-2014-DurandSS #database #first-order #query: Enumerating answers to first-order queries over databases of low degree (AD, NS, LS), pp. 121–131.
PODS-2013-BojanczykST #verification: Verification of database-driven systems via amalgamation (MB, LS, ST), pp. 63–74.
PODS-2013-KazanaS #bound #first-order #query: Enumeration of first-order queries on classes of structures with bounded expansion (WK, LS), pp. 297–308.
ICALP-v2-2011-AndersonMSS #first-order #invariant #locality #logic #query: Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (MA, DvM, NS, LS), pp. 368–379.
ICALP-v2-2011-BaranyCS: Guarded Negation (VB, BtC, LS), pp. 356–367.
LICS-2010-PlaceS #xpath: Deciding Definability in FO2(<) (or XPath) on Trees (TP, LS), pp. 253–262.
LICS-2010-SchweikardtS #invariant: Addition-Invariant FO and Regularity (NS, LS), pp. 273–282.
ICALP-v2-2009-PlaceS #decidability: A Decidable Characterization of Locally Testable Tree Languages (TP, LS), pp. 285–296.
ICALP-B-2008-BojanczykS #first-order #logic #quantifier: Tree Languages Defined in First-Order Logic with One Quantifier Alternation (MB, LS), pp. 233–245.
LICS-2008-BojanczykSS: Piecewise Testable Tree Languages (MB, LS, HS), pp. 442–451.
PODS-2008-AbiteboulSV #static analysis #xml: Static analysis of active XML systems (SA, LS, VV), pp. 221–230.
PODS-2008-CateS #automaton #logic #transitive #xpath: XPath, transitive closure logic, and nested tree walking automata (BtC, LS), pp. 251–260.
CSL-2006-Segoufin #automaton #infinity #logic #word: Automata and Logics for Words and Trees over an Infinite Alphabet (LS), pp. 41–57.
ICALP-v1-2006-BojanczykSSS #automaton #power of: Expressive Power of Pebble Automata (MB, MS, TS, LS), pp. 157–168.
LICS-2006-BojanczykMSSD #logic #word: Two-Variable Logic on Words with Data (MB, AM, TS, LS, CD), pp. 7–16.
PODS-2006-BojanczykDMSS #logic #reasoning #xml: Two-variable logic on data trees and XML reasoning (MB, CD, AM, TS, LS), pp. 10–19.
CSL-2005-BenediktS #invariant #query #towards: Towards a Characterization of Order-Invariant Queries over Tame Structures (MB, LS), pp. 276–291.
PODS-2005-SegoufinV #query: Views and queries: determinacy and rewriting (LS, VV), pp. 49–60.
PODS-2003-Segoufin #bound #complexity #documentation #query #type system #xml: Typing and querying XML documents: some complexity bounds (LS), pp. 167–178.
PODS-2002-SegoufinV #documentation #streaming #validation #xml: Validating Streaming XML Documents (LS, VV), pp. 53–64.
LICS-2001-BenediktLSS #approach #string: A Model-Theoretic Approach to Regular String Relations (MB, LL, TS, LS), pp. 431–440.
PODS-2001-AbiteboulSV #query #representation #xml: Representing and Querying XML with Incomplete Information (SA, LS, VV).
PODS-2001-BenediktLSS #query #string: String Operations in Query Languages (MB, LL, TS, LS).
STOC-2001-GroheSS #evaluation #query #question: When is the evaluation of conjunctive queries tractable? (MG, TS, LS), pp. 657–666.
LICS-2000-GroheS #first-order #on the #query: On First-Order Topological Queries (MG, LS), pp. 349–360.
PODS-2000-BenediktGLS #constraints #database #query #reachability: Reachability and Connectivity Queries in Constraint Databases (MB, MG, LL, LS), pp. 104–115.
VLDB-2000-GrumbachRS: Manipulating Interpolated Data is Easier than You Thought (SG, PR, LS), pp. 156–165.
PODS-1998-SegoufinV #database #invariant #query: Querying Spatial Databases via Topological Invariants (LS, VV), pp. 89–98.
SIGMOD-1998-GrumbachRS #query: The DEDALE System for Complex Spatial Queries (SG, PR, LS), pp. 213–224.
CSL-2020-GrangeS #first-order #invariant #logic: Order-Invariant First-Order Logic over Hollow Trees (JG, LS), p. 16.