51
TITLE: Modeling Families of Public Licensing Services: A Case Study
AUTHORS: Guillermina Cledou ; Luis Soares Barbosa ;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
52
TITLE: Networks of Universities as a Tool for GCIO Education
AUTHORS: Luís Soares Barbosa ; Luís Paulo Santos ;
PUBLISHED: 2017, SOURCE: 16th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2017 in Electronic Government - 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings, VOLUME: 10428
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
53
TITLE: On Kleene Algebras for Weighted Computation
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
54
TITLE: A method for rigorous design of reconfigurable systems  Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID | DBLP
55
TITLE: An Enhanced Model for Stochastic Coordination  Full Text
AUTHORS: Nuno Oliveira; Luis Soares Barbosa ;
PUBLISHED: 2016, SOURCE: 1st International Workshop on Formal Methods for and on the Cloud, iFMCloud 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 228, ISSUE: 228
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
56
TITLE: An Ontology for Licensing Public Transport Services
AUTHORS: Guillermina Cledou ; Luis Soares Barbosa ;
PUBLISHED: 2016, SOURCE: 9th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in 9TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV 2016), VOLUME: 01-03-March-2016
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
57
TITLE: Applying the 3C Model to FLOSS Communities
AUTHORS: Sara Fernandes ; Luis Soares Barbosa ;
PUBLISHED: 2016, SOURCE: 22nd International Conference on Collaboration Technologies (CRIWG) in COLLABORATION AND TECHNOLOGY, CRIWG 2016, VOLUME: 9848
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
58
TITLE: Asymmetric Combination of Logics is Functorial: A Survey
AUTHORS: Renato Neves ; Alexandre Madeira ; Luís Soares Barbosa ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016 in Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, VOLUME: 10644
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
59
TITLE: Collaborative Environments in Software Engineering Teaching: A FLOSS Approach
AUTHORS: Sara Fernandesand; Luis Soares Barbosa ;
PUBLISHED: 2016, SOURCE: 15th European Conference on E-Learning (ECEL) in PROCEEDINGS OF THE 15TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2016)
INDEXED IN: WOS
IN MY: ORCID
60
TITLE: Continuity as a computational effect
AUTHORS: Renato Neves ; Luis S Barbosa ; Dirk Hofmann ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
Page 6 of 19. Total results: 186.