Jan Willem Klop

Citata da

	Tutte	Dal 2020
Citazioni	12627	838
Indice H	49	11
i10-index	112	16

680

340

170

510

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202571 187 151 217 275 302 312 368 445 489 560 476 415 365 290 360 340 285 272 517 347 666 362 443 383 288 344 292 296 260 199 213 229 212 200 135 134 189 140 12

Accesso pubblico

Visualizza tutto

4 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NLEmail verificata su uva.nl
Jos BaetenEmail verificata su cwi.nl
Jörg EndrullisVU University AmsterdamEmail verificata su endrullis.de
Vincent van OostromEmail verificata su javakade.nl
Zena AriolaUniversity of OregonEmail verificata su cs.uoregon.edu
Dimitri HendriksVU University Amsterdam, Department of Computer ScienceEmail verificata su vu.nl
Henk BarendregtFaculty of Science, Radboud UniversityEmail verificata su ru.nl
Richard KennawaySenior Research Scientist, John Innes Centre, Norwich, U.K.Email verificata su cmp.uea.ac.uk
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgEmail verificata su informatik.uni-oldenburg.de
Aart MiddeldorpUniversity of InnsbruckEmail verificata su uibk.ac.at
Inge BethkeInformatics Institute, University of AmsterdamEmail verificata su uva.nl
Femke van RaamsdonkVU University AmsterdamEmail verificata su vu.nl
Krzysztof R. AptCWI fellow, CWI , The NetherlandsEmail verificata su cwi.nl
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayEmail verificata su lix.polytechnique.fr
John-Jules Meyeremeritus Utrecht UniversityEmail verificata su cs.uu.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email verificata su cwi.nl
Catuscia PalamidessiInriaEmail verificata su lix.polytechnique.fr
Detlef PlumpDepartment of Computer Science, University of YorkEmail verificata su york.ac.uk
Aleksi SaarelaAcademy Research Fellow, University of TurkuEmail verificata su utu.fi
Fer-Jan de VriesFormerly: Department of Computer Science, University of Leicester

Segui

Jan Willem Klop

Vrije Universiteit Amsterdam

Email verificata su vu.nl

mathematics logic computer science


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	1493	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	275	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	221	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	165	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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori