1
TITLE: A component-based framework for certification of components in a cloud of HPC services  Full Text
AUTHORS: de Oliveira Dantas, AB; de Carvalho Junior, FH; Barbosa, LS ;
SOURCE: Science of Computer Programming, VOLUME: 191, PUBLISHED: 2020
INDEXED IN: Scopus CrossRef
IN MY: ORCID
2
TITLE: Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation
AUTHORS: Nuno Ramos Carvalho; Luis Soares Barbosa ;
SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: Generalising KAT to Verify Weighted Computations  Full Text
AUTHORS: Leandro Gomes ; HASLab INESC TEC, Universidade do Minho, R. da Universidade, 4710-057 Braga, Portugal, ; Alexandre Madeira; Luis Soares Barbosa ; CIDMA, Universidade de Aveiro, Campus Universitario de Santiago, 3810-193 Aveiro, Portugal, ; Universidade do Minho, R. da Universidade, 4710-057 Braga, Portugal & Quantum Software Engineering Group, INL, ;
SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
4
TITLE: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTHORS: Leandro Gomes ; Alexandre Madeira; Manisha Jain; Luis S Barbosa ;
SOURCE: Formal Methods and Software Engineering - Lecture Notes in Computer Science, PUBLISHED: 2019
INDEXED IN: CrossRef
IN MY: ORCID
5
TITLE: A logic for the stepwise development of reactive systems  Full Text
AUTHORS: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins;
SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
6
TITLE: A Note on Reactive Transitions and Reo Connectors
AUTHORS: Daniel Figueiredo; Manuel A Martins; Luís Soares Barbosa ;
SOURCE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865, PUBLISHED: 2018
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP
7
TITLE: A Research Agenda on Quantum Algoritmics
AUTHORS: Luis S Barbosa ; Alexandre Madeira ;
SOURCE: ERCIM NEWS, VOLUME: 2018, ISSUE: 113, PUBLISHED: 2018
INDEXED IN: WOS DBLP
IN MY: ORCID | DBLP
8
TITLE: A taxonomy for planning and designing smart mobility services
AUTHORS: Guillermina Cledou ; Elsa Estevez; Luis Soares Barbosa ;
SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, ISSUE: 1, PUBLISHED: 2018
INDEXED IN: WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
9
TITLE: Communities of Practice as a tool to support the GCIO function
AUTHORS: Luís Paulo Santos ; Luís Nuno Barbosa; Diogo Aires Bessa; Lúcia Pereira Martins; Luís Soares Barbosa ;
SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PUBLISHED: 2018
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
10
TITLE: Hierarchical Hybrid Logic
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins; Luis S Barbosa ;
SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 1 of 15. Total results: 150.