Concepedia

Jean-Pierre Jouannaud

JJ

32

Publications

2.5K

Citations

19

H-Index

1979

Active since

Affiliations

Université Paris-Sud(Current)

Laboratoire de Recherche en Informatique

Centre National de la Recherche Scientifique

Université Paris Cité

Laboratoire d'Informatique de l'École Polytechnique

Jean-Pierre Jouannaud is an author at Université Paris-Sud specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationComputational ComplexityCombinatorial OptimizationDiscrete MathematicsMathematical FoundationsMathematical Programming

Publications per year

1979–2019

32

Publications

32

Principles of OBJ2

Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud et al. · 1985 · 468 citations

Engineering, Linguistic Theory, Abstract Object Theory +21

Completion of a Set of Rules Modulo a Set of Equations

Jean-Pierre Jouannaud · SIAM Journal on Computing · 1986 · 372 citations

Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification.

Jean-Pierre Jouannaud, Claude Kirchner · OpenGrey (Institut de l'Information Scientifique et Technique) · 1991 · 258 citations

Algebraic Logic, Abstract Algebras, Engineering +7

Specification and proof in membership equational logic

Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer · Theoretical Computer Science · 2000 · 231 citations

Membership Equational Logic, Engineering, Automated Reasoning +5

Automatic proofs by induction in theories without constructors

Jean-Pierre Jouannaud, Emmanuel Kounalis · Information and Computation · 1989 · 119 citations

Engineering, Automated Reasoning, Automatic Proofs +7

Rows per page

1–5 of 32