Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Steffen Jost
Type-Based Amortised Heap-Space Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Detailed Heap Profiling
ACM SIGPLAN Notices
Computer Science
Type-Based Alias Analysis
A Novel Approach for Detecting Heap-Based Loop-Carried Dependences
On Fraenkel’s N-Heap Wythoff’s Conjectures
Annals of Combinatorics
Combinatorics
Discrete Mathematics
Analysis of Open Space in Urban Area Based on Space Syntax Theory
Journal of Architecture and Planning (Transactions of AIJ)
Data Processing and Analysis for Space-Based Astronomy
International Astronomical Union Colloquium
Performance Analysis of Space-Based Radar Tracking Techniques.
An Unconnected Heap of Duties?
Philosophical Quarterly
Philosophy
On Volterra Composition Operators From Bergman-Type Space to Bloch-Type Space
Czechoslovak Mathematical Journal
Mathematics
