Edit Profile Segoufin, Luc Compute Distance To: Compute Author ID: segoufin.luc Published as: Segoufin, Luc External Links: MGP · Wikidata Documents Indexed: 51 Publications since 2000 all top 5 Co-Authors 3 single-authored 7 Schwentick, Thomas 6 Benedikt, Michael A. 6 Bojańczyk, Mikołaj 5 Grumbach, Stéphane 5 Muscholl, Anca 5 Rigaux, Philippe 5 ten Cate, Balder David 3 Figueira, Diego 3 Grohe, Martin 3 Place, Thomas 3 Samuelides, Mathias 2 Anderson, Matthew W. 2 Bárány, Vince 2 Grosshans, Nathan 2 Libkin, Leonid O. 2 McKenzie, Pierre 2 Scholl, Michel 2 Schweikardt, Nicole 2 van Melkebeek, Dieter 1 Beame, Paul W. 1 Bidoit, Nicole 1 David, Claire 1 Dawar, Anuj 1 de Amo, Sandra 1 Dimino, Jérémie 1 Francis, Nadime 1 Gottlob, Georg 1 Jacquemard, Florent 1 Kazana, Wojciech 1 Kazana, Wojtek 1 Koch, Christoph T. 1 Lacroix, Zoé 1 Pichler, Reinhard 1 Sirangelo, Cristina 1 Straubing, Howard 1 Toruńczyk, Szymon 1 Vianu, Victor 1 Vigny, Alexandre all top 5 Serials 9 Logical Methods in Computer Science 5 Journal of the ACM 4 ACM Transactions on Computational Logic 2 Journal of Computer and System Sciences 1 Information Processing Letters 1 The Computer Journal. Section A / Section B 1 The Journal of Symbolic Logic 1 SIAM Journal on Computing 1 Journal of Logic and Computation 1 Information Systems 1 The Bulletin of Symbolic Logic 1 Theory of Computing Systems 1 1 ACM Transactions on Computation Theory Fields 48 Computer science (68-XX) 31 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) Publications by Year all cited Publications top 5 cited Publications 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.03041Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 37 2011 Two-variable logic on data trees and XML reasoning. Zbl 1325.68078Bojańczyk, Mikolaj; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 28 2009 Automata and logics for words and trees over an infinite alphabet. Zbl 1225.68103Segoufin, Luc 24 2006 When is the evaluation of conjunctive queries tractable? Zbl 1323.68251Grohe, Martin; Schwentick, Thomas; Segoufin, Luc 20 2001 Transitive closure logic, nested tree walking automata, and XPath. Zbl 1327.03024ten Cate, Balder; Segoufin, Luc 13 2010 The complexity of XPath query evaluation and XML typing. Zbl 1317.68073Gottlob, Georg; Koch, Christoph; Pichler, Reinhard; Segoufin, Luc 11 2005 Definable relations and first-order query languages over strings. Zbl 1325.03031Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc 9 2003 Expressive power of pebble automata. Zbl 1223.68065Bojańczyk, Mikołaj; Samuelides, Mathias; Schwentick, Thomas; Segoufin, Luc 8 2006 Regular tree languages definable in FO. Zbl 1118.03314Benedikt, Michael; Segoufin, Luc 7 2005 Enumeration of monadic second-order queries on trees. Zbl 1353.68068Kazana, Wojciech; Segoufin, Luc 6 2013 Complexity of pebble tree-walking automata. Zbl 1135.68459Samuelides, Mathias; Segoufin, Luc 6 2007 Bottom-up automata on data trees and vertical XPath. Zbl 1230.68128Figueira, Diego; Segoufin, Luc 5 2011 Future-looking logics on data words and trees. Zbl 1250.03050Figueira, Diego; Segoufin, Luc 5 2009 Querying spatial databases via topological invariants. Zbl 0963.68058Segoufin, Luc; Vianu, Victor 5 2000 \(\mathsf{FO}^2(<,+1,\sim)\) on data trees, data tree automata and branching vector addition systems. Zbl 1448.68227Jacquemard, Florent; Segoufin, Luc; Dimino, Jérémie 4 2016 Automata based verification over linearly ordered data domains. Zbl 1230.68137Segoufin, Luc; Toruńczyk, Szymon 4 2011 Guarded negation. Zbl 1333.68132Bárány, Vince; ten Cate, Balder; Segoufin, Luc 4 2011 Regular tree languages definable in FO and in FO\(_{\mathrm{mod}}\). Zbl 1351.68134Benedikt, Michael; Segoufin, Luc 4 2009 Complementing deterministic tree-walking automata. Zbl 1184.68324Muscholl, Anca; Samuelides, Mathias; Segoufin, Luc 4 2006 Piecewise testable tree languages. Zbl 1261.03126Bojańczyk, Mikołaj; Segoufin, Luc; Straubing, Howard 3 2012 Unary negation. Zbl 1230.03068ten Cate, Balder; Segoufin, Luc 3 2011 Towards a characterization of order-invariant queries over tame graphs. Zbl 1161.03018Benedikt, Michael A.; Segoufin, Luc 3 2009 Tree languages defined in first-order logic with one quantifier alternation. Zbl 1170.03019Bojańczyk, Mikołaj; Segoufin, Luc 3 2008 Guarded negation. Zbl 1333.68133Bárány, Vince; ten Cate, Balder; Segoufin, Luc 2 2015 Unary negation. Zbl 1285.03004Segoufin, Luc; ten Cate, Balder 2 2013 Active context-free games. Zbl 1122.68468Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 2 2004 Reachability and connectivity queries in constraint databases. Zbl 1026.68036Benedikt, Michael; Grohe, Martin; Libkin, Leonid; Segoufin, Luc 2 2003 The DEDALE prototype. Zbl 0969.68692Grumbach, Stéphane; Rigaux, Philippe; Scholl, Michel; Segoufin, Luc 2 2000 Constant delay enumeration for FO queries over databases with local bounded expansion. Zbl 1402.68052Segoufin, Luc; Vigny, Alexandre 1 2017 Datalog rewritings of regular path queries using views. Zbl 1448.68229Francis, Nadime; Segoufin, Luc; Sirangelo, Cristina 1 2015 Deciding definability in \(\mathrm{FO}^2(<_{\mathbf{v}},<_{\mathbf{h}})\) on trees. Zbl 1448.03025Place, Thomas; Segoufin, Luc 1 2015 Locality from circuit lower bounds. Zbl 1273.03114Anderson, Matthew; Van Melkebeek, Dieter; Schweikardt, Nicole; Segoufin, Luc 1 2012 A decidable characterization of locally testable tree languages. Zbl 1237.68119Place, Thomas; Segoufin, Luc 1 2011 Active context-free games. Zbl 1122.91008Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 1 2006 Towards a characterization of order-invariant queries over tame structures. Zbl 1136.03318Benedikt, Michael; Segoufin, Luc 1 2005 Building a constraint-based spatial database system: Model, languages, and implementation. Zbl 1056.68072Rigaux, Philippe; Scholl, Michel; Segoufin, Luc; Grumbach, Stéphane 1 2003 Constant delay enumeration for FO queries over databases with local bounded expansion. Zbl 1402.68052Segoufin, Luc; Vigny, Alexandre 1 2017 \(\mathsf{FO}^2(<,+1,\sim)\) on data trees, data tree automata and branching vector addition systems. Zbl 1448.68227Jacquemard, Florent; Segoufin, Luc; Dimino, Jérémie 4 2016 Guarded negation. Zbl 1333.68133Bárány, Vince; ten Cate, Balder; Segoufin, Luc 2 2015 Datalog rewritings of regular path queries using views. Zbl 1448.68229Francis, Nadime; Segoufin, Luc; Sirangelo, Cristina 1 2015 Deciding definability in \(\mathrm{FO}^2(<_{\mathbf{v}},<_{\mathbf{h}})\) on trees. Zbl 1448.03025Place, Thomas; Segoufin, Luc 1 2015 Enumeration of monadic second-order queries on trees. Zbl 1353.68068Kazana, Wojciech; Segoufin, Luc 6 2013 Unary negation. Zbl 1285.03004Segoufin, Luc; ten Cate, Balder 2 2013 Piecewise testable tree languages. Zbl 1261.03126Bojańczyk, Mikołaj; Segoufin, Luc; Straubing, Howard 3 2012 Locality from circuit lower bounds. Zbl 1273.03114Anderson, Matthew; Van Melkebeek, Dieter; Schweikardt, Nicole; Segoufin, Luc 1 2012 Two-variable logic on data words. Zbl 1352.03041Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 37 2011 Bottom-up automata on data trees and vertical XPath. Zbl 1230.68128Figueira, Diego; Segoufin, Luc 5 2011 Automata based verification over linearly ordered data domains. Zbl 1230.68137Segoufin, Luc; Toruńczyk, Szymon 4 2011 Guarded negation. Zbl 1333.68132Bárány, Vince; ten Cate, Balder; Segoufin, Luc 4 2011 Unary negation. Zbl 1230.03068ten Cate, Balder; Segoufin, Luc 3 2011 A decidable characterization of locally testable tree languages. Zbl 1237.68119Place, Thomas; Segoufin, Luc 1 2011 Transitive closure logic, nested tree walking automata, and XPath. Zbl 1327.03024ten Cate, Balder; Segoufin, Luc 13 2010 Two-variable logic on data trees and XML reasoning. Zbl 1325.68078Bojańczyk, Mikolaj; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 28 2009 Future-looking logics on data words and trees. Zbl 1250.03050Figueira, Diego; Segoufin, Luc 5 2009 Regular tree languages definable in FO and in FO\(_{\mathrm{mod}}\). Zbl 1351.68134Benedikt, Michael; Segoufin, Luc 4 2009 Towards a characterization of order-invariant queries over tame graphs. Zbl 1161.03018Benedikt, Michael A.; Segoufin, Luc 3 2009 Tree languages defined in first-order logic with one quantifier alternation. Zbl 1170.03019Bojańczyk, Mikołaj; Segoufin, Luc 3 2008 Complexity of pebble tree-walking automata. Zbl 1135.68459Samuelides, Mathias; Segoufin, Luc 6 2007 Automata and logics for words and trees over an infinite alphabet. Zbl 1225.68103Segoufin, Luc 24 2006 Expressive power of pebble automata. Zbl 1223.68065Bojańczyk, Mikołaj; Samuelides, Mathias; Schwentick, Thomas; Segoufin, Luc 8 2006 Complementing deterministic tree-walking automata. Zbl 1184.68324Muscholl, Anca; Samuelides, Mathias; Segoufin, Luc 4 2006 Active context-free games. Zbl 1122.91008Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 1 2006 The complexity of XPath query evaluation and XML typing. Zbl 1317.68073Gottlob, Georg; Koch, Christoph; Pichler, Reinhard; Segoufin, Luc 11 2005 Regular tree languages definable in FO. Zbl 1118.03314Benedikt, Michael; Segoufin, Luc 7 2005 Towards a characterization of order-invariant queries over tame structures. Zbl 1136.03318Benedikt, Michael; Segoufin, Luc 1 2005 Active context-free games. Zbl 1122.68468Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 2 2004 Definable relations and first-order query languages over strings. Zbl 1325.03031Benedikt, Michael; Libkin, Leonid; Schwentick, Thomas; Segoufin, Luc 9 2003 Reachability and connectivity queries in constraint databases. Zbl 1026.68036Benedikt, Michael; Grohe, Martin; Libkin, Leonid; Segoufin, Luc 2 2003 Building a constraint-based spatial database system: Model, languages, and implementation. Zbl 1056.68072Rigaux, Philippe; Scholl, Michel; Segoufin, Luc; Grumbach, Stéphane 1 2003 When is the evaluation of conjunctive queries tractable? Zbl 1323.68251Grohe, Martin; Schwentick, Thomas; Segoufin, Luc 20 2001 Querying spatial databases via topological invariants. Zbl 0963.68058Segoufin, Luc; Vianu, Victor 5 2000 The DEDALE prototype. Zbl 0969.68692Grumbach, Stéphane; Rigaux, Philippe; Scholl, Michel; Segoufin, Luc 2 2000 all cited Publications top 5 cited Publications 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 all top 5 Cited in 33 Serials 26 Theoretical Computer Science 23 Journal of Computer and System Sciences 14 Theory of Computing Systems 10 Information and Computation 10 ACM Transactions on Computational Logic 7 Information Processing Letters 5 Acta Informatica 5 Logical Methods in Computer Science 3 The Journal of Symbolic Logic 3 Journal of the ACM 2 MSCS. Mathematical Structures in Computer Science 2 Formal Methods in System Design 2 Journal of Applied Logic 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 Information Sciences 1 SIAM Journal on Computing 1 European Journal of Combinatorics 1 Graphs and Combinatorics 1 New Generation Computing 1 Journal of Automated Reasoning 1 Journal of Parallel and Distributed Computing 1 International Journal of Foundations of Computer Science 1 Distributed Computing 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Journal of Mathematical Sciences (New York) 1 Constraints 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 The Journal of Logic and Algebraic Programming 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computation Theory 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 7 Fields 157 Computer science (68-XX) 68 Mathematical logic and foundations (03-XX) 12 Combinatorics (05-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Group theory and generalizations (20-XX) 1 History and biography (01-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year Wikidata Timeline