Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 202



41
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
42
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
43
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
44
TÍTULO: Towards a register-based census in Oman
AUTORES: Ali Hussain Al Lawati; Luís Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: ICEGOV
INDEXADO EM: Scopus DBLP CrossRef: 3
45
TÍTULO: Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems
AUTORES: Luiz Fernando Puttow Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A C Barbosa; Luís Soares Barbosa ; Marcelo Teixeira;
PUBLICAÇÃO: 2019, FONTE: ETFA, VOLUME: 2019-September
INDEXADO EM: Scopus DBLP CrossRef: 1
46
TÍTULO: Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation
AUTORES: Carvalho, NR; Barbosa, LS ;
PUBLICAÇÃO: 2019, 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
47
TÍTULO: Generalising KAT to Verify Weighted Computations
AUTORES: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2019, FONTE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
48
TÍTULO: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTORES: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
PUBLICAÇÃO: 2019, FONTE: ICFEM, VOLUME: 11852 LNCS
INDEXADO EM: Scopus DBLP CrossRef
49
TÍTULO: A logic for the stepwise development of reactive systems
AUTORES: Madeira, A ; Barbosa, LS ; Hennicker, R; Martins, MA ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
50
TÍTULO: A Note on Reactive Transitions and Reo Connectors
AUTORES: Daniel Figueiredo; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination, VOLUME: 10865 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
Página 5 de 21. Total de resultados: 202.

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

Links Úteis

Ajuda

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