Jan Aldert Bergstra

Cited by

	All	Since 2016
Citations	14117	1365
h-index	53	16
i10-index	203	35

820

410

205

615

198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202162 97 60 77 91 237 171 191 236 329 285 356 411 477 423 452 354 351 320 356 352 323 320 505 501 817 561 672 465 438 449 406 427 478 257 247 217 238 304 83

Co-authors

Jan Willem KlopVU University AmsterdamVerified email at vu.nl
Kees MiddelburgGuest Researcher, Informatics Institute, University of AmsterdamVerified email at uva.nl
Alban PonseAssociate Professor of Computer Science, 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 MeyerUtrecht University / Emotional Brain BVVerified email at cs.uu.nl
Jerzy TiurynProfesor informatyki, Uniwersytet WarszawskiVerified email at mimuw.edu.pl
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Gheorghe StefanescuProfessor of Computer Science, University of BucharestVerified email at fmi.unibuc.ro
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Henk BarendregtRadboud UniversityVerified email at cs.ru.nl
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
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
Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
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	1353	1984
Algebra of communicating processes with abstraction JA Bergstra, JW Klop Theoretical computer science 37, 77-121, 1985	986	1985
Handbook of process algebra JA Bergstra, A Ponse, SA Smolka Elsevier, 2001	852	2001
Real time process algebra JCM Baeten, JA Bergstra Formal Aspects of Computing 3 (2), 142-188, 1991	554	1991
Algebraic specification JA Bergstra ACM, 1989	463	1989
Conditional rewrite rules: Confluence and termination JA Bergstra, JW Klop Journal of Computer and System Sciences 32 (3), 323-362, 1986	316	1986
Module algebra JA Bergstra, J Heering, P Klint Journal of the ACM (JACM) 37 (2), 335-372, 1990	251	1990
Syntax and defining equations for an interrupt mechanism in process algebra JA Bergstra, JCM Baeten, JW Klop Fundamenta informaticae: quarterly 9, 127-167, 1986	244	1986
The algebra of recursively defined processes and the algebra of regular processes JA Bergstra, JW Klop Algebra of Communicating Processes, 1-25, 1995	220	1995
On the consistency of Koomen's fair abstraction rule JCM Baeten, JA Bergstra, JW Klop Theoretical Computer Science 51 (1-2), 129-176, 1987	203	1987
Algebra of communicating processes JA Bergstra, JW Klop CWI Monograph series 3, 89-138, 1986	182	1986
Algebraic specifications of computable and semi-computable data structures JA Bergstra, JV Tucker Theoretical Computer Science: the journal of the EATCS 50 (2), 137-181, 1987	170	1987
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	168	1993
The discrete time TOOLBUS—a software coordination architecture JA Bergstra, P Klint Science of Computer Programming 31 (2-3), 205-229, 1998	167	1998
Global renaming operators in concrete process algebra JCM Baeten, JA Bergstra Information and Computation 78 (3), 205-245, 1988	164	1988
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	158	1980
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	157	1987
Program algebra for sequential code JA Bergstra, ME Loots The Journal of Logic and Algebraic Programming 51 (2), 125-156, 2002	149	2002
Discrete time process algebra JCM Baeten, JA Bergstra Formal aspects of computing 8 (2), 188-208, 1996	148*	1996
Fixed point semantics in process algebras JA Bergstra, JW Klop	148	1982

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

Upload PDF

Follow this author

Cited by

Co-authors