21
TITLE: Digital Governance for Sustainable Development
AUTHORS: Luís Soares Barbosa ;
SOURCE: 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017 in Digital Nations - Smart Cities, Innovation, and Sustainability - 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings, VOLUME: 10595, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
22
TITLE: Layered Logics, Coalgebraically
AUTHORS: Luís Soares Barbosa ;
SOURCE: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, VOLUME: 10669, PUBLISHED: 2017
INDEXED IN: DBLP
IN MY: ORCID | DBLP
23
TITLE: Modeling Families of Public Licensing Services: A Case Study
AUTHORS: Guillermina Cledou ; Luis Soares Barbosa ;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
24
TITLE: Networks of Universities as a Tool for GCIO Education
AUTHORS: Luís Soares Barbosa ; Luís Paulo Santos ;
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, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
25
TITLE: On Kleene Algebras for Weighted Computation
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis S Barbosa ;
SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
26
TITLE: A method for rigorous design of reconfigurable systems  Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
27
TITLE: An Enhanced Model for Stochastic Coordination  Full Text
AUTHORS: Nuno Oliveira; Luis Soares Barbosa ;
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, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
28
TITLE: An Ontology for Licensing Public Transport Services
AUTHORS: Guillermina Cledou ; Luis Soares Barbosa ;
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, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
29
TITLE: Applying the 3C Model to FLOSS Communities
AUTHORS: Sara Fernandes ; Luis Soares Barbosa ;
SOURCE: 22nd International Conference on Collaboration Technologies (CRIWG) in COLLABORATION AND TECHNOLOGY, CRIWG 2016, VOLUME: 9848, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
30
TITLE: Asymmetric Combination of Logics is Functorial: A Survey
AUTHORS: Renato Neves ; Alexandre Madeira ; Luís Soares Barbosa ; Manuel A Martins ;
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, PUBLISHED: 2016
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
Page 3 of 16. Total results: 152.