Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 190



181
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
182
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
183
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
184
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
185
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: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
186
TITLE: Components as coalgebras
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2001
INDEXED IN: DBLP
IN MY: DBLP
187
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
188
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
189
TITLE: Prototyping Processes
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 1999, SOURCE: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999
INDEXED IN: DBLP
IN MY: ORCID | DBLP
190
TITLE: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTHORS: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
INDEXED IN: Scopus DBLP CrossRef Handle
IN MY: ORCID | DBLP
Page 19 of 19. Total results: 190.

A place for researchers and their institutions

Useful Links

Get Help

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