×

zbMATH — the first resource for mathematics

Segoufin, Luc

Compute Distance To:
Author ID: segoufin.luc Recent zbMATH articles by "Segoufin, Luc"
Published as: Segoufin, Luc
External Links: MGP · Wikidata
Documents Indexed: 51 Publications since 2000

Publications by Year

Citations contained in zbMATH

36 Publications have been cited 234 times in 173 Documents Cited by Year
Two-variable logic on data words. Zbl 1352.03041
Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
37
2011
Two-variable logic on data trees and XML reasoning. Zbl 1325.68078
Bojańczyk, Mikolaj; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
28
2009
Automata and logics for words and trees over an infinite alphabet. Zbl 1225.68103
Segoufin, Luc
24
2006
When is the evaluation of conjunctive queries tractable? Zbl 1323.68251
Grohe, Martin; Schwentick, Thomas; Segoufin, Luc
20
2001
Transitive closure logic, nested tree walking automata, and XPath. Zbl 1327.03024
ten Cate, Balder; Segoufin, Luc
13
2010
The complexity of XPath query evaluation and XML typing. Zbl 1317.68073
Gottlob, Georg; Koch, Christoph; Pichler, Reinhard; Segoufin, Luc
11
2005
Definable relations and first-order query languages over strings. Zbl 1325.03031
Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc
9
2003
Expressive power of pebble automata. Zbl 1223.68065
Bojańczyk, Mikołaj; Samuelides, Mathias; Schwentick, Thomas; Segoufin, Luc
8
2006
Regular tree languages definable in FO. Zbl 1118.03314
Benedikt, Michael; Segoufin, Luc
7
2005
Enumeration of monadic second-order queries on trees. Zbl 1353.68068
Kazana, Wojciech; Segoufin, Luc
6
2013
Complexity of pebble tree-walking automata. Zbl 1135.68459
Samuelides, Mathias; Segoufin, Luc
6
2007
Bottom-up automata on data trees and vertical XPath. Zbl 1230.68128
Figueira, Diego; Segoufin, Luc
5
2011
Future-looking logics on data words and trees. Zbl 1250.03050
Figueira, Diego; Segoufin, Luc
5
2009
Querying spatial databases via topological invariants. Zbl 0963.68058
Segoufin, Luc; Vianu, Victor
5
2000
\(\mathsf{FO}^2(<,+1,\sim)\) on data trees, data tree automata and branching vector addition systems. Zbl 1448.68227
Jacquemard, Florent; Segoufin, Luc; Dimino, Jérémie
4
2016
Automata based verification over linearly ordered data domains. Zbl 1230.68137
Segoufin, Luc; Toruńczyk, Szymon
4
2011
Guarded negation. Zbl 1333.68132
Bárány, Vince; ten Cate, Balder; Segoufin, Luc
4
2011
Regular tree languages definable in FO and in FO\(_{\mathrm{mod}}\). Zbl 1351.68134
Benedikt, Michael; Segoufin, Luc
4
2009
Complementing deterministic tree-walking automata. Zbl 1184.68324
Muscholl, Anca; Samuelides, Mathias; Segoufin, Luc
4
2006
Piecewise testable tree languages. Zbl 1261.03126
Bojańczyk, Mikołaj; Segoufin, Luc; Straubing, Howard
3
2012
Unary negation. Zbl 1230.03068
ten Cate, Balder; Segoufin, Luc
3
2011
Towards a characterization of order-invariant queries over tame graphs. Zbl 1161.03018
Benedikt, Michael A.; Segoufin, Luc
3
2009
Tree languages defined in first-order logic with one quantifier alternation. Zbl 1170.03019
Bojańczyk, Mikołaj; Segoufin, Luc
3
2008
Guarded negation. Zbl 1333.68133
Bárány, Vince; ten Cate, Balder; Segoufin, Luc
2
2015
Unary negation. Zbl 1285.03004
Segoufin, Luc; ten Cate, Balder
2
2013
Active context-free games. Zbl 1122.68468
Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
2
2004
Reachability and connectivity queries in constraint databases. Zbl 1026.68036
Benedikt, Michael; Grohe, Martin; Libkin, Leonid; Segoufin, Luc
2
2003
The DEDALE prototype. Zbl 0969.68692
Grumbach, Stéphane; Rigaux, Philippe; Scholl, Michel; Segoufin, Luc
2
2000
Constant delay enumeration for FO queries over databases with local bounded expansion. Zbl 1402.68052
Segoufin, Luc; Vigny, Alexandre
1
2017
Datalog rewritings of regular path queries using views. Zbl 1448.68229
Francis, Nadime; Segoufin, Luc; Sirangelo, Cristina
1
2015
Deciding definability in \(\mathrm{FO}^2(<_{\mathbf{v}},<_{\mathbf{h}})\) on trees. Zbl 1448.03025
Place, Thomas; Segoufin, Luc
1
2015
Locality from circuit lower bounds. Zbl 1273.03114
Anderson, Matthew; Van Melkebeek, Dieter; Schweikardt, Nicole; Segoufin, Luc
1
2012
A decidable characterization of locally testable tree languages. Zbl 1237.68119
Place, Thomas; Segoufin, Luc
1
2011
Active context-free games. Zbl 1122.91008
Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
1
2006
Towards a characterization of order-invariant queries over tame structures. Zbl 1136.03318
Benedikt, Michael; Segoufin, Luc
1
2005
Building a constraint-based spatial database system: Model, languages, and implementation. Zbl 1056.68072
Rigaux, Philippe; Scholl, Michel; Segoufin, Luc; Grumbach, Stéphane
1
2003
Constant delay enumeration for FO queries over databases with local bounded expansion. Zbl 1402.68052
Segoufin, Luc; Vigny, Alexandre
1
2017
\(\mathsf{FO}^2(<,+1,\sim)\) on data trees, data tree automata and branching vector addition systems. Zbl 1448.68227
Jacquemard, Florent; Segoufin, Luc; Dimino, Jérémie
4
2016
Guarded negation. Zbl 1333.68133
Bárány, Vince; ten Cate, Balder; Segoufin, Luc
2
2015
Datalog rewritings of regular path queries using views. Zbl 1448.68229
Francis, Nadime; Segoufin, Luc; Sirangelo, Cristina
1
2015
Deciding definability in \(\mathrm{FO}^2(<_{\mathbf{v}},<_{\mathbf{h}})\) on trees. Zbl 1448.03025
Place, Thomas; Segoufin, Luc
1
2015
Enumeration of monadic second-order queries on trees. Zbl 1353.68068
Kazana, Wojciech; Segoufin, Luc
6
2013
Unary negation. Zbl 1285.03004
Segoufin, Luc; ten Cate, Balder
2
2013
Piecewise testable tree languages. Zbl 1261.03126
Bojańczyk, Mikołaj; Segoufin, Luc; Straubing, Howard
3
2012
Locality from circuit lower bounds. Zbl 1273.03114
Anderson, Matthew; Van Melkebeek, Dieter; Schweikardt, Nicole; Segoufin, Luc
1
2012
Two-variable logic on data words. Zbl 1352.03041
Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
37
2011
Bottom-up automata on data trees and vertical XPath. Zbl 1230.68128
Figueira, Diego; Segoufin, Luc
5
2011
Automata based verification over linearly ordered data domains. Zbl 1230.68137
Segoufin, Luc; Toruńczyk, Szymon
4
2011
Guarded negation. Zbl 1333.68132
Bárány, Vince; ten Cate, Balder; Segoufin, Luc
4
2011
Unary negation. Zbl 1230.03068
ten Cate, Balder; Segoufin, Luc
3
2011
A decidable characterization of locally testable tree languages. Zbl 1237.68119
Place, Thomas; Segoufin, Luc
1
2011
Transitive closure logic, nested tree walking automata, and XPath. Zbl 1327.03024
ten Cate, Balder; Segoufin, Luc
13
2010
Two-variable logic on data trees and XML reasoning. Zbl 1325.68078
Bojańczyk, Mikolaj; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
28
2009
Future-looking logics on data words and trees. Zbl 1250.03050
Figueira, Diego; Segoufin, Luc
5
2009
Regular tree languages definable in FO and in FO\(_{\mathrm{mod}}\). Zbl 1351.68134
Benedikt, Michael; Segoufin, Luc
4
2009
Towards a characterization of order-invariant queries over tame graphs. Zbl 1161.03018
Benedikt, Michael A.; Segoufin, Luc
3
2009
Tree languages defined in first-order logic with one quantifier alternation. Zbl 1170.03019
Bojańczyk, Mikołaj; Segoufin, Luc
3
2008
Complexity of pebble tree-walking automata. Zbl 1135.68459
Samuelides, Mathias; Segoufin, Luc
6
2007
Automata and logics for words and trees over an infinite alphabet. Zbl 1225.68103
Segoufin, Luc
24
2006
Expressive power of pebble automata. Zbl 1223.68065
Bojańczyk, Mikołaj; Samuelides, Mathias; Schwentick, Thomas; Segoufin, Luc
8
2006
Complementing deterministic tree-walking automata. Zbl 1184.68324
Muscholl, Anca; Samuelides, Mathias; Segoufin, Luc
4
2006
Active context-free games. Zbl 1122.91008
Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
1
2006
The complexity of XPath query evaluation and XML typing. Zbl 1317.68073
Gottlob, Georg; Koch, Christoph; Pichler, Reinhard; Segoufin, Luc
11
2005
Regular tree languages definable in FO. Zbl 1118.03314
Benedikt, Michael; Segoufin, Luc
7
2005
Towards a characterization of order-invariant queries over tame structures. Zbl 1136.03318
Benedikt, Michael; Segoufin, Luc
1
2005
Active context-free games. Zbl 1122.68468
Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
2
2004
Definable relations and first-order query languages over strings. Zbl 1325.03031
Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc
9
2003
Reachability and connectivity queries in constraint databases. Zbl 1026.68036
Benedikt, Michael; Grohe, Martin; Libkin, Leonid; Segoufin, Luc
2
2003
Building a constraint-based spatial database system: Model, languages, and implementation. Zbl 1056.68072
Rigaux, Philippe; Scholl, Michel; Segoufin, Luc; Grumbach, Stéphane
1
2003
When is the evaluation of conjunctive queries tractable? Zbl 1323.68251
Grohe, Martin; Schwentick, Thomas; Segoufin, Luc
20
2001
Querying spatial databases via topological invariants. Zbl 0963.68058
Segoufin, Luc; Vianu, Victor
5
2000
The DEDALE prototype. Zbl 0969.68692
Grumbach, Stéphane; Rigaux, Philippe; Scholl, Michel; Segoufin, Luc
2
2000
all top 5

