Scholar
Alexandre Rademaker
Google Scholar ID: SWz6BjIAAAAJ
IBM Research and EMAp/FGV
natural language understanding
computational linguistics
logics
proof theory
knowledge representation and reasoning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,380
H-index
20
i10-index
33
Publications
20
Co-authors
48
list available
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
Co-authors
8 total
Valeria de Paiva
Topos Institute, University of Birmingham
Gerard de Melo
Professor at Hasso Plattner Institute / University of Potsdam
Francis Bond
Department of Asian Studies, Palacký University Olomouc.
John McCrae
Data Science Institute, University of Galway
Hugo Gonçalo Oliveira
CISUC, DEI, University of Coimbra
Dário Augusto Borges Oliveira
Professor at Getulio Vargas Foundation
Paulo Cavalin
IBM Research - Brazil
Claudio Pinhanez
IBM Research - Brazil / C4AI - Univ. of São Paulo
