Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Luís Manuel Dias Coelho Soares Barbosa
AuthID:
R-000-9KM
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (96)
Article (67)
Editorial Material (9)
Proceedings (7)
Article in Press (5)
Book Chapter (3)
Unpublished (2)
Phd Thesis (1)
Year Start - End:
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 190
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
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 5 de 19. Total de resultados: 190.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service