Jean-Pierre Jouannaud

Cited by

	All	Since 2018
Citations	9562	706
h-index	36	14
i10-index	59	16

460

230

115

345

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202338 77 83 139 142 163 213 300 308 328 423 403 451 413 368 341 302 345 277 275 261 358 270 439 285 257 246 160 239 132 146 162 115 140 132 124 126 134 113 77

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
Jan Willem KlopVrije Universiteit AmsterdamVerified email at vu.nl
Pierre LescanneProfesseur émérite à l'ENS de LyonVerified email at ens-lyon.fr
Pierre-Yves StrubMaître de Conférence, CS, École PolytechniqueVerified email at strub.nu
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
Jiaxiang LIUShenzhen UniversityVerified email at szu.edu.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
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 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 MillerDirector of Research, INRIAVerified email at inria.fr
Deepak KapurUniversity of New MexicoVerified email at cs.unm.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 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	1118	2000
Principles of OBJ2 K Futatsugi, J Goguen, JP Jouannaud, J Meseguer Proc. 12th ACM Symposium on Principles of Programming Languages, 52-66, 1985	814	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	589	1984
Solving equations in abstract algebras: A rule-based survey of unification JP Jouannaud, C Kirchner Computational Logic, 257-321, 1991	463	1991
Specification and proof in membership equational logic A Bouhoula, JP Jouannaud, J Meseguer Theoretical Computer Science 236 (1-2), 35-132, 2000	362	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	207	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	172	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	158	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	141	1983
Recursive decomposition ordering JP Jouannaud, P Lescanne, F Reinig Formal Description of Programming Concepts 2, 331-348, 1982	109	1982
Inductive-data-type systems F Blanqui, JP Jouannaud, M Okada Theoretical Computer Science 272 (1-2), 41-68, 2002	107	2002
Abstract data type systems JP Jouannaud, M Okada Theoretical computer science 173 (2), 349-391, 1997	102	1997
The Computability Path Ordering F Blanqui, JP Jouannaud, A Rubio Logical Methods in Computer Science 11 (4), 1-45, 2015	91*	2015
Reductive conditional term rewriting systems JP Jouannaud, B Waldmann Centre de Recherche en Informatique de Nancy, 1986	90	1986
Syntacticness, cycle-syntacticness, and shallow theories H Comon, M Haberstrau, JP Jouannaud Information and Computation 111 (1), 154-191, 1994	89	1994
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