Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 31-40 de um total de 310 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Set-2015Monitoring for a decidable fragment of MTL-∫Pedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2014How to kill epsilons with a dagger: a coalgebraic take on systems with algebraic label structureBonchi, Filippo; Milius, Stefan; Silva, Alexandra M.; Zanasi, FabioArtigo em ata de conferênciaAcesso aberto
2013MapIt : a model based pattern recovery toolCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013The mobile context framework: providing context to mobile applicationsOliveira, Luís Filipe Silva de; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2014Refactoring smelly spreadsheet modelsMartins, Pedro Miguel Ribeiro; Pereira, RuiArtigo em ata de conferênciaAcesso aberto
2014Distributed exact deduplication for primary storage infrastructuresPaulo, João; Pereira, JoséArtigo em ata de conferênciaAcesso aberto
2014A preliminary analysis of learning awareness in FLOSS projectsFernandes, Sara; Cerone, Antonio; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2014Making Operation-based CRDTs Operation-basedBaquero, Carlos; Almeida, Paulo Sérgio; Shoker, AliArtigo em ata de conferênciaAcesso aberto
2013Brzozowski's and up-to algorithms for must testingBonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, AlexandraArtigo em ata de conferênciaAcesso aberto
2012Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectorsPreguiça, Nuno; Baquero, Carlos; Almeida, Paulo Sérgio; Fonte, Victor; Gonçalves, Ricardo Jorge ToméArtigo em ata de conferênciaAcesso aberto
31-40 de um total de 310 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir