Jesper Bengtson

	2011
12		Jesper Bengtson, Jonas Braband Jensen, Filip Sieczkowski, Lars Birkedal: Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq. ITP 2011: 22-38
11		Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: Refinement types for secure implementations. ACM Trans. Program. Lang. Syst. 33(2): 8 (2011)
10		Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor: Psi-calculi: a framework for mobile processes with nominal data and logic Logical Methods in Computer Science 7(1): (2011)
	2010
9		Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor: Weak Equivalences in Psi-Calculi. LICS 2010: 322-331
	2009
8		Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor: Psi-calculi: Mobile Processes, Nominal Data, and Logic. LICS 2009: 39-48
7		Jesper Bengtson, Joachim Parrow: Psi-calculi in Isabelle. TPHOLs 2009: 99-114
6		Jesper Bengtson, Joachim Parrow: Formalising the pi-calculus using nominal logic Logical Methods in Computer Science 5(2): (2009)
	2008
5		Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: Refinement Types for Secure Implementations. CSF 2008: 17-32
4		Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson: Extended pi-Calculi. ICALP (2) 2008: 87-98
	2007
3		Jesper Bengtson, Joachim Parrow: Formalising the pi-Calculus Using Nominal Logic. FoSSaCS 2007: 63-77
2		Jesper Bengtson, Joachim Parrow: A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle. Electr. Notes Theor. Comput. Sci. 192(1): 61-75 (2007)
	2004
1		Michael Baldamus, Jesper Bengtson, Gian Luigi Ferrari, Roberto Raggi: Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. Electr. Notes Theor. Comput. Sci. 105: 11-20 (2004)

Coauthor Index

1	Michael Baldamus	[1]
2	Karthikeyan Bhargavan	[5] [11]
3	Lars Birkedal	[12]
4	Gian Luigi Ferrari (GianLuigi Ferrari)	[1]
5	Cédric Fournet	[5] [11]
6	Andrew D. Gordon (Andy Gordon)	[5] [11]
7	Jonas Braband Jensen	[12]
8	Magnus Johansson	[4] [8] [9] [10]
9	Sergio Maffeis	[5] [11]
10	Joachim Parrow	[2] [3] [4] [6] [7] [8] [9] [10]
11	Roberto Raggi	[1]
12	Filip Sieczkowski	[12]
13	Björn Victor	[4] [8] [9] [10]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page