Percorrer por autor 683 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 39-58 de um total de 155 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2020Data governance: Organizing data for trustworthy Artificial IntelligenceJanssen, Marijn; Brous, Paul; Estevez, Elsa, et al.ArtigoAcesso aberto
2019Deep learning powered question-answering framework for organizations digital transformationCarvalho, Nuno Ramos; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Out-2017Digital governance for sustainable developmentBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2015A dynamic logic for every seasonMadeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
2016Dynamic logic with binders and its application to the development of reactive systemsMadeira, Alexandre Leite Castro; Barbosa, L. S.; Hennicker, Rolf, et al.Artigo em ata de conferênciaAcesso aberto
Nov-2016Electronic governance in Portugal: a silent pioneerFernandes, Sara Santos; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2012Exploiting the FLOSS paradigm in collaborative e-learning: application to e-governmentFernandes, Sara; Cerone, Antonio; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2008Extracting and verifying coordination models from source codeRodrigues, Nuno F.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2013FLOSS communities as learning networksFernandes, Sara; Barbosa, L. S.; Cerone, AntonioArtigoAcesso aberto
2014Formal aspects of component software (FACS 2010 selected and extended papers)Barbosa, L. S.; Lumpe, MarkusEditorial em revistaAcesso aberto
2017A framework for certification of large-scale component-based parallel computing systems in a cloud computing platform for HPC servicesDantas, A. O.; Carvalho, F. H.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Jan-2020A framework for intelligent policy decision making based on a government data hubAl-Lawati, Ali; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2005From algebras to objects: generation and compositionCruz, A. Miguel; Barbosa, L. S.; Oliveira, José Nuno FonsecaArtigoAcesso aberto
29-Jan-2021Fuzzy automata as coalgebrasLiu, Ai; Wang, Shun; Barbosa, L. S., et al.ArtigoAcesso aberto
2021Generalised quantum tree searchSequeira, André Manuel Resende; Santos, Luís Paulo; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2019Generalising KAT to verify weighted computationsGomes, Leandro; Madeira, Alexandre; Barbosa, L. S.ArtigoAcesso aberto
2006Generic process algebra: a programming challengeBarbosa, L. S.; Barbosa, Marco António; Ribeiro, Paula R.ArtigoAcesso aberto
Set-2013Giving ALLOY a familyNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
Out-2018Hierarchical hybrid logicMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Martins, Manuel A., et al.ArtigoAcesso aberto
2007Higher-order lazy functional slicingRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
Mostrar 39-58 de um total de 155 resultados. < anterior   próximo >