Jean-Pierre Jouannaud

Cited by

	All	Since 2019
Citations	9755	695
h-index	37	13
i10-index	62	17

460

230

115

345

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202474 90 143 138 162 229 294 318 330 413 410 453 410 367 345 314 352 276 283 263 362 262 453 279 259 251 157 235 141 145 166 115 142 131 114 134 130 108 105 104

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)Verified email at ucm.es
Frédéric BlanquiINRIAVerified email at inria.fr
Kokichi FUTATSUGIProfessor of Computer Science, JAISTVerified email at jaist.ac.jp
Claude KirchnerInriaVerified email at inria.fr
Adel BouhoulaProfessor of Computer Science, Formal Methods and Cybersecurity. Arabian Gulf UniversityVerified email at agu.edu.bh
Pierre LescanneProfesseur émérite à l'ENS de LyonVerified email at ens-lyon.fr
Pierre-Yves StrubResearch Scientist, PQShieldVerified email at strub.nu
Jan Willem KlopVrije Universiteit AmsterdamVerified email at vu.nl
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
Jiaxiang LIUInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Maribel FernandezProfessor of Computer Science, King's College LondonVerified email at kcl.ac.uk
Fernando OrejasUniversitat Politècnica de CatalunyaVerified email at lsi.upc.edu
Vincent van OostromVerified email at javakade.nl
Femke van RaamsdonkVU University AmsterdamVerified email at vu.nl
Jean Goubault-LarrecqVerified email at lsv.fr
Gérard HuetDirecteur de Recherche Emérite InriaVerified email at inria.fr
Gérard BerryProfessor emeritus at Collège de FranceVerified email at college-de-france.fr
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr

Jean-Pierre Jouannaud

LSV, École Normale Supérieure de Paris-Saclay

Verified email at lix.polytechnique.fr

Rewriting Symbolic constraints Type Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Rewrite systems N Dershowitz, JP Jouannaud Formal models and semantics, 243-320, 1990	2843*	1990
Introducing obj JA Goguen, T Winkler, J Meseguer, K Futatsugi, JP Jouannaud Software Engineering with OBJ: algebraic specification in action, 3-167, 2000	1128	2000
Principles of OBJ2 K Futatsugi, J Goguen, JP Jouannaud, J Meseguer Proc. 12th ACM Symposium on Principles of Programming Languages, 52-66, 1985	827	1985
Completion of a set of rules modulo a set of equations JP Jouannaud, H Kirchner Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of …, 1984	599	1984
Solving equations in abstract algebras: A rule-based survey of unification JP Jouannaud, C Kirchner Computational Logic, 257-321, 1991	470	1991
Specification and proof in membership equational logic A Bouhoula, JP Jouannaud, J Meseguer Theoretical Computer Science 236 (1-2), 35-132, 2000	379	2000
A computation model for executable higher-order algebraic specification languages JP Jouannaud, M Okada [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991	200	1991
Automatic proofs by induction in theories without constructors JP Jouannaud, E Kounalis Proc. Symposium on Logic in Computer Science, 1986	182*	1986
Operational semantics for order-sorted algebra JA Goguen, JP Jouannaud, J Meseguer Automata, Languages and Programming: 12th Colloquium Nafplion, Greece, July …, 1985	174	1985
The higher-order recursive path ordering JP Jouannaud, A Rubio Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	161	1999
Automatic proofs by induction in theories without constructors JP Jouannaud, E Kounalis Information and Computation 82 (1), 1-33, 1989	160	1989
Incremental construction of unification algorithms in equational theories JP Jouannaud, C Kirchner, H Kirchner International Colloquium on Automata, Languages, and Programming, 361-373, 1983	146	1983
Inductive-data-type systems F Blanqui, JP Jouannaud, M Okada Theoretical Computer Science 272 (1-2), 41-68, 2002	113	2002
Abstract data type systems JP Jouannaud, M Okada Theoretical computer science 173 (2), 349-391, 1997	104	1997
Recursive decomposition ordering JP Jouannaud, P Lescanne, F Reinig Formal Description of Programming Concepts 2, 331-348, 1982	104	1982
The Computability Path Ordering F Blanqui, JP Jouannaud, A Rubio Logical Methods in Computer Science 11 (4), 1-45, 2015	96*	2015
Syntacticness, cycle-syntacticness, and shallow theories H Comon, M Haberstrau, JP Jouannaud Information and Computation 111 (1), 154-191, 1994	94	1994
Reductive conditional term rewriting systems JP Jouannaud, B Waldmann Centre de Recherche en Informatique de Nancy, 1986	89	1986
The calculus of algebraic constructions F Blanqui, JP Jouannaud, M Okada International Conference on Rewriting Techniques and Applications, 301-316, 1999	85	1999
Polymorphic higher-order recursive path orderings JP Jouannaud, A Rubio Journal of the ACM (JACM) 54 (1), 1-48, 2007	82*	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors