Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 190



61
TÍTULO: An Ontology for Licensing Public Transport Services
AUTORES: Guillermina Cledou ; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: 9th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in 9TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV 2016), VOLUME: 01-03-March-2016
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
62
TÍTULO: Applying the 3C Model to FLOSS Communities
AUTORES: Sara Fernandes ; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on Collaboration Technologies (CRIWG) in COLLABORATION AND TECHNOLOGY, CRIWG 2016, VOLUME: 9848
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
63
TÍTULO: Asymmetric Combination of Logics is Functorial: A Survey
AUTORES: Renato Neves ; Alexandre Madeira ; Luís Soares Barbosa ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016 in Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, VOLUME: 10644
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
64
TÍTULO: Collaborative Environments in Software Engineering Teaching: A FLOSS Approach
AUTORES: Sara Fernandesand; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: 15th European Conference on E-Learning (ECEL) in PROCEEDINGS OF THE 15TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2016)
INDEXADO EM: WOS
NO MEU: ORCID
65
TÍTULO: Continuity as a computational effect
AUTORES: Renato Neves ; Luis S Barbosa ; Dirk Hofmann ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP
66
TÍTULO: Digital Government and Administrative Burden Reduction
AUTORES: Linda Veiga; Tomasz Janowski; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: 9th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in 9TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV 2016), VOLUME: 01-03-March-2016
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | DBLP
67
TÍTULO: Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
AUTORES: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP
68
TÍTULO: Electronic governance in Portugal. a silent pioneer
AUTORES: Sara Fernandes; Luis Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the International Conference on Electronic Governance and Open Society Challenges in Eurasia - EGOSE '16
INDEXADO EM: CrossRef: 1
NO MEU: ORCID
69
TÍTULO: Electronic governance in Portugal: a silent pioneer
AUTORES: Sara Fernandes; Luís Soares Barbosa ;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the International Conference on Electronic Governance and Open Society - Challenges in Eurasia, EGOSE 2016, St. Petersburg, Russia, November 22-23, 2016
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
70
TÍTULO: Hybrid Automata as Coalgebras
AUTORES: Renato Neves ; Luis S Barbosa ;
PUBLICAÇÃO: 2016, FONTE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
Página 7 de 19. Total de resultados: 190.

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

Links Úteis

Ajuda

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