Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 19 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Mai-2015ADSNARK: Nearly practical and privacy-preserving proofs on authenticated dataBackes, Michael; Barbosa, Manuel; Fiore, Dario; Reischuk, Raphael M.Artigo em ata de conferênciaAcesso aberto
2015Spreadsheet engineeringCunha, Jácome Miguel Costa; Fernandes, João Paulo Soares; Mendes, Jorge; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
Abr-2015Exploring scenario explorationMacedo, Nuno Filipe Moreira; Cunha, Alcino; Guimarães, Tiago Miguel MoreiraArtigo em ata de conferênciaAcesso aberto
2015Automatic distinction of Fernando Pessoas’ heteronymsTeixeira, João F.; Couto, MarcoArtigo em ata de conferênciaAcesso restrito UMinho
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
2015Supporting the design of an ambient assisted living system using virtual reality prototypesCampos, José C.; Abade, Tiago Filipe Azevedo; Silva, J. L.; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2015Exactly-once quantity transferShoker, Ali; Almeida, Paulo Sérgio; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
2015A Logic for robotics?Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2015Towards a catalog of usability smellsAlmeida, Diogo Francisco de Carvalho; Campos, José C.; Saraiva, João; Silva, João CarlosArtigo em ata de conferênciaAcesso aberto
2015Design and implementation of queries for model-driven spreadsheetsCunha, Jácome Miguel Costa; Fernandes, João Paulo; Mendes, Jorge; Pereira, Rui; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 19 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir