Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 195



121
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: De Carvalho, FH; 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
NO MEU: ORCID | CIÊNCIAVITAE
122
TÍTULO: Mathematical Literacy as a Condition for Sustainable Development
AUTORES: Luís Soares Barbosa ; Maria Helena Martinho;
PUBLICAÇÃO: 2012, FONTE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers, VOLUME: 7991
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
123
TÍTULO: Preface
AUTORES: Barbosa, LS ; Settas, D;
PUBLICAÇÃO: 2012, FONTE: Electronic Communications of the EASST, VOLUME: 48
INDEXADO EM: Scopus
NO MEU: ORCID
124
125
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
126
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 | CIÊNCIAVITAE
127
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 | CIÊNCIAVITAE
128
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: 35
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
129
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
130
TÍTULO: Preface
AUTORES: Luís Soares Barbosa ; Dimitrios Settas;
PUBLICAÇÃO: 2011, FONTE: ECEASST, VOLUME: 48
INDEXADO EM: DBLP
NO MEU: DBLP | CIÊNCIAVITAE
Página 13 de 20. Total de resultados: 195.

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

Links Úteis

Ajuda

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