Jean-Pierre Jouannaud

Cited by

	All	Since 2020
Citations	9739	604
h-index	36	12
i10-index	60	15

460

230

115

345

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202590 142 139 161 227 294 316 329 411 405 450 410 366 342 309 348 272 284 261 364 260 451 279 258 252 155 234 141 145 166 119 142 129 114 132 135 108 102 117 10

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
Jiaxiang LIUInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
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
Mizuhito OgawaJAISTVerified email at jaist.ac.jp
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

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, volume B of Handbook of Theoretical Computer Science, chapter 6 N Dershowitz, JP Jouannaud Elsevier, 1990	2952*	1990
Introducing obj JA Goguen, T Winkler, J Meseguer, K Futatsugi, JP Jouannaud Software Engineering with OBJ: algebraic specification in action, 3-167, 2000	1131	2000
Principles of OBJ2 K Futatsugi, J Goguen, JP Jouannaud, J Meseguer Proc. 12th ACM Symposium on Principles of Programming Languages, 52-66, 1985	828	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	602	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	381	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	162	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	148	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	93	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	86	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