Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. - Michael Baldamus; Jesper Bengtson; Gian-Luigi Ferrari 002; Roberto Raggi (WSFM, 2004)

Formalising the pi-Calculus Using Nominal Logic. - Jesper Bengtson; Joachim Parrow (FoSSaCS, 2007)

A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle. - Jesper Bengtson; Joachim Parrow (SOS@LICS/ICALP, 2007)

Extended pi-Calculi. - Magnus Johansson; Joachim Parrow; Björn Victor; Jesper Bengtson (ICALP (2), 2008)

Psi-calculi: Mobile Processes, Nominal Data, and Logic. - Jesper Bengtson; Magnus Johansson; Joachim Parrow; Björn Victor (LICS, 2009)

Psi-calculi in Isabelle. - Jesper Bengtson; Joachim Parrow (TPHOLs, 2009)

Formalising the pi-calculus using nominal logic - Jesper Bengtson; Joachim Parrow (Log. Methods Comput. Sci., 2009)

Weak Equivalences in Psi-Calculi. - Magnus Johansson; Jesper Bengtson; Joachim Parrow; Björn Victor (LICS, 2010)

Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq. - Jesper Bengtson; Jonas Braband Jensen; Filip Sieczkowski; Lars Birkedal (ITP, 2011)

Psi-calculi: a framework for mobile processes with nominal data and logic - Jesper Bengtson; Magnus Johansson; Joachim Parrow; Björn Victor (Log. Methods Comput. Sci., 2011)

Refinement types for secure implementations. - Jesper Bengtson; Karthikeyan Bhargavan; Cédric Fournet; Andrew D. Gordon 001; Sergio Maffeis (ACM Trans. Program. Lang. Syst., 2011)

Charge! - A Framework for Higher-Order Separation Logic in Coq. - Jesper Bengtson; Jonas Braband Jensen; Lars Birkedal (ITP, 2012)

Psi-calculi in Isabelle. - Jesper Bengtson (Arch. Formal Proofs, 2012)

The pi-calculus in nominal logic. - Jesper Bengtson (Arch. Formal Proofs, 2012)

CCS in nominal logic. - Jesper Bengtson (Arch. Formal Proofs, 2012)

Session Types Meet Separation Logic. - Jesper Bengtson (LFMTP, 2014)

Extensible and Efficient Automation Through Reflective Tactics. - Gregory Malecha; Jesper Bengtson (ESOP, 2016)

Psi-Calculi in Isabelle. - Jesper Bengtson; Joachim Parrow; Tjark Weber (J. Autom. Reason., 2016)

Formally verifying exceptions for low-level code with separation logic. - Marco Paviotti; Jesper Bengtson (J. Log. Algebraic Methods Program., 2018)

Coqoon - An IDE for interactive proof development in Coq. - Alexander John Faithfull; Jesper Bengtson; Enrico Tassi; Carst Tankink (Int. J. Softw. Tools Technol. Transf., 2018)

Actris: session-type based reasoning in separation logic. - Jonas Kastberg Hinrichsen; Jesper Bengtson; Robbert Krebbers (Proc. ACM Program. Lang., 2020)

Machine-checked semantic session typing. - Jonas Kastberg Hinrichsen; Daniël Louwrink; Robbert Krebbers; Jesper Bengtson (CPP, 2021)

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic. - Jonas Kastberg Hinrichsen; Jesper Bengtson; Robbert Krebbers (Log. Methods Comput. Sci., 2022)

Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction. - Dawit Legesse Tirore; Jesper Bengtson; Marco Carbone (ECOOP, 2025)

Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact). - Dawit Legesse Tirore; Jesper Bengtson; Marco Carbone (Dagstuhl Artifacts Ser., 2025)

A Sound and Complete Projection for Global Types. - Dawit Legesse Tirore; Jesper Bengtson; Marco Carbone (J. Autom. Reason., 2025)