Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Jan Hoffmann
Researcher
PaperTowards Automatic Resource Bound Analysis for OCamlAuthorship / preprint / 2016PaperExponential Automatic Amortized Resource AnalysisAuthorship / preprint / 2020PaperTracking Data-Flow with Open Closure TypesAuthorship / preprint / 2013PaperResolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause LearningAuthorship / preprint / 2008PaperRaising Expectations: Automating Expected Cost Analysis with TypesAuthorship / preprint / 2020PaperLiquid Resource TypesAuthorship / preprint / 2020PaperThe Complexity of Computing Minimal Unidirectional Covering SetsAuthorship / preprint / 2009