Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 185



171
TITLE: From algebras to objects: Generation and composition  Full Text
AUTHORS: Cruz, AM; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2005, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 11, ISSUE: 10
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
172
TITLE: On refinement of software architectures  Full Text
AUTHORS: Meng, S; Barbosa, LS ; Zhang, NX;
PUBLISHED: 2005, SOURCE: 2nd International Colloquium on Theoretical Aspects of Computing in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, VOLUME: 3722
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
173
TITLE: Slicing Functional Programs by Calculation
AUTHORS: Nuno F Rodrigues ; Luís Soares Barbosa ;
PUBLISHED: 2005, SOURCE: Beyond Program Slicing 2005 in Beyond Program Slicing, 06.11. - 11.11.2005, VOLUME: 05451
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
174
TITLE: Specifying software connectors  Full Text
AUTHORS: Barbosa, MA; Barbosa, LS ;
PUBLISHED: 2005, SOURCE: 1st International Colloquium on Theoretical Aspects of Computing (ICTAC 2004) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, VOLUME: 3407
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | ResearcherID | DBLP
175
TITLE: A relational model for component interconnection  Full Text
AUTHORS: Barbosa, MA; Barbosa, LS ;
PUBLISHED: 2004, SOURCE: 8th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 10, ISSUE: 7
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
176
TITLE: On refinement of generic state-based software components
AUTHORS: Meng, S; Barbosa, LS ;
PUBLISHED: 2004, SOURCE: 10th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, VOLUME: 3116
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | DBLP
177
TITLE: On semantics and refinement of UML statecharts: A coalgebraic view
AUTHORS: Sun, M; Zhang, NX; Barbosa, LS ;
PUBLISHED: 2004, SOURCE: 2nd International Conference on Software Engineering and Formal Methods in PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
178
TITLE: State-based components made generic
AUTHORS: Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2003, SOURCE: CMCS'03, Coalgebraic Methods in Computer Science Satellite Event for ETAPS 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 82, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP
179
TITLE: Towards a calculus of state-based software components  Full Text
AUTHORS: Barbosa, LS ;
PUBLISHED: 2003, SOURCE: 7th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 9, ISSUE: 8
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
180
TITLE: Coinductive Interpreters for Process Calculi
AUTHORS: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLISHED: 2002, SOURCE: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441
INDEXED IN: DBLP CrossRef: 2
IN MY: ORCID | DBLP
Page 18 of 19. Total results: 185.

A place for researchers and their institutions

Useful Links

Get Help

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