Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 202



131
TITLE: Software components as invariant-typed arrows
AUTHORS: Barbosa, LS ;
PUBLISHED: 2012, SOURCE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7554 LNCS
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
132
TITLE: A language for behavioural modelling of architectural patterns
AUTHORS: Alejandro Sanchez ; Luís Soares Barbosa ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: BM-FA
INDEXED IN: Scopus DBLP CrossRef: 5
133
TITLE: Bigraphical Modelling of Architectural Patterns
AUTHORS: Alejandro Sanchez ; Luís Soares Barbosa ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: FACS, VOLUME: 7253 LNCS
INDEXED IN: Scopus DBLP CrossRef: 10
134
TITLE: Hybrid Specification of Reactive Systems: An Institutional Approach
AUTHORS: Madeira, A ; Faria, JM; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 7041
INDEXED IN: Scopus WOS DBLP CrossRef: 8
135
TITLE: Hybridization of Institutions
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Razvan Diaconescu; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: CALCO, VOLUME: 6859 LNCS
INDEXED IN: Scopus DBLP CrossRef: 36
136
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXED IN: Scopus WOS DBLP CrossRef: 7 Handle
137
TITLE: Preface
AUTHORS: Luís Soares Barbosa ; Dimitrios Settas;
PUBLISHED: 2011, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 48
INDEXED IN: DBLP
138
TITLE: Refinement by interpretation in π-institutions
AUTHORS: César Jesus Rodrigues; Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2011, SOURCE: Refine@FM, VOLUME: 55
INDEXED IN: Scopus DBLP CrossRef: 2
139
TITLE: Revisiting context-aware component interconnection
AUTHORS: Barbosa, LS ; Barbosa, MAC; Rodrigues, CJ;
PUBLISHED: 2011, SOURCE: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 12TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2010)
INDEXED IN: Scopus WOS DBLP CrossRef
140
TITLE: Shacc: A Functional Prototyper for a Component Calculus
AUTHORS: André Martins; Luís Soares Barbosa ; Nuno F Rodrigues ;
PUBLISHED: 2011, SOURCE: CALCO, VOLUME: 6859 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
Page 14 of 21. Total results: 202.

footer slogan

Useful Links

Get Help

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