Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 202



61
TÍTULO: Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis. Literature Review, Trends and Gap Analysis
AUTORES: Morten Meyerhoff Nielsen; Nuno Ramos Carvalho; Linda Veiga ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: ICEGOV, VOLUME: Part F128003
INDEXADO EM: Scopus DBLP CrossRef: 13
62
TÍTULO: Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
AUTORES: Dantas, ABD; de Carvalho, FH; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487
INDEXADO EM: Scopus WOS DBLP CrossRef
63
TÍTULO: Composing Families of Timed Automata
AUTORES: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
64
TÍTULO: Digital Governance for Sustainable Development
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017 in Digital Nations - Smart Cities, Innovation, and Sustainability - 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21-23, 2017, Proceedings, VOLUME: 10595
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
65
TÍTULO: Layered Logics, Coalgebraically
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2017, FONTE: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, VOLUME: 10669
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
66
TÍTULO: Modeling Families of Public Licensing Services: A Case Study
AUTORES: Cledou, G ; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
67
TÍTULO: Networks of Universities as a Tool for GCIO Education
AUTORES: Luís Soares Barbosa ; Luís Paulo Santos ;
PUBLICAÇÃO: 2017, FONTE: EGOV, VOLUME: 10428 LNCS
INDEXADO EM: Scopus DBLP CrossRef
68
TÍTULO: On Kleene Algebras for Weighted Computation
AUTORES: Gomes, L ; Madeira, A ; Barbosa, LS ;
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: 2
69
TÍTULO: A method for rigorous design of reconfigurable systems
AUTORES: Madeira, A ; Neves, R ; Barbosa, LS ; Martins, MA ;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
70
TÍTULO: An Enhanced Model for Stochastic Coordination
AUTORES: Oliveira, N; Barbosa, LS ;
PUBLICAÇÃO: 2016, FONTE: 1st International Workshop on Formal Methods for and on the Cloud, iFMCloud 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 228, NÚMERO: 228
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
Página 7 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