J.A. Bergstra

8.2k total citations
267 papers, 3.1k citations indexed

About

J.A. Bergstra is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, J.A. Bergstra has authored 267 papers receiving a total of 3.1k indexed citations (citations by other indexed papers that have themselves been cited), including 194 papers in Computational Theory and Mathematics, 173 papers in Artificial Intelligence and 32 papers in Computer Networks and Communications. Recurrent topics in J.A. Bergstra's work include Formal Methods in Verification (122 papers), Logic, programming, and type systems (120 papers) and Logic, Reasoning, and Knowledge (62 papers). J.A. Bergstra is often cited by papers focused on Formal Methods in Verification (122 papers), Logic, programming, and type systems (120 papers) and Logic, Reasoning, and Knowledge (62 papers). J.A. Bergstra collaborates with scholars based in Netherlands, United Kingdom and Poland. J.A. Bergstra's co-authors include Jan Willem Klop, J. C. M. Baeten, John V. Tucker, C.A. Middelburg, Alban Ponse, Jan Heering, Paul Klint, Paul Klint, Johan van Benthem and Scott A. Smolka and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM Computing Surveys and Journal of the ACM.

In The Last Decade

J.A. Bergstra

240 papers receiving 2.7k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
J.A. Bergstra Netherlands 27 2.4k 2.2k 438 368 342 267 3.1k
Tobias Nipkow Germany 22 2.2k 0.9× 3.1k 1.4× 638 1.5× 578 1.6× 429 1.3× 94 3.7k
Lawrence C. Paulson United Kingdom 25 1.8k 0.7× 2.7k 1.2× 777 1.8× 428 1.2× 376 1.1× 114 3.3k
R. Milner United Kingdom 7 1.7k 0.7× 1.4k 0.6× 562 1.3× 430 1.2× 428 1.3× 12 2.4k
Gordon Plotkin United Kingdom 37 4.6k 1.9× 6.4k 2.8× 1.2k 2.8× 585 1.6× 795 2.3× 127 7.5k
R. M. Burstall United Kingdom 21 1.4k 0.6× 2.1k 1.0× 406 0.9× 482 1.3× 401 1.2× 40 2.7k
Glynn Winskel United Kingdom 23 1.7k 0.7× 1.5k 0.7× 604 1.4× 232 0.6× 163 0.5× 119 2.4k
Robert Harper United States 38 2.9k 1.2× 5.5k 2.4× 1.4k 3.2× 777 2.1× 1.7k 4.9× 172 6.3k
Egon Börger Italy 20 1.1k 0.4× 1.4k 0.6× 515 1.2× 512 1.4× 277 0.8× 101 2.3k
J Strother Moore United States 20 1.4k 0.6× 2.5k 1.1× 710 1.6× 357 1.0× 1.2k 3.6× 78 3.1k
Jan Willem Klop Netherlands 23 2.1k 0.8× 2.2k 1.0× 375 0.9× 335 0.9× 245 0.7× 111 2.8k

Countries citing papers authored by J.A. Bergstra

Since Specialization
Citations

This map shows the geographic impact of J.A. Bergstra's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by J.A. Bergstra with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites J.A. Bergstra more than expected).

Fields of papers citing papers by J.A. Bergstra

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by J.A. Bergstra. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by J.A. Bergstra. The network helps show where J.A. Bergstra may publish in the future.

Co-authorship network of co-authors of J.A. Bergstra

This figure shows the co-authorship network connecting the top 25 collaborators of J.A. Bergstra. A scholar is included among the top collaborators of J.A. Bergstra based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with J.A. Bergstra. J.A. Bergstra is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
2.
Bergstra, J.A. & Marcus Düwell. (2024). Extreme Accusations and the Risk of Overaccusing. Figshare.
3.
Bergstra, J.A. & John V. Tucker. (2024). Fracterm Calculus for Signed Common Meadows. Figshare. 2 indexed citations
4.
Bergstra, J.A. & John V. Tucker. (2023). Eager Term Rewriting For The Fracterm Calculus Of Common Meadows. The Computer Journal. 67(5). 1866–1871. 1 indexed citations
5.
Bergstra, J.A. & John V. Tucker. (2023). Naive Fracterm Calculus. JUCS - Journal of Universal Computer Science. 29(9). 961–987. 3 indexed citations
6.
Bergstra, J.A. & John V. Tucker. (2023). Eager Equality for Rational Number Arithmetic. ACM Transactions on Computational Logic. 24(3). 1–28. 2 indexed citations
7.
Bergstra, J.A.. (2021). Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent. SHILAP Revista de lepidopterología. 31(1). 1–50. 2 indexed citations
8.
Bergstra, J.A.. (2020). Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation. SHILAP Revista de lepidopterología. 30(2). 167–203. 2 indexed citations
9.
Bergstra, J.A.. (2019). Adams Conditioning and Likelihood Ratio Transfer Mediated Inference. UvA-DARE (University of Amsterdam). 29(1). 1–58. 8 indexed citations
10.
Bergstra, J.A. & C.A. Middelburg. (2006). Synchronous Cooperation for Explicit Multi-Threading. Data Archiving and Networked Services (DANS). 5 indexed citations
11.
Bergstra, J.A. & Alban Ponse. (2004). Execution Architectures for Program Algebra. UvA-DARE (University of Amsterdam). 1 indexed citations
12.
Bergstra, J.A., et al.. (1996). Sequential Data Algebra Primitives. UvA-DARE (University of Amsterdam). 1 indexed citations
13.
Bergstra, J.A., J. C. M. Baeten, & Roland Bol. (1994). A real time process logic. Data Archiving and Networked Services (DANS). 1 indexed citations
14.
Bergstra, J.A. & John V. Tucker. (1993). On bounds for the specification of finite data types of means of equations and conditional equations. John Wiley & Sons, Inc. eBooks. 103–122.
15.
Bergstra, J.A. & J. C. M. Baeten. (1992). Asynchronous communication in real space process algebra. Utrecht University Repository (Utrecht University). 5 indexed citations
16.
Bergstra, J.A. & Jan Willem Klop. (1992). An introduction to process algebra. Utrecht University Repository (Utrecht University). 1–21. 1 indexed citations
17.
Bergstra, J.A. & J. C. M. Baeten. (1990). Process algebra with a zero object. Utrecht University Repository (Utrecht University). 15 indexed citations
18.
Bergstra, J.A. & Jan Willem Klop. (1983). An algebraic specification method for processes over a finite action set. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–13. 1 indexed citations
19.
Bergstra, J.A. & J-J.Ch. Meyer. (1982). Equational specifications of finite minimal unoids, using unary hidden functions only. Utrecht University Repository (Utrecht University). 2 indexed citations
20.
Bergstra, J.A., et al.. (1982). Hoare's logic is incomplete when it does not have to be. Lecture notes in computer science. 131. 9–23. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026