Steffen Jost

	2010
10		Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann: Static determination of quantitative resource usage for higher-order programs. POPL 2010: 223-236
9		Steffen Jost: Automated amortised analysis. Ludwig Maximilians University Munich 2010
	2009
8		Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann: "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM 2009: 354-369
7		Hans-Wolfgang Loidl, Steffen Jost: Improvements to a Resource Analysis for Hume. FOPARA 2009: 18-33
6		Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer: A Proof-Carrying-Code Infrastructure for Resources. LADC 2009: 127-134
	2007
5		Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon: Automatic Amortised Worst-Case Execution Time Analysis. WCET 2007
	2006
4		Martin Hofmann, Steffen Jost: Type-Based Amortised Heap-Space Analysis. ESOP 2006: 22-37
3		Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET 2006
	2005
2		Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: The Embounded project (project start paper). Trends in Functional Programming 2005: 195-210
	2003
1		Martin Hofmann, Steffen Jost: Static prediction of heap space usage for first-order functional programs. POPL 2003: 185-197

Coauthor Index

1	Lennart Beringer	[6]
2	Armelle Bonenfant	[5]
3	Roy Dyckhoff	[2] [3]
4	Christian Ferdinand	[2] [3]
5	Kevin Hammond	[2] [3] [5] [8] [10]
6	Reinhold Heckmann	[2] [3]
7	Christoph Armin Herrmann (Christoph A. Herrmann)	[5]
8	Martin Hofmann	[1] [2] [3] [4] [8] [10]
9	Hans-Wolfgang Loidl	[2] [3] [5] [6] [7] [8] [10]
10	Kenneth MacKenzie	[6]
11	Greg Michaelson	[2] [3]
12	Robert F. Pointon	[2] [3] [5]
13	Norman Scaife	[2] [3] [8]
14	Jocelyn Sérot	[2] [3]
15	Andy Wallace	[2] [3]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page