Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 190



91
TÍTULO: Formal Aspects of Component Software (FACS 2010 selected and extended papers) Preface  Full Text
AUTORES: Luis Soares Barbosa ; Markus Lumpe;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 94, NÚMERO: P3
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
92
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
93
94
TÍTULO: Quantitative analysis of Reo-based service coordination
AUTORES: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2014, FONTE: Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014
INDEXADO EM: DBLP CrossRef: 1
NO MEU: ORCID | DBLP
95
TÍTULO: ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures
AUTORES: Flávio Rodrigues; Nuno Oliveira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2014, FONTE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal, VOLUME: 38
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
96
TÍTULO: Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface  Full Text
AUTORES: Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 96, NÚMERO: P2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
97
TÍTULO: Selected contributions from the Open Source Software Certification (OpenCert) workshops Preface  Full Text
AUTORES: Luis Soares Barbosa ; Siraj Ahmed Shaikh;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
98
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
99
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 | ResearcherID | DBLP
100
TÍTULO: A pilot project on non-conventional learning
AUTORES: Fernandes, S; Cerone, A; Barbosa, LS ;
PUBLICAÇÃO: 2013, FONTE: 18th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2013 in Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
Página 10 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