Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 190



141
TÍTULO: A Single Complete Relational Rule for Coalgebraic Refinement
AUTORES: Rodrigues, CJ; Oliveira, JN ; Barbosa, LS ;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 259, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
142
TÍTULO: Co-Algebraic Semantic Framework for Reasoning about Interaction Designs
AUTORES: Sun Meng; Luís Soares Barbosa ;
PUBLICAÇÃO: 2009, FONTE: UML 2 Semantics and Applications
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
143
TÍTULO: Implementation of an Orchestration Language as a Haskell Domain Specific Language
AUTORES: Campos, MD; Barbosa, LS ;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 255
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
144
145
TÍTULO: Preface
AUTORES: Luís Soares Barbosa ; Antonio Cerone; Siraj Ahmed Shaikh;
PUBLICAÇÃO: 2009, FONTE: ECEASST, VOLUME: 20
INDEXADO EM: DBLP
NO MEU: DBLP
146
TÍTULO: Preface
AUTORES: Barbosa, LS ; Cerone, A; Shaikh, SA;
PUBLICAÇÃO: 2009, FONTE: Electronic Communications of the EASST, VOLUME: 20
INDEXADO EM: Scopus
NO MEU: ORCID
147
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
148
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 | ResearcherID | DBLP
149
TÍTULO: UML Model Refactoring as Refinement: A Coalgebraic Perspective
AUTORES: Barbosa, LS ; Sun Meng;
PUBLICAÇÃO: 2009, FONTE: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing in PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP
150
TÍTULO: Which Mathematics for the Information Society?
AUTORES: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP
Página 15 de 19. Total de resultados: 190.

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