Steffen Jost

	2009
6		Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann: "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM 2009: 354-369
	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	Armelle Bonenfant	[5]
2	Roy Dyckhoff	[2] [3]
3	Christian Ferdinand	[2] [3]
4	Kevin Hammond	[2] [3] [5] [6]
5	Reinhold Heckmann	[2] [3]
6	Christoph Armin Herrmann (Christoph A. Herrmann)	[5]
7	Martin Hofmann	[1] [2] [3] [4] [6]
8	Hans-Wolfgang Loidl	[2] [3] [5] [6]
9	Greg Michaelson	[2] [3]
10	Robert F. Pointon	[2] [3] [5]
11	Norman Scaife	[2] [3] [6]
12	Jocelyn Sérot	[2] [3]
13	Andy Wallace	[2] [3]