Jan Hoffmann
- Multivariate amortized resource analysis
2012/10/01 by Jan Hoffmann, Klaus Aehlig, Martin Hofmann · 6 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Testing and Debugging Techniques
- Raising Expectations: Automating Expected Cost Analysis with Types
2020/06/24 by Di Wang, Wang, Di, David Kahn +3 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- Towards Automatic Resource Bound Analysis for OCaml
2016/11/02 by Jan Hoffmann, Hoffmann, Jan, Ankush Das +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- Exponential Automatic Amortized Resource Analysis
2020/02/21 by David Kahn, Jan Hoffmann, Kahn, David M +1 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- Greater occipital nerve block modulates nociceptive signals within the trigeminocervical complex
2021/07/26 by Jan Hoffmann, Jan Mehnert, Elena M Koo +1 · 6 citations
Medicine · #Migraine and Headache Studies #Trigeminal Neuralgia and Treatments #Pain Mechanisms and Treatments