Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 549 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2011Model checking a decentralized storage deduplication protocolPaulo, João; Pereira, JoséArtigo em ata de conferênciaAcesso aberto
Nov-2011Pointfree foundations for (generic) lossless decompositionOliveira, José Nuno FonsecaRelatórioAcesso aberto
2011On requirements engineering for reactive systems: a formal methodologyMadeira, A.; Faria, José Miguel; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J.; Pinto, Jorge SousaResumo em ata de conferência Acesso aberto
30-Out-2017A fast and verified software stack for secure function evaluationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis; Dupressoir, François; Grégoire, Benjamin; Laporte, Vincent; Pereira, VitorArtigo em ata de conferênciaAcesso aberto
8-Mar-2011Algebraic specialization of generic functions for recursive typesCunha, Alcino; Pacheco, HugoArtigoAcesso aberto
2012Relations as executable specifications: taming partiality and non-determinism using invariantsMacedo, Nuno; Pacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2012Constraint-aware schema transformationAlves, Tiago L.; Silva, Paulo F.; Visser, JoostArtigoAcesso aberto
2014An efficient distributed algorithm for computing minimal hitting setsAbreu, Rui; Cardoso, NunoArtigo em ata de conferênciaAcesso aberto
2011Worldwide consensusMaia, Francisco; Matos, Miguel; Pereira, José; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 549 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir