Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 203



51
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
52
TÍTULO: A Research Agenda on Quantum Algoritmics
AUTORES: Barbosa, LS ; Madeira, A ;
PUBLICAÇÃO: 2018, FONTE: ERCIM NEWS, VOLUME: 2018, NÚMERO: 113
INDEXADO EM: WOS DBLP
53
TÍTULO: A taxonomy for planning and designing smart mobility services
AUTORES: Cledou, G ; Estevez, E; Barbosa, LS ;
PUBLICAÇÃO: 2018, FONTE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, NÚMERO: 1
INDEXADO EM: WOS DBLP CrossRef: 83
54
TÍTULO: Communities of Practice as a tool to support the GCIO function
AUTORES: Luís Paulo Santos ; Luís Nuno Barbosa; Diogo Aires Bessa; Lúcia Pereira Martins; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: ICEGOV
INDEXADO EM: Scopus DBLP CrossRef: 1
55
TÍTULO: Hierarchical Hybrid Logic
AUTORES: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
56
TÍTULO: Languages and models for hybrid automata: A coalgebraic perspective
AUTORES: Neves, R ; Barbosa, LS ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
57
TÍTULO: Layered logics, coalgebraically
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2018, FONTE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
58
TÍTULO: Reactive Models for Biological Regulatory Networks
AUTORES: Daniel Figueiredo; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: MLCSB, VOLUME: 11415 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 6
59
TÍTULO: Transforming Legal Documents for Visualization and Analysis
AUTORES: Nuno Ramos Carvalho; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: ICEGOV
INDEXADO EM: Scopus DBLP CrossRef: 6
60
TÍTULO: A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
AUTORES: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: CLOSER
INDEXADO EM: DBLP
Página 6 de 21. Total de resultados: 203.

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