Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Publicações Confirmadas: 69



61
TÍTULO: Giving Alloy a family
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2013, FONTE: IRI
INDEXADO EM: Scopus DBLP CrossRef: 1
62
TÍTULO: Hybridisation at Work
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: CALCO, VOLUME: 8089 LNCS
INDEXADO EM: Scopus DBLP
63
TÍTULO: When even the interface evolves ...
AUTORES: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
64
TÍTULO: Hybrid Specification of Reactive Systems: An Institutional Approach
AUTORES: Madeira, A ; Faria, JM; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Software Engineering and Formal Methods in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 7041
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
65
TÍTULO: Hybridization of Institutions
AUTORES: Manuel A Martins ; Alexandre Madeira ; Razvan Diaconescu; Luís Soares Barbosa ;
PUBLICAÇÃO: 2011, FONTE: CALCO, VOLUME: 6859 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 36
66
TÍTULO: Refinement by interpretation in π-institutions
AUTORES: César Jesus Rodrigues; Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2011, FONTE: Refine@FM, VOLUME: 55
INDEXADO EM: Scopus DBLP CrossRef: 2
67
TÍTULO: Refinement by Interpretation in a General Setting
AUTORES: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2009, FONTE: REFINE@FMWeek, VOLUME: 259, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 3
68
TÍTULO: Refinement via interpretation
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2009, FONTE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
69
TÍTULO: Observational Refinement Process
AUTORES: Alexandre Madeira ;
PUBLICAÇÃO: 2008, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 214, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
Página 7 de 7. Total de resultados: 69.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service