11
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
12
TITLE: Communities of Practice as a tool to support the GCIO function
AUTHORS: Luís Paulo Santos ; Luís Nuno Barbosa; Diogo Aires Bessa; Lúcia Pereira Martins; Luís Soares Barbosa ;
SOURCE: 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, PUBLISHED: 2018
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
13
TITLE: Hierarchical Hybrid Logic
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins; Luis S Barbosa ;
SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
14
TITLE: Languages and models for hybrid automata: A coalgebraic perspective  Full Text
AUTHORS: Renato Neves ; Luis S Barbosa ;
SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
15
TITLE: Layered logics, coalgebraically
AUTHORS: Barbosa, LS ;
SOURCE: 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, PUBLISHED: 2018
INDEXED IN: Scopus CrossRef
IN MY: ORCID
16
TITLE: Transforming Legal Documents for Visualization and Analysis
AUTHORS: Nuno Ramos Carvalho; Luís Soares Barbosa ;
SOURCE: 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, PUBLISHED: 2018
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
17
TITLE: A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
AUTHORS: Allberson Bruno de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luís Soares Barbosa ;
SOURCE: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017., PUBLISHED: 2017
INDEXED IN: DBLP
IN MY: ORCID | DBLP
18
TITLE: A Refinement Relation for Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis S Barbosa ;
SOURCE: 20th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, VOLUME: 10623, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
19
TITLE: Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis
AUTHORS: Morten Meyerhoff Nielsen; Nuno Ramos Carvalho; Linda Veiga; Luís Soares Barbosa ;
SOURCE: Proceedings of the 10th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2017, New Delhi, India, March 07 - 09, 2017, PUBLISHED: 2017
INDEXED IN: DBLP CrossRef: 2
IN MY: ORCID | DBLP
20
TITLE: Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
AUTHORS: Allberson B D de Oliveira Dantas; Heron de Carvalho Junior, FH; Luis S Barbosa ;
SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 2 of 16. Total results: 153.