Jesper Bengtson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A sound and complete projection for global types	2024-11-26	Paper
scientific article; zbMATH DE number 7566072 (Why is no real title available?)	2022-08-02	Paper
Formally verifying exceptions for low-level code with separation logic Journal of Logical and Algebraic Methods in Programming	2017-12-01	Paper
Psi-calculi in Isabelle Journal of Automated Reasoning	2016-05-26	Paper
Extensible and efficient automation through reflective tactics Programming Languages and Systems	2016-04-26	Paper
A completeness proof for bisimulation in the pi-calculus using Isabelle Electronic Notes in Theoretical Computer Science	2014-01-10	Paper
Web services as a new approach to distributing and coordinating semantics-based verification toolkits	2013-09-11	Paper
Charge! A framework for higher-order separation logic in Coq Interactive Theorem Proving	2012-09-20	Paper
Verifying object-oriented programs with higher-order separation logic in Coq Interactive Theorem Proving	2011-08-17	Paper
Psi-calculi: a framework for mobile processes with nominal data and logic Logical Methods in Computer Science	2011-05-26	Paper
Psi-calculi in Isabelle Lecture Notes in Computer Science	2009-10-20	Paper
Formalising the pi-calculus using nominal logic Logical Methods in Computer Science	2009-08-20	Paper
Extended pi-Calculi Automata, Languages and Programming	2008-08-19	Paper
Formalising the π-Calculus Using Nominal Logic Foundations of Software Science and Computational Structures	2007-09-07	Paper

Research outcomes over time

This page was built for person: Jesper Bengtson