Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 202



131
TÍTULO: Software components as invariant-typed arrows
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2012, FONTE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7554 LNCS
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
132
TÍTULO: A language for behavioural modelling of architectural patterns
AUTORES: Alejandro Sanchez ; Luís Soares Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: BM-FA
INDEXADO EM: Scopus DBLP CrossRef: 5
133
TÍTULO: Bigraphical Modelling of Architectural Patterns
AUTORES: Alejandro Sanchez ; Luís Soares Barbosa ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: FACS, VOLUME: 7253 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 10
134
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
135
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
136
TÍTULO: Logic Training through Algorithmic Problem Solving
AUTORES: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2011, FONTE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXADO EM: Scopus WOS DBLP CrossRef: 7 Handle
137
TÍTULO: Preface
AUTORES: Luís Soares Barbosa ; Dimitrios Settas;
PUBLICAÇÃO: 2011, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 48
INDEXADO EM: DBLP
138
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
139
TÍTULO: Revisiting context-aware component interconnection
AUTORES: Barbosa, LS ; Barbosa, MAC; Rodrigues, CJ;
PUBLICAÇÃO: 2011, FONTE: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010)
INDEXADO EM: Scopus WOS DBLP CrossRef
140
TÍTULO: Shacc: A Functional Prototyper for a Component Calculus
AUTORES: André Martins; Luís Soares Barbosa ; Nuno F Rodrigues ;
PUBLICAÇÃO: 2011, FONTE: CALCO, VOLUME: 6859 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
Página 14 de 21. Total de resultados: 202.

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