Andreas Abel
Scholar

Andreas Abel

Google Scholar ID: diMIMosAAAAJ
Senior Lecturer, Comp. Sci. and Eng., Chalmers University of Technology and University of Gothenburg
Type TheoryFunctional ProgrammingVerificationTermination
Citations & Impact
All-time
Citations
2,872
 
H-index
31
 
i10-index
63
 
Publications
20
 
Co-authors
36
list available
Contact
No contact links provided.
Resume (English only)