Jan Aldert Bergstra

Citado por

	Todos	Desde 2018
Citações	15205	1574
Índice h	55	16
Índice i10	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 113

Coautores

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

Seguir

Jan Aldert Bergstra

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

Email confirmado em uva.nl - Página inicial

meadows instruction sequences decision taking outsourcing


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	326	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

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores