Researcher Profile

Jan Hoffmann

0000-0002-2103-9081

Publications

341

Citations

Co-Authors

Active Years

Publications

Journal Article Proceedings of the ACM on Programming Languages Apr 10, 2026

Handling Exceptions and Effects with Automatic Resource Analysis

Ethan Chu · Yiyang Guo · Jan Hoffmann

10.1145/3798207

Open Access Journal Article Cephalalgia Sep 01, 2024

International Headache Society Global Practice Recommendations for Preventive Pharmacological Treatment of Migraine

Francesca Puledda · Simona Sacco · Hans-Christoph Diener · Messoud Ashina +37 more

10.1177/03331024241269735 80 citations

Open Access Journal Article Proceedings of the ACM on Programming Languages Jan 09, 2023

Probabilistic Resource-Aware Session Types

Ankush Das · Di Wang · Jan Hoffmann

10.1145/3571259 11 citations

Open Access Journal Article Energies Nov 23, 2020

Impact of Current Density and Cooling on the Weight Balance of Electrical Propulsion Drives for Aviation

Jan Hoffmann · Wolf-Rüdiger Canders · Markus Henke

10.3390/en13226149 8 citations

Open Access Journal Article Energies Dec 01, 2019

Cooling Technologies for High Power Density Electrical Machines for Aviation Applications

Wolf-Rüdiger Canders · Jan Hoffmann · Markus Henke

10.3390/en12234579 24 citations

Open Access Journal Article The Journal of Headache and Pain Oct 08, 2018

European Headache Federation guideline on idiopathic intracranial hypertension

Jan Hoffmann · Susan P Mollan · Koen Paemeleire · Christian Lampl +2 more

10.1186/s10194-018-0919-2 160 citations

Open Access Journal Article Proceedings of the ACM on Programming Languages Jul 30, 2018

Parallel complexity analysis with temporal session types

Ankush Das · Jan Hoffmann · Frank Pfenning

10.1145/3236786 19 citations

Journal Article ACM SIGPLAN Notices Jun 11, 2018

PMAF: an algebraic framework for static analysis of probabilistic programs

Di Wang · Jan Hoffmann · Thomas Reps

10.1145/3296979.3192408 3 citations

Journal Article CNS Drugs Dec 08, 2013

Emerging Targets in Migraine

Jan Hoffmann · Peter J. Goadsby

10.1007/s40263-013-0126-2 36 citations

Publication Timeline

2026

2024

2023

2020

2019

2018

2013

Frequent Co-Authors

2×

2×

2×

2×

1×

1×

1×

1×

1×

1×