Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 186



161
TITLE: Components as coalgebras: The refinement dimension  Full Text
AUTHORS: Meng, S; Barbosa, LS ;
PUBLISHED: 2006, SOURCE: 10th International Conference on Algebraic Methodology and Software Technology in THEORETICAL COMPUTER SCIENCE, VOLUME: 351, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 17
IN MY: ORCID | ResearcherID | DBLP
162
TITLE: Generic process algebra: A programming challenge  Full Text
AUTHORS: Paula R Ribeiro; Marco Antonio Barbosa; Luis Soares Barbosa ;
PUBLISHED: 2006, SOURCE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 7
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
163
TITLE: Preface
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 160
INDEXED IN: DBLP
IN MY: DBLP
164
TITLE: Preface
AUTHORS: Zhiming Liu; Luís Barbosa ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 160
INDEXED IN: CrossRef
IN MY: ORCID
165
166
TITLE: Program slicing by calculation  Full Text
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2006, SOURCE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 7
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
167
TITLE: Transposing partial components - An exercise on coalgebraic refinement  Full Text
AUTHORS: Luis S Barbosa ; Jose N Oliveira ;
PUBLISHED: 2006, SOURCE: 3rd International Symposium on Formal Methods for Components and Objects in THEORETICAL COMPUTER SCIENCE, VOLUME: 365, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | ResearcherID | DBLP
168
TITLE: A coalgebraic semantic framework for component-based development in UML
AUTHORS: Meng, S; Aichernig, BK; Barbosa, LS ; Naixiao, Z;
PUBLISHED: 2005, SOURCE: Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004) in Electronic Notes in Theoretical Computer Science, VOLUME: 122
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
169
TITLE: A perspective on component refinement  Full Text
AUTHORS: Barbosa, LS ;
PUBLISHED: 2005, SOURCE: 3rd International Symposium on Formal Methods for Components and Objects in FORMAL METHODS FOR COMPONENTS AND OBJECTS, VOLUME: 3657
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
170
TITLE: Architectural prototyping: From CCS to. Net
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2005, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 130
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
Página 17 de 19. Total de resultados: 186.

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

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service