Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 301-310 de um total de 310 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2013Composing least-change lensesMacedo, Nuno Filipe Moreira; Pacheco, Hugo; Cunha, Alcino; Oliveira, José Nuno FonsecaArtigoAcesso aberto
2012Brisa: combining efficiency and reliability in epidemic data disseminationMatos, Miguel; Schiavoni, Valerio; Felber, Pascal; Oliveira, Rui Carlos Mendes de; Rivière, ÉtienneArtigo em ata de conferênciaAcesso aberto
2012Final semantics for decorated tracesBonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, AlexandraArtigoAcesso aberto
2013Model repair and transformation with EchoMacedo, Nuno Filipe Moreira; Guimarães, Tiago Miguel Moreira; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2010Strong knowledge extractors for public-key encryption schemesBarbosa, Manuel; Farshim, PooyaArtigo em ata de conferênciaAcesso aberto
2012Modelling and systematic analysis of interactive systemsHarrison, Michael D.; Masci, Paolo; Campos, J. Creissac; Thomas, NigelArtigo em ata de conferênciaAcesso aberto
2017Safety analysis of software components of a dialysis machine using model checkingHarrison, Michael douglas; Drinnan, M.; Campos, José C.; Masci, Paolo; Freitas, L.; Di Maria, C.; Whitaker, M.Artigo em ata de conferênciaAcesso aberto
2010Prototipagem rápida de ambientes ubíquosSilva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac; Fernandes, João M.; Harrison, Michael D.Artigo em ata de conferênciaAcesso aberto
2011Calculating with lenses: optimising bidirectional transformationsPacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2014A compositional monitoring framework for hard real-time systemsPedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
301-310 de um total de 310 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir