Alexandre Rademaker
Scholar

Alexandre Rademaker

Google Scholar ID: SWz6BjIAAAAJ
IBM Research and EMAp/FGV
natural language understandingcomputational linguisticslogicsproof theoryknowledge representation and reasoning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,380
 
H-index
20
 
i10-index
33
 
Publications
20
 
Co-authors
48
list available
Contact
No contact links provided.
Publications
2 items
Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
2026
Cited
0
CSLib: The Lean Computer Science Library
2026
Cited
0
Resume (English only)
Co-authors
48 total
Valeria de Paiva
Valeria de Paiva
Topos Institute, University of Birmingham
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Gerard de Melo
Gerard de Melo
Professor at Hasso Plattner Institute / University of Potsdam
Francis Bond
Francis Bond
Department of Asian Studies, Palacký University Olomouc.
Co-author 7
Co-author 7
John McCrae
John McCrae
Data Science Institute, University of Galway