Scholar
Jan Hückelheim
Google Scholar ID: zMNpt24AAAAJ
Argonne National Laboratory
Algorithmic Differentiation
Formal Verification
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
732
H-index
13
i10-index
17
Publications
20
Co-authors
17
list available
Publications
2 items
Developing a Numerical Algorithm with CIVL Model Checking in the Loop
2026
Cited
0
A Comprehensive Evaluation of Vertex Elimination Algorithms for Algorithmic Differentiation
2026
Cited
0
Co-authors
8 total
Paul D. Hovland
Senior Computer Scientist, Argonne National Laboratory
Sri Hari Krishna Narayanan
Computer Scientist, Mathematics and Computer Science, Argonne National Laboratory.
Mathias Louboutin
Senior Solution Architect, DevitoCodes Ltd
William S. Moses
Assistant Professor, University of Illinois Urbana-Champaign
Michael Lange
Department of Earth Science and Engineering, Imperial College London
Paul Kelly
Professor of Software Technology, Imperial College London
Ludger Paehler
Technical University of Munich
Valentin Churavy
RSE, JGU Mainz & University of Augsburg