Cited by 276 Authors

8 Schwentick, Thomas
7 Segoufin, Luc
6 Benedikt, Michael A.
6 Demri, Stéphane P.
6 Libkin, Leonid O.
5 Bollig, Benedikt
5 ten Cate, Balder David
4 Björklund, Henrik
4 Gastin, Paul
4 Héam, Pierre-Cyrille
4 Lazić, Ranko
4 Lohrey, Markus
4 Martens, Wim
4 Scarcello, Francesco
4 Schmitz, Sylvain
4 Tan, Tony
3 Abriola, Sergio
3 Alur, Rajeev
3 Bárány, Vince
3 Bojańczyk, Mikołaj
3 Bourhis, Pierre
3 Charatonik, Witold
3 Choffrut, Christian
3 Engelfriet, Joost
3 Figueira, Diego
3 Figueira, Santiago
3 Gottlob, Georg
3 Greco, Gianluigi
3 Grigorieff, Serge
3 Hugot, Vincent
3 Kieroński, Emanuel
3 Kuske, Dietrich
3 Murawski, Andrzej S.
3 Niehren, Joachim
3 Ossona de Mendez, Patrice
3 Schweikardt, Nicole
2 Abiteboul, Serge
2 Amarilli, Antoine
2 Babari, Parvaneh
2 Barceló, Pablo
2 Chen, Hubie
2 Courcelle, Bruno
2 Dalmau, Víctor
2 David, Claire
2 Decker, Normann
2 Descotte, María Emilia
2 Deters, Morgan
2 Droste, Manfred
2 Durand, Arnaud
2 Ésik, Zoltán
2 Fervari, Raul
2 Fisman, Dana
2 Geerts, Floris
2 Grohe, Martin
2 Gyssens, Marc
2 Kara, Ahmet
2 Kouchnarenko, Olga
2 Kuper, Gabriel M.
2 Leone, Nicola
2 Maneth, Sebastian
2 Manuel, Amaldev
2 Mengel, Stefan
2 Michaliszyn, Jakub
2 Monmege, Benjamin
2 Montanari, Angelo
2 Murlak, Filip
2 Nešetřil, Jaroslav
2 Nicaud, Cyril
2 Otop, Jan
2 Pazzaglia, Marco
2 Perevoshchikov, Vitaly
2 Raghothaman, Mukund
2 Ramanan, Prakash V.
2 Roos, Yves
2 Sala, Pietro
2 Senellart, Pierre
2 Thoma, Daniel
2 Thomas, Wolfgang
2 Tzevelekos, Nikos
2 Van Gucht, Dirk
2 Vanden Boom, Michael
2 Veanes, Margus
2 Vianu, Victor
2 Vrgoč, Domagoj
2 Walukiewicz, Igor
2 Weber, Volker
2 Wu, Zhilin
1 Aiswarya, Cyriac
1 Alemandros-Jiménez, Jesús M.
1 Amano, Shun’ichi
1 Anderson, Matthew W.
1 Antonopoulos, Timos
1 Areces, Carlos
1 Arenas, Marcelo
1 Ba, Mouhamadou Lamine
1 Bárcenas, Everardo
1 Bartoletti, Massimo
1 Becerra-Terón, Antonio
1 Bednarczyk, Bartosz
1 Benaim, Saguy
...and 176 more Authors

Citations by Year

Wikidata Timeline