Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 58 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
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
2017On infinitary equational hybrid logicMartins, M. A.; Madeira, Alexandre Leite Castro; Barbosa, L. S.Capítulo de livroAcesso aberto
1-Fev-2017Bidirectional Transformations (Bx 2015) Special Section: EditorialCunha, Alcino; Kindler, EkkartEditorial em revistaAcesso aberto
2017DDFlasks: Deduplicated very large scale data storeMaia, Francisco; Paulo, João; Coelho, Fábio; Neves, Francisco; Pereira, José; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso restrito UMinho
2017HTAPBench: Hybrid transactional and analytical processing benchmarkCoelho, Fábio; Paulo, João; Vilaça, Ricardo Manuel Pereira; Pereira, José; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso restrito UMinho
2017Prepared scan: Efficient retrieval of structured data from HBaseNeves, Francisco; Vilaça, Ricardo Manuel Pereira; Pereira, José; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso restrito UMinho
2017Welcome to the First Issue of PACMHCI EICSCalvary, Gaelle; Nichols, Jeffrey; Campos, José C.; Nunes, Nuno; Campos, PedroEditorial em revistaAcesso restrito UMinho
Dez-2017Verification of user interface software: the example of use-related safety requirements and programmable medical devicesHarrison, Michael douglas; Masci, Paolo; Campos, José C.; Curzon, PaulArtigoAcesso aberto
1-Jan-2017Quality-Aware Reactive Programming for the Internet of ThingsProença, José Miguel Paiva; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
Abr-2017Transparent cross-system consistencyLoff, João; Baquero, Carlos; Preguiça, Nuno; Porto, Daniel; Garcia, João; Rodrigues, RodrigoArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 58 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir