Jan Willem Klop

Geciteerd door

	Alles	Sinds 2019
Citaties	12566	1009
h-index	49	13
i10-index	111	23

680

340

170

510

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202464 71 188 150 217 275 302 311 369 445 488 560 476 415 364 288 363 338 285 270 514 347 666 362 442 374 289 345 296 296 260 197 213 229 212 199 132 134 192 112

Openbare toegang

Alles bekijken

4 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLGeverifieerd e-mailadres voor uva.nl
Jos BaetenGeverifieerd e-mailadres voor cwi.nl
Jörg EndrullisVU University AmsterdamGeverifieerd e-mailadres voor endrullis.de
Vincent van OostromGeverifieerd e-mailadres voor javakade.nl
Zena AriolaUniversity of OregonGeverifieerd e-mailadres voor cs.uoregon.edu
Dimitri HendriksVU University Amsterdam, Department of Computer ScienceGeverifieerd e-mailadres voor vu.nl
Henk BarendregtFaculty of Science, Radboud UniversityGeverifieerd e-mailadres voor ru.nl
Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.Geverifieerd e-mailadres voor cmp.uea.ac.uk
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgGeverifieerd e-mailadres voor informatik.uni-oldenburg.de
Aart MiddeldorpUniversity of InnsbruckGeverifieerd e-mailadres voor uibk.ac.at
Inge BethkeInformatics Institute, University of AmsterdamGeverifieerd e-mailadres voor uva.nl
Femke van RaamsdonkVU University AmsterdamGeverifieerd e-mailadres voor vu.nl
Krzysztof R. AptCWI fellow, CWI , The NetherlandsGeverifieerd e-mailadres voor cwi.nl
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayGeverifieerd e-mailadres voor lix.polytechnique.fr
John-Jules Meyeremeritus Utrecht UniversityGeverifieerd e-mailadres voor cs.uu.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Geverifieerd e-mailadres voor cwi.nl
Catuscia PalamidessiInriaGeverifieerd e-mailadres voor lix.polytechnique.fr
Detlef PlumpDepartment of Computer Science, University of YorkGeverifieerd e-mailadres voor york.ac.uk
Aleksi SaarelaAcademy Research Fellow, University of TurkuGeverifieerd e-mailadres voor utu.fi
Fer-Jan de VriesFormerly: Department of Computer Science, University of Leicester

Volgen

Jan Willem Klop

Vrije Universiteit Amsterdam

Geverifieerd e-mailadres voor vu.nl

mathematics logic computer science


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Term rewriting systems JW Klop, JW Klop Centrum voor Wiskunde en Informatica, 1990	1849*	1990
Process algebra for synchronous communication JA Bergstra, JW Klop Information and control 60 (1-3), 109-137, 1984	1483	1984
Algebra of communicating processes with abstraction JA Bergstra, JW Klop Theoretical computer science 37, 77-121, 1985	1106	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	403	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	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
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	197	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	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	164	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	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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs