Jan Willem Klop 个人学术档案

引用次数

	总计	2019 年至今
引用	12505	971
h 指数	49	13
i10 指数	111	20

680

340

170

510

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202464 71 188 150 217 275 299 309 369 445 488 560 476 414 364 289 363 338 283 270 514 347 665 361 442 374 290 337 295 293 260 199 212 229 211 199 131 132 191 79

开放获取的出版物数量

查看全部

4 篇文章

0 篇文章

可查看的文章

无法查看的文章

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

合著作者

Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NL在 uva.nl 的电子邮件经过验证
Jos Baeten在 cwi.nl 的电子邮件经过验证
Jörg EndrullisVU University Amsterdam在 endrullis.de 的电子邮件经过验证
Vincent van Oostrom在 javakade.nl 的电子邮件经过验证
Zena AriolaUniversity of Oregon在 cs.uoregon.edu 的电子邮件经过验证
Dimitri HendriksVU University Amsterdam, Department of Computer Science在 vu.nl 的电子邮件经过验证
Henk BarendregtFaculty of Science, Radboud University在 ru.nl 的电子邮件经过验证
Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.在 cmp.uea.ac.uk 的电子邮件经过验证
Aart MiddeldorpUniversity of Innsbruck在 uibk.ac.at 的电子邮件经过验证
Ernst-Ruediger OlderogProfessor für Informatik, Universität Oldenburg在 informatik.uni-oldenburg.de 的电子邮件经过验证
Inge BethkeInformatics Institute, University of Amsterdam在 uva.nl 的电子邮件经过验证
Femke van RaamsdonkVU University Amsterdam在 vu.nl 的电子邮件经过验证
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-Saclay在 lix.polytechnique.fr 的电子邮件经过验证
Krzysztof R. AptCWI fellow, CWI , The Netherlands在 cwi.nl 的电子邮件经过验证
John-Jules Meyeremeritus Utrecht University在 cs.uu.nl 的电子邮件经过验证
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.在 cwi.nl 的电子邮件经过验证
Catuscia PalamidessiInria在 lix.polytechnique.fr 的电子邮件经过验证
Detlef PlumpDepartment of Computer Science, University of York在 york.ac.uk 的电子邮件经过验证
Aleksi SaarelaAcademy Research Fellow, University of Turku在 utu.fi 的电子邮件经过验证
Fer-Jan de VriesFormerly: Department of Computer Science, University of Leicester

关注

Jan Willem Klop

Vrije Universiteit Amsterdam

在 vu.nl 的电子邮件经过验证

mathematics logic computer science


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Term rewriting systems JW Klop, JW Klop Centrum voor Wiskunde en Informatica, 1990	1844*	1990
Process algebra for synchronous communication JA Bergstra, JW Klop Information and control 60 (1-3), 109-137, 1984	1476	1984
Algebra of communicating processes with abstraction JA Bergstra, JW Klop Theoretical computer science 37, 77-121, 1985	1099	1985
Combinatory reduction systems JW Klop Rijksuniversiteit Utrecht, 2022	894	2022
Combinatory reduction systems: introduction and survey JW Klop, V Van Oostrom, F Van Raamsdonk Theoretical computer science 121 (1-2), 279-308, 1993	400	1993
Conditional rewrite rules: Confluence and termination JA Bergstra, JW Klop Journal of Computer and System Sciences 32 (3), 323-362, 1986	331	1986
Syntax and defining equations for an interrupt mechanism in process algebra JCM Baeten, JA Bergstra, JW Klop Fundamenta Informaticae 9 (2), 127-167, 1986	273	1986
On the consistency of Koomen's fair abstraction rule JCM Baeten, JA Bergstra, JW Klop Theoretical Computer Science 51 (1-2), 129-176, 1987	220	1987
The algebra of recursively defined processes and the algebra of regular processes JA Bergstra, JW Klop International Colloquium on Automata, Languages, and Programming, 82-94, 1984	215	1984
Infinitary lambda calculus JR Kennaway, JW Klop, MR Sleep, FJ de Vries Theoretical Computer Science 175 (1), 93-125, 1997	208	1997
Transfinite reductions in orthogonal term rewriting systems R Kennaway, JW Klop, R Sleep, FJ Devries Information and computation 119 (1), 18-38, 1995	201	1995
Algebra of communicating processes JA Bergstra, JW Klop Mathematics and Computer Science, CWI Monograph 1 (89-138), 9, 1986	201	1986
Decidability of bisimulation equivalence for process generating context-free languages JCM Baeten, JA Bergstra, JW Klop Journal of the ACM (JACM) 40 (3), 653-682, 1993	196	1993
Equational term graph rewriting ZM Ariola, JW Klop Fundamenta Informaticae 26 (3-4), 207-240, 1996	176	1996
Term rewriting systems: a tutorial JW Klop Bulletin of the European Association for Theoretical Computer Science, 1987	171	1987
Decidability of bisimulation equivalence for processes generating context-free languages JCM Baeten, JA Bergstra, JW Klop International Conference on Parallel Architectures and Languages Europe, 94-111, 1987	163	1987
Fixed point semantics in process algebras JA Bergstra, JW Klop	158	1982
Verification of an alternating bit protocol by means of process algebra protocol JA Bergstra, JW Klop Int. Spring School on Mathematical Methods of Specification and Synthesis of …, 1985	154	1985
Process theory based on bisimulation semantics JA Bergstra, JW Klop Workshop/School/Symposium of the REX Project (Research and Education in …, 1988	135	1988
On the adequacy of graph rewriting for simulating term rewriting JR Kennaway, JW Klop, MR Sleep, FJ de Vries ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 493-523, 1994	133	1994

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用