Jesper Bengtson

791 total citations
18 papers, 303 citations indexed

About

Jesper Bengtson is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Jesper Bengtson has authored 18 papers receiving a total of 303 indexed citations (citations by other indexed papers that have themselves been cited), including 15 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 7 papers in Computer Networks and Communications. Recurrent topics in Jesper Bengtson's work include Logic, programming, and type systems (11 papers), Formal Methods in Verification (9 papers) and Logic, Reasoning, and Knowledge (6 papers). Jesper Bengtson is often cited by papers focused on Logic, programming, and type systems (11 papers), Formal Methods in Verification (9 papers) and Logic, Reasoning, and Knowledge (6 papers). Jesper Bengtson collaborates with scholars based in Sweden, Denmark and Netherlands. Jesper Bengtson's co-authors include Karthikeyan Bhargavan, Cédric Fournet, Sergio Maffeis, Joachim Parrow, Andrew D. Gordon, Magnus Johansson, Björn Victor, Robbert Krebbers, Andrew Gordon and Lars Birkedal and has published in prestigious journals such as ACM Transactions on Programming Languages and Systems, Journal of Automated Reasoning and International Journal on Software Tools for Technology Transfer.

In The Last Decade

Jesper Bengtson

16 papers receiving 291 citations

Peers

Jesper Bengtson
Julian Rathke United Kingdom
Pierre-Malo Deniélou United Kingdom
Daniele Gorla Italy
Johannes Borgström Sweden
Björn Victor Sweden
Santiago Escobar Spain
Rumyana Neykova United Kingdom
Nils Gesbert France
Betti Venneri Italy
M.E. Stickel United States
Julian Rathke United Kingdom
Jesper Bengtson
Citations per year, relative to Jesper Bengtson Jesper Bengtson (= 1×) peers Julian Rathke

Countries citing papers authored by Jesper Bengtson

Since Specialization
Citations

This map shows the geographic impact of Jesper Bengtson'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 Jesper Bengtson with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jesper Bengtson more than expected).

Fields of papers citing papers by Jesper Bengtson

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jesper Bengtson. 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 Jesper Bengtson. The network helps show where Jesper Bengtson may publish in the future.

Co-authorship network of co-authors of Jesper Bengtson

This figure shows the co-authorship network connecting the top 25 collaborators of Jesper Bengtson. A scholar is included among the top collaborators of Jesper Bengtson 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 Jesper Bengtson. Jesper Bengtson is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

18 of 18 papers shown
1.
Bengtson, Jesper, et al.. (2025). A Sound and Complete Projection for Global Types. Journal of Automated Reasoning. 69(2).
2.
Bengtson, Jesper, et al.. (2022). Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic. Logical Methods in Computer Science. Volume 18, Issue 2. 8 indexed citations
3.
Krebbers, Robbert, et al.. (2021). Machine-checked semantic session typing. IT University Of Copenhagen (IT University of Copenhagen). 178–198. 11 indexed citations
4.
Bengtson, Jesper, et al.. (2019). Actris: session-type based reasoning in separation logic. Proceedings of the ACM on Programming Languages. 4(POPL). 1–30. 20 indexed citations
5.
Faithfull, Alexander, et al.. (2017). Coqoon. International Journal on Software Tools for Technology Transfer. 20(2). 125–137. 1 indexed citations
6.
Bengtson, Jesper, Joachim Parrow, & Tjark Weber. (2015). Psi-Calculi in Isabelle. Journal of Automated Reasoning. 56(1). 1–47. 3 indexed citations
7.
Bengtson, Jesper. (2012). The pi-calculus in nominal logic.. 2012.
8.
Bengtson, Jesper. (2012). Psi-calculi in Isabelle.. 2012. 1 indexed citations
9.
Bengtson, Jesper, et al.. (2012). Charge! A framework for higher-order separation logic in Coq. IT University Of Copenhagen (IT University of Copenhagen). 12 indexed citations
10.
Bengtson, Jesper, Magnus Johansson, Joachim Parrow, & Björn Victor. (2011). Psi-calculi: a framework for mobile processes with nominal data and logic. Logical Methods in Computer Science. Volume 7, Issue 1. 40 indexed citations
11.
Bengtson, Jesper, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, & Sergio Maffeis. (2011). Refinement types for secure implementations. ACM Transactions on Programming Languages and Systems. 33(2). 1–45. 95 indexed citations
12.
Bengtson, Jesper. (2010). Formalising Process Calculi. 13 indexed citations
13.
Johansson, Magnus, Jesper Bengtson, Joachim Parrow, & Björn Victor. (2010). Weak Equivalences in Psi-Calculi. 322–331. 10 indexed citations
14.
Bengtson, Jesper & Joachim Parrow. (2009). Formalising the pi-calculus using nominal logic. Logical Methods in Computer Science. Volume 5, Issue 2. 16 indexed citations
15.
Bengtson, Jesper, Magnus Johansson, Joachim Parrow, & Björn Victor. (2009). Psi-calculi: Mobile Processes, Nominal Data, and Logic. 39–48. 21 indexed citations
16.
Bengtson, Jesper, Karthikeyan Bhargavan, Cédric Fournet, Andrew Gordon, & Sergio Maffeis. (2008). Refinement Types for Secure Implementations. KTH Publication Database DiVA (KTH Royal Institute of Technology). 2028. 17–32. 49 indexed citations
17.
Bengtson, Jesper & Joachim Parrow. (2007). A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle. Electronic Notes in Theoretical Computer Science. 192(1). 61–75. 1 indexed citations
18.
Bengtson, Jesper, et al.. (2004). Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. Electronic Notes in Theoretical Computer Science. 105. 11–20. 2 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

Breakdown of academic impact, for papers by Julian Rathke Breakdown of academic impact, for papers by Pierre-Malo Deniélou Breakdown of academic impact, for papers by Daniele Gorla Breakdown of academic impact, for papers by Johannes Borgström Breakdown of academic impact, for papers by Björn Victor Breakdown of academic impact, for papers by Santiago Escobar Breakdown of academic impact, for papers by Rumyana Neykova Breakdown of academic impact, for papers by Nils Gesbert Breakdown of academic impact, for papers by Betti Venneri Breakdown of academic impact, for papers by M.E. Stickel
Rankless by CCL
2026