Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
William Newhouse
Claudia Calabrese
Andrea Pellegrino
Adithya Mv
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
STEFFEN JOST
Author Info
Open Visualization
Name
Affiliation
Papers
STEFFEN JOST
LMU München, Institut für Informatik, München, Germany
12
Collaborators
Citations
PageRank
26
247
12.36
Referers
Referees
References
325
231
185
Search Limit
100
325
Publications (12 rows)
Collaborators (26 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Type-Based Cost Analysis for Lazy Functional Languages.
0
0.34
2017
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages.
6
0.42
2015
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
13
0.54
2012
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
20
0.75
2009
Improvements to a resource analysis for hume
1
0.35
2009
TOWARDS HUME SIMD VECTORISATION
0
0.34
2009
A Proof-Carrying-Code Infrastructure for Resources
1
0.35
2009
Automatic Amortised Worst-Case Execution Time Analysis
7
0.49
2007
Type-Based amortised heap-space analysis
55
1.97
2006
Towards Formally Verifiable WCET Analysis for a Functional Programming Language
4
0.41
2006
The Embounded project (project start paper)
3
0.52
2005
Static prediction of heap space usage for first-order functional programs
137
5.88
2003
1