Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 13 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
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
2013Implementing QVT-R bidirectional model transformations using alloyMacedo, Nuno; 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
Dez-2016A framework for quality assessment of ROS repositoriesSantos, André Filipe Faria; Cunha, Alcino; Macedo, Nuno; Lourenço, Cláudio Filipe Belo SilvaArtigo em ata de conferênciaAcesso aberto
Jan-2016Lightweight specification and analysis of dynamic systems with rich configurationsMacedo, Nuno; Brunel, Julien; Chemouil, David; Cunha, Alcino; Kuperberg, DenisArtigo em ata de conferênciaAcesso aberto
2014Bidirectional spreadsheet formulasPacheco, Hugo; Macedo, Nuno Filipe Moreira; Cunha, Alcino; Sousa, Nuno Miguel Rocha deArtigo em ata de conferênciaAcesso aberto
2013Model repair and transformation with EchoMacedo, Nuno Filipe Moreira; Guimarães, Tiago Miguel Moreira; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
Set-2018The electrum analyzer: Model checking relational first-order temporal specificationsBrunel, Julien; Chemouil, David; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 13 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir