1
TITLE: A component-based framework for certification of components in a cloud of HPC services  Full Text
AUTHORS: Allberson Bruno D de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
SOURCE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191, PUBLISHED: 2020
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: Introducing Synchrony in Fuzzy Automata
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
SOURCE: 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, PUBLISHED: 2020
INDEXED IN: WOS CrossRef
IN MY: ORCID
4
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
5
TITLE: Generalising KAT to Verify Weighted Computations  Full Text
AUTHORS: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
6
TITLE: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
SOURCE: 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, PUBLISHED: 2019
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
7
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
8
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
9
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
10
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
Page 1 of 16. Total results: 152.