Jan Willem Klop

Cited by

	All	Since 2020
Citations	12618	831
h-index	49	11
i10-index	111	15

680

340

170

510

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202571 188 150 217 275 302 312 368 445 489 560 476 415 364 288 363 340 285 270 515 348 667 361 443 383 289 343 294 296 260 198 214 229 212 200 135 134 183 141 10

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLVerified email at uva.nl
Jos BaetenVerified email at cwi.nl
Jörg EndrullisVU University AmsterdamVerified email at endrullis.de
Vincent van OostromVerified email at javakade.nl
Zena AriolaUniversity of OregonVerified email at cs.uoregon.edu
Dimitri HendriksVU University Amsterdam, Department of Computer ScienceVerified email at vu.nl
Henk BarendregtFaculty of Science, Radboud UniversityVerified email at ru.nl
Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.Verified email at cmp.uea.ac.uk
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Aart MiddeldorpUniversity of InnsbruckVerified email at uibk.ac.at
Inge BethkeInformatics Institute, University of AmsterdamVerified email at uva.nl
Femke van RaamsdonkVU University AmsterdamVerified email at vu.nl
Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayVerified email at lix.polytechnique.fr
John-Jules Meyeremeritus Utrecht UniversityVerified email at cs.uu.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Detlef PlumpDepartment of Computer Science, University of YorkVerified email at york.ac.uk
Aleksi SaarelaAcademy Research Fellow, University of TurkuVerified email at utu.fi
Fer-Jan de VriesFormerly: Department of Computer Science, University of Leicester

Jan Willem Klop

Vrije Universiteit Amsterdam

Verified email at vu.nl

mathematics logic computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Term rewriting systems JW Klop, JW Klop Centrum voor Wiskunde en Informatica, 1990	1853*	1990
Process algebra for synchronous communication JA Bergstra, JW Klop Information and control 60 (1-3), 109-137, 1984	1491	1984
Algebra of communicating processes with abstraction JA Bergstra, JW Klop Theoretical computer science 37, 77-121, 1985	1115	1985
Combinatory reduction systems JW Klop Rijksuniversiteit Utrecht, 2022	899	2022
Combinatory reduction systems: introduction and survey JW Klop, V Van Oostrom, F Van Raamsdonk Theoretical computer science 121 (1-2), 279-308, 1993	404	1993
Conditional rewrite rules: Confluence and termination JA Bergstra, JW Klop Journal of Computer and System Sciences 32 (3), 323-362, 1986	332	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	274	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	217	1984
Infinitary lambda calculus JR Kennaway, JW Klop, MR Sleep, FJ de Vries Theoretical Computer Science 175 (1), 93-125, 1997	209	1997
Algebra of communicating processes JA Bergstra, JW Klop Mathematics and Computer Science, CWI Monograph 1 (89-138), 9, 1986	203	1986
Transfinite reductions in orthogonal term rewriting systems R Kennaway, JW Klop, R Sleep, FJ Devries Information and computation 119 (1), 18-38, 1995	202	1995
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	199	1993
Equational term graph rewriting ZM Ariola, JW Klop Fundamenta Informaticae 26 (3-4), 207-240, 1996	178	1996
Term rewriting systems: a tutorial JW Klop Bulletin of the European Association for Theoretical Computer Science, 1987	172	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	164	1987
Fixed point semantics in process algebras JA Bergstra, JW Klop	159	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	155	1985
Process theory based on bisimulation semantics JA Bergstra, JW Klop Workshop/School/Symposium of the REX Project (Research and Education in …, 1988	136	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

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