Static prediction of heap space usage for first-order functional programs. - Martin Hofmann 001; Steffen Jost (POPL, 2003)

The Embounded project (project start paper). - Kevin Hammond; Roy Dyckhoff; Christian Ferdinand; Reinhold Heckmann; Martin Hofmann 001; Steffen Jost; Hans-Wolfgang Loidl; Greg Michaelson; Robert F. Pointon; Norman Scaife; Jocelyn Sérot; Andy Wallace (Trends in Functional Programming, 2005)

Type-Based Amortised Heap-Space Analysis. - Martin Hofmann 001; Steffen Jost (ESOP, 2006)

Towards Formally Verifiable WCET Analysis for a Functional Programming Language. - Kevin Hammond; Christian Ferdinand; Reinhold Heckmann; Roy Dyckhoff; Martin Hofmann 001; Steffen Jost; Hans-Wolfgang Loidl; Greg Michaelson; Robert F. Pointon; Norman Scaife; Jocelyn Sérot; Andy Wallace (WCET, 2006)

Automatic Amortised Worst-Case Execution Time Analysis. - Christoph A. Herrmann; Armelle Bonenfant; Kevin Hammond; Steffen Jost; Hans-Wolfgang Loidl; Robert F. Pointon (WCET, 2007)

Towards Hume SIMD vectorisation. - Abdallah Al Zain; Valerie Gibson; Greg J. Michaelson; Kevin Hammond; Steffen Jost; Hans-Wolfgang Loidl (EUSIPCO, 2009)

"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. - Steffen Jost; Hans-Wolfgang Loidl; Kevin Hammond; Norman Scaife; Martin Hofmann 001 (FM, 2009)

Improvements to a Resource Analysis for Hume. - Hans-Wolfgang Loidl; Steffen Jost (FOPARA, 2009)

A Proof-Carrying-Code Infrastructure for Resources. - Hans-Wolfgang Loidl; Kenneth MacKenzie; Steffen Jost; Lennart Beringer (LADC, 2009)

Static determination of quantitative resource usage for higher-order programs. - Steffen Jost; Kevin Hammond; Hans-Wolfgang Loidl; Martin Hofmann 001 (POPL, 2010)

Automated amortised analysis. - Steffen Jost (2010)

Automatic amortised analysis of dynamic memory allocation for lazy functional programs. - Hugo R. Simões; Pedro B. Vasconcelos; Mário Florido; Steffen Jost; Kevin Hammond (ICFP, 2012)

Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. - Pedro B. Vasconcelos; Steffen Jost; Mário Florido; Kevin Hammond (ESOP, 2015)

Type-Based Cost Analysis for Lazy Functional Languages. - Steffen Jost; Pedro B. Vasconcelos; Mário Florido; Kevin Hammond (J. Autom. Reason., 2017)

Decidable Inequalities over Infinite Trees. - Sabine Bauer 002; Steffen Jost; Martin Hofmann 001 (LPAR, 2018)

Two decades of automatic amortized resource analysis. - Jan Hoffmann 002; Steffen Jost (Math. Struct. Comput. Sci., 2022)