Statistics
Publications
11
Citations
635
H-Index
11
Active since
2008
Jesper Bengtson is an author at Uppsala University specializing in computer science, computing, and formal methods.
Publications per year
2008–2022
11
11
Refinement Types for Secure Implementations
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet et al. · 2008 · 88 citations · Full text
Psi-calculi: Mobile Processes, Nominal Data, and Logic
Jesper Bengtson, Magnus Johansson, Joachim Parrow et al. · 2009 · 56 citations
Computing, Computer Science, Logic +12
1–5 of 11