Steffen Jost
Orcid: 0000-0002-1807-9357Affiliations:
- Ludwig Maximilian University of Munich, Germany
According to our database1,
Steffen Jost
authored at least 16 papers
between 2003 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
1
1
1
1
1
1
4
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Math. Struct. Comput. Sci., June, 2022
2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
2017
2015
Proceedings of the Programming Languages and Systems, 2015
2012
Automatic amortised analysis of dynamic memory allocation for lazy functional programs.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012
2010
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010
2009
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009
Proceedings of the FM 2009: Formal Methods, 2009
Proceedings of the 17th European Signal Processing Conference, 2009
2007
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007
2006
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006
Proceedings of the Programming Languages and Systems, 2006
2005
The Embounded project (project start paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005
2003
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003