Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 31-40 de um total de 940 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
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
1-Jan-2010Interoperabity in healthcareMiranda, Miguel; Duarte, Júlio; Abelha, António; Machado, José Manuel; Neves, José; Neves, JoãoArtigo em ata de conferênciaAcesso restrito UMinho
1-Jan-2012Step towards simulation and monitoring of hospital waiting listsViana, Marta; Oliveira, Olívia; Abelha, António; Machado, José ManuelArtigo em ata de conferênciaAcesso restrito UMinho
2013Sensorization and intelligent systems in energetic sustainable environmentsSilva, Fábio; Analide, Cesar; Neves, José; Marques, José; Cuevas, DavidArtigo em ata de conferênciaAcesso aberto
1-Jan-1997Distributed interactive simulationMachado, José Manuel; Neves, JoséArtigo em ata de conferênciaAcesso restrito UMinho
1-Out-1997A multi-agent system for law enforcement simulationNeves, José; Machado, José Manuel; Novais, Paulo; Abelha, AntónioArtigo em ata de conferênciaAcesso restrito UMinho
2017DeGois - The Portuguese National Academic CV PlatformPinto, Carlos Sousa; Lopes, Pedro Leitão; Valério, Luis Pedro; Amaral, LuisArtigo em ata de conferênciaAcesso aberto
2013Automated theorem proving for the systematic analysis of interactive systemsHarrison, M. D.; Masci, P.; Campos, J. Creissac; Curzon, P.ArtigoAcesso aberto
2016Evaluating privacy attacks in named data networkDogruluk, Ertugrul; Costa, António; Macedo, JoaquimArtigo em ata de conferênciaAcesso restrito UMinho