81
TITLE: Exploiting the FLOSS paradigm in collaborative e-learning-application to e-Government
AUTHORS: Fernandes, S; Cerone, A; Barbosa, LS ;
SOURCE: 6th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2012 in ACM International Conference Proceeding Series, PUBLISHED: 2012
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
83
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Lumpe, M; Barbosa, LS ;
SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS, PUBLISHED: 2012
INDEXED IN: Scopus
IN MY: ORCID
84
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: De Carvalho, FH; 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
IN MY: ORCID
85
TITLE: Mathematical Literacy as a Condition for Sustainable Development
AUTHORS: Luís Soares Barbosa ; Maria Helena Martinho;
SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers, VOLUME: 7991, PUBLISHED: 2012
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
86
TITLE: Preface
AUTHORS: Barbosa, LS ; Settas, D;
SOURCE: Electronic Communications of the EASST, VOLUME: 48, PUBLISHED: 2012
INDEXED IN: Scopus
IN MY: ORCID
88
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
89
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
90
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
Page 9 of 16. Total results: 152.