Jan Aldert Bergstra

Cited by

	All	Since 2018
Citations	15212	1581
h-index	55	16
i10-index	225	46

840

420

210

630

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202361 61 91 196 162 227 226 355 290 364 386 458 456 446 359 360 313 369 374 349 300 695 517 828 552 641 479 431 468 414 487 534 253 258 218 252 311 265 398 120

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
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
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
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
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	1429	1984
Algebra of communicating processes with abstraction JA Bergstra, JW Klop Theoretical computer science 37, 77-121, 1985	1062	1985
Handbook of process algebra JA Bergstra, A Ponse, SA Smolka Elsevier, 2001	899	2001
Real time process algebra JCM Baeten, JA Bergstra Formal Aspects of Computing 3, 142-188, 1991	571	1991
Algebraic specification JA Bergstra ACM, 1989	480	1989
Conditional rewrite rules: Confluence and termination JA Bergstra, JW Klop Journal of Computer and System Sciences 32 (3), 323-362, 1986	327	1986
Module algebra JA Bergstra, J Heering, P Klint Journal of the ACM (JACM) 37 (2), 335-372, 1990	262	1990
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
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
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	186	1987
A characterisation of computable data types by means of a finite equational specification method JA Bergstra, JV Tucker Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the …, 1980	179	1980
Global renaming operators in concrete process algebra JCM Baeten, JA Bergstra Information and Computation 78 (3), 205-245, 1988	172	1988
The discrete time TOOLBUS—a software coordination architecture JA Bergstra, P Klint Science of Computer programming 31 (2-3), 205-229, 1998	166	1998
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
Program algebra for sequential code JA Bergstra, ME Loots The Journal of Logic and Algebraic Programming 51 (2), 125-156, 2002	158	2002
Process algebra with iteration and nesting JA Bergstra, I Bethke, A Ponse The Computer Journal 37 (4), 243-258, 1994	156	1994
Discrete time process algebra JCM Baeten, JA Bergstra Formal Aspects of Computing 8, 188-208, 1996	154*	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