HASLab - Artigos em atas de conferências internacionais (texto completo) : [353] Estatísticas

Percorrer
Ativar alerta na coleção para receber notificações por e-mail de novas entradas RSS Feed RSS Feed RSS Feed
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-20 de um total de 353
DataTítuloAutor(es)TipoAcesso
2016Applying the 3C Model to FLOSS communitiesFernandes, Sara Santos; Barbosa, L. S.articleopenAccess
26-Out-2016An enhanced model for stochastic coordinationOliveira, Nuno Ernesto Salgado; Barbosa, L. S.articleopenAccess
2016Hybrid automata as coalgebrasNeves, Renato Jorge Araújo; Barbosa, L. S.articleopenAccess
2016Dynamic logic with binders and its application to the development of reactive systemsMadeira, Alexandre Leite Castro; Barbosa, L. S.; Hennicker, Rolf, et al.articleopenAccess
Nov-2016Electronic governance in Portugal: a silent pioneerFernandes, Sara Santos; Barbosa, L. S.articleopenAccess
2015Immersiveness of ubiquitous computing environments prototypes: A case studyAbade, Tiago; Campos, J. Creissac; Moreira, Rui Patrício Oliveira, et al.conferenceObjectopenAccess
Set-2015Metaphorisms in programmingOliveira, José Nuno FonsecaconferenceObjectopenAccess
Set-2015Monitoring for a decidable fragment of MTL-∫Pedro, André Matos; Pereira, David; Pinho, Luís Miguel, et al.conferenceObjectopenAccess
Abr-2015Exploring scenario explorationMacedo, Nuno Filipe Moreira; Cunha, Alcino; Guimarães, Tiago Miguel MoreiraconferenceObjectopenAccess
Mai-2015ADSNARK: Nearly practical and privacy-preserving proofs on authenticated dataBackes, Michael; Barbosa, Manuel; Fiore, Dario, et al.conferenceObjectopenAccess
2015Concise server-wide causality management for eventually consistent data storesGonçalves, Ricardo Jorge Tomé; Almeida, Paulo Sérgio; Baquero, Carlos, et al.conferenceObjectopenAccess
2015Automatic distinction of Fernando Pessoas’ heteronymsTeixeira, João F.; Couto, MarcoconferenceObjectrestrictedAccess
Fev-2015Modelling and verifying smell-free architectures with the Archery languageSanchez, Alejandro; Barbosa, L. S.; Madeira, Alexandre Leite CastroconferenceObjectrestrictedAccess
2008Coalgebraic logic and synthesis of mealy machinesBonsangue, Marcello; Rutten, Jan; Silva, AlexandraconferenceObjectopenAccess
2003Integration of Flight Simulator 2002 with an epidemic multicast protocolMonteiro, M. J.; Pereira, José; Rodrigues, LuísconferenceObjectopenAccess
2004Revisiting epsilon serializabilty to improve the database state machineCorreia, Alfrânio; Sousa, António; Soares, L., et al.conferenceObjectopenAccess
2008Self tuning with self confidenceMatos, Miguel; Pereira, José; Oliveira, Rui Carlos Mendes deconferenceObjectopenAccess
2002Deriving animations from recursive definitionsCunha, Alcino; Barros, José Bernardo; Saraiva, João AlexandreconferenceObjectopenAccess
2004Semantic reliability on the database state machineSousa, António; Pereira, José; Oliveira, Rui Carlos Mendes de, et al.conferenceObjectopenAccess
2009Galois: a language for proofs using galois connections and fork algebrasSilva, Paulo F.; Visser, Joost; Oliveira, José Nuno FonsecaconferenceObjectopenAccess
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-20 de um total de 353