Alexandre Madeira
Author
Alternate names Alexandre Leite Castro Madeira, A. Madeira, Alexandre Madeira, Alexandre Castro Madeira
Institution University of Aveiro
Past institutions University of Aveiro, National Institute of Informatics, INESC TEC, Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, QuantaLab +2 more
ORCID: Yes
H-index: 11
I10-index: 14
Works count: 90
Citations count: 409
Hybridization of Institutions
2011 · Manuel A. Martins, Alexandre Madeira, et al. · Lecture notes in computer science
Encoding hybridized institutions into first-order logic
2014 · Răzvan Diaconescu, Alexandre Madeira · Mathematical Structures in Computer Science
An exercise on the generation of many-valued dynamic logics
2016 · Alexandre Madeira, Renato Neves, et al. · Journal of Logical and Algebraic Methods in Programming