Luc Segoufin

Publications

2.5K

Citations

H-Index

1998

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

École Normale Supérieure Paris-Saclay

University of California San Diego

University of Warsaw

Université Paris Cité

Luc Segoufin is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and automated reasoning.

ORCID

Top concepts

Computer ScienceEngineeringAutomated ReasoningFormal MethodsData ScienceFormal VerificationComputational ComplexityManagementQuery OptimizationInformation Retrieval

Publications per year

1998–2018

Publications

Two-Variable Logic on Words with Data

Mikołaj Bojańczyk, Anca Muscholl, Thomas Schwentick et al. · 2006 · 173 citations · Full text

Engineering, Reachability Problem, Petri Net Reachability +21

When is the evaluation of conjunctive queries tractable?

Martin Grohe, Thomas Schwentick, Luc Segoufin · 2001 · 161 citations

Engineering, Computational Complexity, Underlying Graph +18

Two-variable logic on data trees and XML reasoning

Anca Muscholl, Thomas Schwentick, Luc Segoufin · Journal of the ACM · 2009 · 144 citations

Engineering, Data Science, Automated Reasoning +15

Validating streaming XML documents

Luc Segoufin, Victor Vianu · 2002 · 144 citations

Engineering, Constant Memory Requirement, Verification +25

Two-variable logic on data words

Mikołaj Bojańczyk, Claire David, Anca Muscholl et al. · ACM Transactions on Computational Logic · 2011 · 140 citations · Full text

Engineering, Reachability Problem, Verification +23

Rows per page

1–5 of 55