Carsten Fuhs
Scholar

Carsten Fuhs

Google Scholar ID: pmncRRMAAAAJ
Senior Lecturer, Birkbeck, University of London
Termination AnalysisStatic Program AnalysisVerificationAutomated ReasoningTerm Rewriting
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,810
 
H-index
24
 
i10-index
31
 
Publications
20
 
Co-authors
34
list available
Contact
No contact links provided.
Publications
1 items
Beyond Absolute Positiveness for Universally Quantified Non-Linear Polynomial Constraints
2026
Cited
0
Resume (English only)
Co-authors
34 total
Jürgen Giesl
Jürgen Giesl
Professor of Computer Science, RWTH Aachen University
Peter Schneider-Kamp
Peter Schneider-Kamp
Professor of Computer Science, University of Southern Denmark
Marc Brockschmidt
Marc Brockschmidt
Research Scientist, Google DeepMind
Co-author 4
Co-author 4
Florian Frohn
Florian Frohn
RWTH Aachen University, Aachen, Germany
Co-author 6
Co-author 6
Cynthia Kop
Cynthia Kop
Associate Professor, Radboud Univeristy Nijmegen
Byron Cook
Byron Cook
Professor of Computer Science, UCL, Amazon