Alexandre Leite de Castro Madeira


AuthID: R-001-MJP

Publicações Confirmadas: 71



51
TÍTULO: A logic for n-dimensional hierarchical refinement  Full Text
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: 17th International Workshop on Refinement, Refine 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 209, NÚMERO: 209
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
52
TÍTULO: A Logic for Robotics?  Full Text
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
53
TÍTULO: Modelling and Verifying Smell-Free Architectures with the ARCHERY Language
AUTORES: Alejandro Sanchez ; Luis S Barbosa ; Alexandre Madeira ;
PUBLICAÇÃO: 2015, FONTE: 12th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014, VOLUME: 8938
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
54
TÍTULO: On the verification of architectural reconfigurations  Full Text
AUTORES: Alejandro Sanchez ; Alexandre Madeira ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: COMPUTER LANGUAGES SYSTEMS & STRUCTURES, VOLUME: 44
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP
55
TÍTULO: Refinement in hybridised institutions  Full Text
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ; Rolf Hennicker;
PUBLICAÇÃO: 2015, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | DBLP
56
TÍTULO: Paradigm integration in a specification course
AUTORES: Manuel A Martins ; Alexandre Madeira ; Luis Soares Barbosa ; Renato Neves ;
PUBLICAÇÃO: 2014, FONTE: 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI) / IRI-HI / FMI / DIM / EM-RITE / WICSOC / SocialSec / IICPC / NatSec in 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
57
TÍTULO: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT PDF  Full Text
AUTORES: Manuel A Martins ; Alexandre Madeira ; Luis S Barbosa ;
PUBLICAÇÃO: 2014, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 10, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 2
NO MEU: ORCID | DBLP
58
TÍTULO: A Coalgebraic Perspective on Logical Interpretations  Full Text
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
59
TÍTULO: An Institution for Alloy and Its Translation to Second-Order Logic
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013], VOLUME: 263
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
60
TÍTULO: Bisimilarity and refinement for hybrid(ised) logics  Full Text
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: 16th International Refinement Workshop, Refine 2013 in Proceedings 16th International Refinement Workshop, Refine 2013, Turku, Finland, 11th June 2013., VOLUME: 115
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
Página 6 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