Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 200



31
TÍTULO: Towards a specification theory for fuzzy modal logic
AUTORES: Jain, M; Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2021, FONTE: 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
32
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 ;
PUBLICAÇÃO: 2020, FONTE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
33
TÍTULO: Data governance: Organizing data for trustworthy Artificial Intelligence
AUTORES: Janssen, M; Brous, P; Estevez, E; Barbosa, LS ; Janowski, T;
PUBLICAÇÃO: 2020, FONTE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 37, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 378
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
34
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;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef Openlibrary
NO MEU: CIÊNCIAVITAE
35
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;
PUBLICAÇÃO: 2020, FONTE: DaLí, VOLUME: 12005
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
36
TÍTULO: Introducing Synchrony in Fuzzy Automata
AUTORES: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
PUBLICAÇÃO: 2020, 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
37
TÍTULO: Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer  Full Text
AUTORES: Guimaraes, JD; Tavares, C ; Barbosa, LS ; Vasilevskiy, MI;
PUBLICAÇÃO: 2020, FONTE: COMPLEXITY, VOLUME: 2020
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
38
TÍTULO: Software engineering for 'quantum advantage'
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: 42nd IEEE/ACM International Conference on Software Engineering Workshops, ICSEW 2020 in ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020
INDEXADO EM: Scopus DBLP CrossRef: 18
NO MEU: ORCID | DBLP
39
TÍTULO: Topics in Theoretical Computer Science. Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings
AUTORES: Luís S. Barbosa ; Mohammad Ali Abam;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef Openlibrary
40
TÍTULO: Topics in Theoretical Computer Science - Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings
AUTORES: Luís Soares Barbosa ; Mohammad Ali Abam;
PUBLICAÇÃO: 2020, FONTE: TTCS, VOLUME: 12281
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
Página 4 de 20. Total de resultados: 200.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service