1
TÍTULO: A component-based framework for certification of components in a cloud of HPC services  Full Text
AUTORES: Allberson Bruno D de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
FONTE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191, PUBLICAÇÃO: 2020
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
2
TÍTULO: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
AUTORES: Luís Soares Barbosa ; Alexandru Baltag;
FONTE: DaLí, VOLUME: 12005, PUBLICAÇÃO: 2020
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
3
TÍTULO: Introducing Synchrony in Fuzzy Automata
AUTORES: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
FONTE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348, PUBLICAÇÃO: 2020
INDEXADO EM: WOS CrossRef
NO MEU: ORCID
4
TÍTULO: Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation
AUTORES: Nuno Ramos Carvalho; Luis Soares Barbosa ;
FONTE: 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, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
5
TÍTULO: Generalising KAT to Verify Weighted Computations  Full Text
AUTORES: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
FONTE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 2, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
6
TÍTULO: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTORES: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
FONTE: 21st International Conference on Formal Engineering Methods, ICFEM 2019 in Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, VOLUME: 11852, PUBLICAÇÃO: 2019
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
7
TÍTULO: A logic for the stepwise development of reactive systems  Full Text
AUTORES: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins;
FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PUBLICAÇÃO: 2018
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
8
TÍTULO: A Note on Reactive Transitions and Reo Connectors
AUTORES: Daniel Figueiredo; Manuel A Martins; Luís Soares Barbosa ;
FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865, PUBLICAÇÃO: 2018
INDEXADO EM: DBLP CrossRef: 1
NO MEU: ORCID | DBLP
9
TÍTULO: A Research Agenda on Quantum Algoritmics
AUTORES: Luis S Barbosa ; Alexandre Madeira ;
FONTE: ERCIM NEWS, VOLUME: 2018, NÚMERO: 113, PUBLICAÇÃO: 2018
INDEXADO EM: WOS DBLP
NO MEU: ORCID | DBLP
10
TÍTULO: A taxonomy for planning and designing smart mobility services
AUTORES: Guillermina Cledou ; Elsa Estevez; Luis Soares Barbosa ;
FONTE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, NÚMERO: 1, PUBLICAÇÃO: 2018
INDEXADO EM: WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP
Página 1 de 16. Total de resultados: 152.