Jan Willem Klop

Cited by

	All	Since 2018
Citations	12207	1064
h-index	49	15
i10-index	109	28

700

350

175

525

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202335 49 67 156 126 222 231 303 269 360 403 470 535 448 412 353 288 350 318 275 264 686 357 645 345 430 407 286 344 287 307 266 196 223 237 221 201 140 157 77

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
Fer-Jan de VriesDepartment of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
Dimitri HendriksVU University Amsterdam, Department of Computer ScienceVerified email at vu.nl
Zena AriolaUniversity of OregonVerified email at cs.uoregon.edu
Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.Verified email at cmp.uea.ac.uk
Henk BarendregtFaculty of Science, Radboud UniversityVerified email at ru.nl
Aart MiddeldorpUniversity of InnsbruckVerified email at uibk.ac.at
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Inge BethkeInformatics Institute, University of AmsterdamVerified email at uva.nl
Femke van RaamsdonkVU University AmsterdamVerified email at vu.nl
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayVerified email at lix.polytechnique.fr
Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
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

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	1770*	1990
Process algebra for synchronous communication JA Bergstra, JW Klop Information and control 60 (1-3), 109-137, 1984	1429	1984
Algebra of communicating processes with abstraction JA Bergstra, JW Klop Theoretical computer science 37, 77-121, 1985	1062	1985
Combinatory reduction systems JW Klop Rijksuniversiteit Utrecht, 2022	889	2022
Combinatory reduction systems: introduction and survey JW Klop, V Van Oostrom, F Van Raamsdonk Theoretical computer science 121 (1-2), 279-308, 1993	391	1993
Conditional rewrite rules: Confluence and termination JA Bergstra, JW Klop Journal of Computer and System Sciences 32 (3), 323-362, 1986	327	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	255	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	209	1987
The algebra of recursively defined processes and the algebra of regular processes JA Bergstra, JW Klop Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July …, 1984	209	1984
Infinitary lambda calculus JR Kennaway, JW Klop, MR Sleep, FJ de Vries Theoretical Computer Science 175 (1), 93-125, 1997	201	1997
Algebra of communicating processes JA Bergstra, JW Klop CWI Monograph series 3, 89-138, 1986	192	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	189	1993
Transfinite reductions in orthogonal term rewriting systems R Kennaway, JW Klop, R Sleep, FJ Devries Information and computation 119 (1), 18-38, 1995	187	1995
Equational term graph rewriting ZM Ariola, JW Klop Fundamenta Informaticae 26 (3-4), 207-240, 1996	174	1996
Decidability of bisimulation equivalence for processes generating context-free languages JA Bergstra, JCM Baeten, JW Klop Lecture Notes in Computer Science 259, 94-111, 1987	159	1987
Term rewriting systems: a tutorial JW Klop Bulletin of the European Association for Theoretical Computer Science, 1987	158	1987
Fixed point semantics in process algebras JA Bergstra, JW Klop	150	1982
Verification of an alternating bit protocol by means of process algebra protocol JA Bergstra, JW Klop Mathematical Methods of Specification and Synthesis of Software Systems' 85 …, 2005	142	2005
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	130	1994
Process theory based on bisimulation semantics JA Bergstra, JW Klop Linear Time, Branching Time and Partial Order in Logics and Models for …, 1989	130	1989

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