Jan Willem Klop

Cited by

	All	Since 2020
Citations	12687	856
h-index	49	11
i10-index	112	16

680

340

170

510

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202573 187 151 216 287 312 312 373 442 493 548 478 422 366 286 361 340 281 264 509 357 664 367 446 388 288 341 292 306 262 203 214 231 216 203 137 134 181 139 34

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
John-Jules Meyeremeritus Utrecht UniversityVerified email at cs.uu.nl
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayVerified email at lix.polytechnique.fr
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	1860*	1990
Process algebra for synchronous communication JA Bergstra, JW Klop Information and control 60 (1-3), 109-137, 1984	1493	1984
Algebra of communicating processes with abstraction JA Bergstra, JW Klop Theoretical computer science 37, 77-121, 1985	1113	1985
Combinatory reduction systems JW Klop Rijksuniversiteit Utrecht, 2022	911	2022
Combinatory reduction systems: introduction and survey JW Klop, V Van Oostrom, F Van Raamsdonk Theoretical computer science 121 (1-2), 279-308, 1993	403	1993
Conditional rewrite rules: Confluence and termination JA Bergstra, JW Klop Journal of Computer and System Sciences 32 (3), 323-362, 1986	326	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	276	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	225	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	216	1984
Infinitary lambda calculus JR Kennaway, JW Klop, MR Sleep, FJ de Vries Theoretical Computer Science 175 (1), 93-125, 1997	210	1997
Algebra of communicating processes JA Bergstra, JW Klop Mathematics and Computer Science, CWI Monograph 1 (89-138), 9, 1986	207	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	198	1993
Equational term graph rewriting ZM Ariola, JW Klop Fundamenta Informaticae 26 (3-4), 207-240, 1996	177	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	168	1987
Fixed point semantics in process algebras JA Bergstra, JW Klop	163	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	156	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
Process algebra: specification and verification in bisimulation semantics JA Bergstra, JW Klop Math. & Comp. Sci. II 4, 1986	133	1986

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