81
TITLE: Preface
AUTHORS: Barbosa, LS ; Settas, D;
SOURCE: Electronic Communications of the EASST, VOLUME: 48, PUBLISHED: 2012
INDEXED IN: Scopus
IN MY: ORCID
83
TITLE: Software components as invariant-typed arrows
AUTHORS: Barbosa, LS ;
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, PUBLISHED: 2012
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
84
TITLE: A language for behavioural modelling of architectural patterns
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
SOURCE: 3rd International Workshop on Behavioural Modelling - Foundations and Applications, BM-FA2011 - In Collaboration with the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011 in ACM International Conference Proceeding Series, PUBLISHED: 2011
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
85
TITLE: Hybrid Specification of Reactive Systems: An Institutional Approach
AUTHORS: Alexandre Madeira ; Jose M Faria; Manuel A Martins ; Luis S Barbosa ;
SOURCE: 9th International Conference on Software Engineering and Formal Methods in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 7041, PUBLISHED: 2011
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | DBLP
86
TITLE: Hybridization of Institutions
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Razvan Diaconescu; Luís Soares Barbosa ;
SOURCE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, VOLUME: 6859, PUBLISHED: 2011
INDEXED IN: Scopus DBLP CrossRef: 18
IN MY: ORCID | DBLP
87
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Joao F Ferreira ; Alexandra Mendes ; Alcino Cunha ; Carlos Baquero ; Paulo Silva ; Barbosa, LS ; Oliveira, JN ;
SOURCE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680, PUBLISHED: 2011
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
88
TITLE: Refinement by interpretation in π-institutions  Full Text
AUTHORS: César Jesus Rodrigues; Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
SOURCE: 15th International Refinement Workshop, Refine 2011 in Proceedings 15th International Refinement Workshop, Refine 2011, Limerick, Ireland, 20th June 2011., VOLUME: 55, PUBLISHED: 2011
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
89
TITLE: Revisiting context-aware component interconnection
AUTHORS: Luis S Barbosa ; Marco A C Barbosa; Cesar J Rodrigues;
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), PUBLISHED: 2011
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
90
TITLE: Shacc: A functional prototyper for a component calculus
AUTHORS: Martins, A; Barbosa, LS ; Rodrigues, NF ;
SOURCE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6859 LNCS, PUBLISHED: 2011
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
Page 9 of 15. Total results: 147.