Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 202



191
TITLE: A relational model for component interconnection
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
192
TITLE: Architectural Prototyping: From CCS to .Net
AUTHORS: Nuno F Rodrigues ; Luís Soares Barbosa ;
PUBLISHED: 2004, SOURCE: SBMF, VOLUME: 130
INDEXED IN: Scopus DBLP CrossRef: 4
193
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: 15
194
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: 4
195
TITLE: State-based Components Made Generic
AUTHORS: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLISHED: 2003, SOURCE: CMCS, VOLUME: 82, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 7
196
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 | CIÊNCIAVITAE
197
TITLE: Coinductive Interpreters for Process Calculi
AUTHORS: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLISHED: 2002, SOURCE: FLOPS, VOLUME: 2441
INDEXED IN: Scopus DBLP CrossRef: 2
198
TITLE: Components as coalgebras
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2001
INDEXED IN: DBLP
IN MY: DBLP
199
TITLE: Process calculi à la bird-meertens
AUTHORS: Barbosa, LS ;
PUBLISHED: 2001, SOURCE: CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001) in Electronic Notes in Theoretical Computer Science, VOLUME: 44, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
200
TITLE: Components as processes: An exercise in coalgebraic modeling
AUTHORS: Barbosa, LS ;
PUBLISHED: 2000, SOURCE: IFIP TC6/WG6 1 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, VOLUME: 49
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 20 of 21. Total results: 202.

footer slogan

Useful Links

Get Help

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