Concepedia

Jean-Éric Pin

JP

50

Publications

1.6K

Citations

22

H-Index

1981

Active since

Affiliations

Université Paris Cité(Current)

Centre National de la Recherche Scientifique

Sorbonne Université

Laboratoire d'Informatique Algorithmique: Fondements et Applications

University of Nebraska–Lincoln

Jean-Éric Pin is an author at Université Paris Cité specializing in linguistics, engineering, and automated reasoning.

Top concepts

EngineeringLinguisticsFormal MethodsAutomated ReasoningComputer ScienceLanguageGeometric Group TheoryComputational ComplexityEducationDiscrete Mathematics

Publications per year

1981–2019

50

Publications

50

Polynomial closure and unambiguous product

Jean-Éric Pin, Pascal Weil · Theory of Computing Systems · 1997 · 182 citations

Real Algebraic Geometry, Polynomial Closure, Algebraic Combinatorics +1

First-order logic and star-free sets

Dominique Perrin, Jean-Éric Pin · Journal of Computer and System Sciences · 1986 · 125 citations

Engineering, Automated Reasoning, Formal Methods +3

ASH'S TYPE II THEOREM, PROFINITE TOPOLOGY AND MALCEV PRODUCTS: PART I

Karsten Henckell, Stuart Margolis, Jean-Éric Pin et al. · International Journal of Algebra and Computation · 1991 · 92 citations

Geometric Group Theory, Real Algebraic Geometry, Complexity Theory +10

On the expressive power of temporal logic

Joëlle Cohen, Dominique Perrin, Jean-Éric Pin · Journal of Computer and System Sciences · 1993 · 89 citations · Full text

Engineering, Automated Reasoning, Dynamic Logic +5

Logic, semigroups and automata on words

Jean-Éric Pin · Annals of Mathematics and Artificial Intelligence · 1996 · 64 citations

Logical Automaton, Engineering, Automated Reasoning +6

Rows per page

1–5 of 50