41
TÍTULO: A Research Agenda on Quantum Algoritmics
AUTORES: Luis S Barbosa ; Alexandre Madeira ;
PUBLICAÇÃO: 2018, FONTE: ERCIM NEWS, VOLUME: 2018, NÚMERO: 113
INDEXADO EM: WOS DBLP
NO MEU: ORCID | DBLP
42
TÍTULO: A taxonomy for planning and designing smart mobility services
AUTORES: Guillermina Cledou ; Elsa Estevez; Luis Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, NÚMERO: 1
INDEXADO EM: WOS DBLP CrossRef: 41
NO MEU: ORCID | DBLP
43
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: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
44
TÍTULO: Hierarchical Hybrid Logic
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
45
TÍTULO: Languages and models for hybrid automata: A coalgebraic perspective  Full Text
AUTORES: Renato Neves ; Luis S Barbosa ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
46
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
47
TÍTULO: Reactive Models for Biological Regulatory Networks
AUTORES: Daniel Figueiredo; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: 1st International Symposium on Molecular Logic and Computational Synthetic Biology, MLCSB 2018 in Molecular Logic and Computational Synthetic Biology - First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers, VOLUME: 11415
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
48
TÍTULO: Transforming Legal Documents for Visualization and Analysis
AUTORES: Nuno Ramos Carvalho; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
49
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 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017.
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
50
TÍTULO: A Refinement Relation for Families of Timed Automata
AUTORES: Guillermina Cledou ; Jose Proenca ; Luis S Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
Página 5 de 19. Total de resultados: 190.