Jan Aldert Bergstra

Cited by

	All	Since 2019
Citations	16036	1823
h-index	56	17
i10-index	235	53

860

430

215

645

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202479 96 235 196 220 276 341 335 394 415 456 474 467 363 375 328 394 415 360 341 550 522 846 589 652 477 432 467 429 468 528 258 248 218 250 330 240 381 337 267

Co-authors

Jan Willem KlopVrije Universiteit AmsterdamVerified email at vu.nl
Kees MiddelburgGuest Researcher, Informatics Institute, University of AmsterdamVerified email at uva.nl
Alban PonseGuest Researcher, Informatics Institute, University of AmsterdamVerified email at uva.nl
Inge BethkeInformatics Institute, University of AmsterdamVerified email at uva.nl
Paul KlintProf. in Software Engineering, Univ. of Amsterdam and Head of Software Engineering, CWIVerified email at cwi.nl
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
John-Jules Meyeremeritus Utrecht UniversityVerified email at cs.uu.nl
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Jerzy TiurynProfesor informatyki, Uniwersytet WarszawskiVerified email at mimuw.edu.pl
Gheorghe StefanescuProfessor of Computer Science, University of BucharestVerified email at fmi.unibuc.ro
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Henk BarendregtFaculty of Science, Radboud UniversityVerified email at ru.nl
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgVerified email at uni.lu
Theo P. van der WeideRadboud University, Nijmegen, the NetherlandsVerified email at cs.ru.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
Gerard Renardel de Lavalettehoogleraar Informatica, Rijksuniversiteit GroningenVerified email at rug.nl

Jan Aldert Bergstra

professor of informatics, Institute of Informatics, University of Amsterdam NL

Verified email at uva.nl - Homepage

meadows instruction sequences decision taking outsourcing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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
Handbook of process algebra JA Bergstra, A Ponse, SA Smolka Elsevier, 2001	945	2001
Real time process algebra JCM Baeten, JA Bergstra Formal Aspects of Computing 3, 142-188, 1991	576	1991
Algebraic specification JA Bergstra ACM, 1989	488	1989
Conditional rewrite rules: Confluence and termination JA Bergstra, JW Klop Journal of Computer and System Sciences 32 (3), 323-362, 1986	332	1986
Global renaming operators in concrete process algebra JCM Baeten, JA Bergstra Information and Computation 78 (3), 205-245, 1988	285	1988
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
Module algebra JA Bergstra, J Heering, P Klint Journal of the ACM (JACM) 37 (2), 335-372, 1990	269	1990
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
Algebra of communicating processes JA Bergstra, JW Klop Mathematics and Computer Science, CWI Monograph 1 (89-138), 9, 1986	203	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	197	1993
A characterisation of computable data types by means of a finite equational specification method JA Bergstra, JV Tucker International Colloquium on Automata, Languages, and Programming, 76-90, 1980	192	1980
Algebraic specifications of computable and semicomputable data types JA Bergstra, JV Tucker Theoretical Computer Science 50 (2), 137-181, 1987	188	1987
The discrete time TOOLBUS—a software coordination architecture JA Bergstra, P Klint Science of Computer programming 31 (2-3), 205-229, 1998	168	1998
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
Program algebra for sequential code JA Bergstra, ME Loots The Journal of Logic and Algebraic Programming 51 (2), 125-156, 2002	163	2002
Process algebra with iteration and nesting JA Bergstra, I Bethke, A Ponse The Computer Journal 37 (4), 243-258, 1994	161	1994
Discrete time process algebra JCM Baeten, JA Bergstra Formal Aspects of Computing 8, 188-208, 1996	158*	1996

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