Jean-Pierre Jouannaud 个人学术档案

引用次数

	总计	2019 年至今
引用	9746	694
h 指数	37	13
i10 指数	62	17

460

230

115

345

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202474 90 143 138 162 229 293 312 330 413 410 453 410 367 351 314 352 276 283 263 362 262 453 279 259 251 157 228 141 145 166 117 140 131 114 134 130 108 104 104

开放获取的出版物数量

查看全部

4 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)在 ucm.es 的电子邮件经过验证
Frédéric BlanquiINRIA在 inria.fr 的电子邮件经过验证
Kokichi FUTATSUGIProfessor of Computer Science, JAIST在 jaist.ac.jp 的电子邮件经过验证
Claude KirchnerInria在 inria.fr 的电子邮件经过验证
Adel BouhoulaProfessor of Computer Science, Formal Methods and Cybersecurity. Arabian Gulf University在 agu.edu.bh 的电子邮件经过验证
Pierre LescanneProfesseur émérite à l'ENS de Lyon在 ens-lyon.fr 的电子邮件经过验证
Pierre-Yves StrubResearch Scientist, PQShield在 strub.nu 的电子邮件经过验证
Jan Willem KlopVrije Universiteit Amsterdam在 vu.nl 的电子邮件经过验证
Hubert Comon-LundhComputer Science professor, ENS Cachan在 lsv.ens-cachan.fr 的电子邮件经过验证
Jiaxiang LIUInstitute of Software, Chinese Academy of Sciences在 ios.ac.cn 的电子邮件经过验证
Maribel FernandezProfessor of Computer Science, King's College London在 kcl.ac.uk 的电子邮件经过验证
Fernando OrejasUniversitat Politècnica de Catalunya在 lsi.upc.edu 的电子邮件经过验证
Vincent van Oostrom在 javakade.nl 的电子邮件经过验证
Femke van RaamsdonkVU University Amsterdam在 vu.nl 的电子邮件经过验证
Jean Goubault-Larrecq在 lsv.fr 的电子邮件经过验证
Gérard HuetDirecteur de Recherche Emérite Inria在 inria.fr 的电子邮件经过验证
Gérard BerryProfessor emeritus at Collège de France在 college-de-france.fr 的电子邮件经过验证
Frank PfenningProfessor of Computer Science, Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
Dale MillerInria-Saclay and LIX, Ecole Polytechnique在 inria.fr 的电子邮件经过验证

关注

Jean-Pierre Jouannaud

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

在 lix.polytechnique.fr 的电子邮件经过验证

Rewriting Symbolic constraints Type Theory


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	826	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	199	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	160	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	112	2002
Recursive decomposition ordering JP Jouannaud, P Lescanne, F Reinig Formal Description of Programming Concepts 2, 331-348, 1982	104	1982
Abstract data type systems JP Jouannaud, M Okada Theoretical computer science 173 (2), 349-391, 1997	103	1997
The Computability Path Ordering F Blanqui, JP Jouannaud, A Rubio Logical Methods in Computer Science 11 (4), 1-45, 2015	94*	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
Satisfiability of systems of ordinal notations with the subterm property is decidable JP Jouannaud, M Okada International Colloquium on Automata, Languages, and Programming, 455-468, 1991	82	1991

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用