Scholar
Carsten Fuhs
Google Scholar ID: pmncRRMAAAAJ
Senior Lecturer, Birkbeck, University of London
Termination Analysis
Static Program Analysis
Verification
Automated Reasoning
Term Rewriting
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,810
H-index
24
i10-index
31
Publications
20
Co-authors
34
list available
Publications
1 items
Beyond Absolute Positiveness for Universally Quantified Non-Linear Polynomial Constraints
2026
Cited
0
Co-authors
12 total
Jürgen Giesl
Professor of Computer Science, RWTH Aachen University
Peter Schneider-Kamp
Professor of Computer Science, University of Southern Denmark
Marc Brockschmidt
Research Scientist, Google DeepMind
Florian Frohn
RWTH Aachen University, Aachen, Germany
Cynthia Kop
Associate Professor, Radboud Univeristy Nijmegen
Byron Cook
Professor of Computer Science, UCL, Amazon
Michael Codish
Department of Computer Science, Ben-Gurion University of the Negev
Aart Middeldorp
University of Innsbruck
