Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 27 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
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
2012Multifocal: a strategic bidirectional transformation language for XML schemasPacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2013Implementing QVT-R bidirectional model transformations using alloyMacedo, Nuno; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2012Fast distributed computation of distances in networksAlmeida, Paulo Sérgio; Baquero, Carlos; Cunha, AlcinoArtigo 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
2010Generic point-free lensesPacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2012Delta lenses over inductive typesPacheco, Hugo; Cunha, Alcino; Hu, ZhenjiangArtigoAcesso aberto
Mai-2018Validating the hybrid ERTMS/ETCS level 3 concept with electrumCunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
13-Dez-2017Mining the usage patterns of ROS primitivesSantos, André Fernandes; Cunha, Alcino; Macedo, Nuno; Arrais, Rafael; Dos Santos, Filipe NevesArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 27 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir