Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 202



181
TITLE: Transposing partial components - An exercise on coalgebraic refinement
AUTHORS: Barbosa, LS ; Oliveira, JN ;
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
182
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: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
183
TITLE: Bandwidth boosting in transimpedance amplifiers for optical LANs, using delayed feedback
AUTHORS: Martins, N; Barbosa, L ; Alves, LN ; Aguiar, RL ;
PUBLISHED: 2005, SOURCE: 12th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2005 in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID
184
TITLE: Component Identification Through Program Slicing
AUTHORS: Nuno F Rodrigues ; Luís Soares Barbosa ;
PUBLISHED: 2005, SOURCE: FACS, VOLUME: 160, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 11
185
TITLE: From algebras to objects: Generation and composition
AUTHORS: Cruz, AM; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2005, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 11, ISSUE: 10
INDEXED IN: Scopus WOS DBLP
186
TITLE: On refinement of software architectures
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
187
TITLE: Preface
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2005, SOURCE: FACS
INDEXED IN: DBLP
188
TITLE: Slicing Functional Programs by Calculation
AUTHORS: Nuno F Rodrigues ; Luís Soares Barbosa ;
PUBLISHED: 2005, SOURCE: Beyond Program Slicing, VOLUME: 5451
INDEXED IN: Scopus DBLP
189
TITLE: Specifying software connectors
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: 7
190
TITLE: A Coalgebraic Semantic Framework for Component-based Development in UML
AUTHORS: Sun Meng; Bernhard K Aichernig; Luís Soares Barbosa ; Zhang Naixiao;
PUBLISHED: 2004, SOURCE: CTCS, VOLUME: 122
INDEXED IN: Scopus DBLP CrossRef: 4
Page 19 of 21. Total results: 202.

footer slogan

Useful Links

Get Help

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