Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 190



121
122
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
123
TÍTULO: A language for behavioural modelling of architectural patterns
AUTORES: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLICAÇÃO: 2011, FONTE: 3rd International Workshop on Behavioural Modelling - Foundations and Applications, BM-FA2011 - In Collaboration with the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011 in ACM International Conference Proceeding Series
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
124
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
125
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
126
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: 6 Handle
NO MEU: ORCID | DBLP
127
TÍTULO: Preface
AUTORES: Luís Soares Barbosa ; Dimitrios Settas;
PUBLICAÇÃO: 2011, FONTE: ECEASST, VOLUME: 48
INDEXADO EM: DBLP
NO MEU: DBLP
128
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
129
TÍTULO: Revisiting context-aware component interconnection
AUTORES: Luis S Barbosa ; Marco A C Barbosa; Cesar J Rodrigues;
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
NO MEU: ORCID | DBLP
130
TÍTULO: Shacc: A functional prototyper for a component calculus
AUTORES: Martins, A; Barbosa, LS ; Rodrigues, NF ;
PUBLICAÇÃO: 2011, FONTE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6859 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
Página 13 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