Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Publicações Confirmadas: 71



61
TÍTULO: Boilerplates for Reconfigurable Systems: A Language and Its Semantics
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2013, FONTE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 29
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
62
TÍTULO: Foundations and techniques for software reconfigurability
AUTORES: Alexandre Madeira ;
PUBLICAÇÃO: 2013
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
63
TÍTULO: Giving Alloy a family
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 14th International Conference on Information Reuse and Integration, IEEE IRI 2013 in IEEE 14th International Conference on Information Reuse & Integration, IRI 2013, San Francisco, CA, USA, August 14-16, 2013
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
64
TÍTULO: Hybridisation at work
AUTORES: Neves, R ; Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8089 LNCS
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
65
TÍTULO: When even the interface evolves ...
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
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
NO MEU: ORCID | DBLP
66
TÍTULO: Hybrid Specification of Reactive Systems: An Institutional Approach
AUTORES: Alexandre Madeira ; Jose M Faria; Manuel A Martins ; Luis S Barbosa ;
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
NO MEU: ORCID | DBLP
67
TÍTULO: Hybridization of Institutions
AUTORES: Manuel A Martins ; Alexandre Madeira ; Razvan Diaconescu; Luís Soares Barbosa ;
PUBLICAÇÃO: 2011, FONTE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, VOLUME: 6859
INDEXADO EM: Scopus DBLP CrossRef: 31
NO MEU: ORCID | DBLP
68
TÍTULO: Refinement by interpretation in π-institutions  Full Text
AUTORES: César Jesus Rodrigues; Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2011, FONTE: 15th International Refinement Workshop, Refine 2011 in Proceedings 15th International Refinement Workshop, Refine 2011, Limerick, Ireland, 20th June 2011., VOLUME: 55
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
69
TÍTULO: Refinement by Interpretation in a General Setting
AUTORES: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2009, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 259, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
70
TÍTULO: Refinement via interpretation
AUTORES: Manuel A Martins ; Alexandre Madeira ; 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
NO MEU: ORCID | DBLP
Página 7 de 8. Total de resultados: 71.

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

Links Úteis

Ajuda

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