Jan Aldert Bergstra

Citata da

	Tutte	Dal 2020
Citazioni	16321	1714
Indice H	56	18
i10-index	238	48

860

430

215

645

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202596 235 196 220 277 341 337 397 415 457 474 467 363 376 329 391 422 359 343 550 525 850 591 655 499 424 468 431 468 529 260 249 220 251 329 239 386 319 382 35

Coautori

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

Segui

Jan Aldert Bergstra

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

Email verificata su uva.nl - Home page

meadows instruction sequences decision taking outsourcing


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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
Handbook of process algebra JA Bergstra, A Ponse, SA Smolka Elsevier, 2001	950	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	490	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	289	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	274	1986
Module algebra JA Bergstra, J Heering, P Klint Journal of the ACM (JACM) 37 (2), 335-372, 1990	271	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	217	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	199	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	194	1980
Algebraic specifications of computable and semicomputable data types JA Bergstra, JV Tucker Theoretical Computer Science 50 (2), 137-181, 1987	190	1987
The history of information security: a comprehensive handbook KMM de Leeuw, J Bergstra Elsevier, 2007	169	2007
The discrete time TOOLBUS—a software coordination architecture JA Bergstra, P Klint Science of Computer programming 31 (2-3), 205-229, 1998	169	1998
Program algebra for sequential code JA Bergstra, ME Loots The Journal of Logic and Algebraic Programming 51 (2), 125-156, 2002	165	2002
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
Process algebra with iteration and nesting JA Bergstra, I Bethke, A Ponse The Computer Journal 37 (4), 243-258, 1994	163	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