Lennart Beringer

	2009
16		Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations: higher-order store. PPDP 2009: 301-312
	2007
15		Lennart Beringer, Martin Hofmann: Secure information flow and program logics. CSF 2007: 233-248
14		Lennart Beringer, Martin Hofmann, Mariela Pavlova: Certification Using the Mobius Base Logic. FMCO 2007: 25-51
13		Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations with dynamic allocation. PPDP 2007: 87-96
12		Lennart Beringer: Functional Elimination of Phi-instructions. Electr. Notes Theor. Comput. Sci. 176(3): 3-20 (2007)
11		David Aspinall, Lennart Beringer, Alberto Momigliano: Optimisation Validation. Electr. Notes Theor. Comput. Sci. 176(3): 37-59 (2007)
10		David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A program logic for resources. Theor. Comput. Sci. 389(3): 411-445 (2007)
	2006
9		Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer: Reading, Writing and Relations. APLAS 2006: 114-130
8		Lennart Beringer, Martin Hofmann: A Bytecode Logic for JML and Types. APLAS 2006: 389-405
7		Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard: MOBIUS: Mobility, Ubiquity, Security. TGC 2006: 10-29
	2005
6		Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska: Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming 2005: 211-226
	2004
5		Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska: Automatic Certification of Heap Consumption. LPAR 2004: 347-362
4		David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A Program Logic for Resource Verification. TPHOLs 2004: 34-49
	2003
3		Lennart Beringer: A Programming Language Based Analysis of Operand Forwarding. CHARME 2003: 270-276
2		Lennart Beringer, Kenneth MacKenzie, Ian Stark: Grail: a functional form for imperative mobile code. Electr. Notes Theor. Comput. Sci. 85(1): (2003)
	2001
1		Lennart Beringer: Typing Assembly Programs with Explicit Forwarding. TACS 2001: 514-534

Coauthor Index

1	David Aspinall	[4] [6] [10] [11]
2	Gilles Barthe	[7]
3	Nick Benton (P. N. Benton)	[9] [13] [16]
4	Pierre Crégut	[7]
5	Stephen Gilmore (Stephen T. Gilmore)	[6]
6	Benjamin Grégoire	[7]
7	Martin Hofmann	[4] [5] [6] [7] [8] [9] [10] [13] [14] [15] [16]
8	Andrew Kennedy	[9] [13] [16]
9	Hans-Wolfgang Loidl	[4] [6] [10]
10	Kenneth MacKenzie	[2] [6]
11	Alberto Momigliano	[4] [5] [6] [10] [11]
12	Peter Müller	[7]
13	Mariela Pavlova	[14]
14	Erik Poll	[7]
15	Germán Puebla (German Puebla)	[7]
16	Donald Sannella	[6]
17	Olha Shkaravska	[5] [6]
18	Ian Stark	[2] [6] [7]
19	Eric Vétillard	[7]