Percorrer por autor 1917 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 30-49 de um total de 79 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2016Least - change bidirectional model transformation With QVT- R and ATLMacedo, Nuno Filipe Moreira; Cunha, AlcinoArtigoAcesso aberto
Jan-2016Lightweight specification and analysis of dynamic systems with rich configurationsMacedo, Nuno; Brunel, Julien; Chemouil, David, et al.Artigo em ata de conferênciaAcesso aberto
2011Logic training through algorithmic problem solvingFerreira, João Fernando; Mendes, Alexandra; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
2004Making the point-free calculus less pointlessCunha, Alcino; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2009Mapping between Alloy specifications and database implementationsCunha, Alcino; Pacheco, HugoArtigo em ata de conferênciaAcesso aberto
1-Jan-2020Merging cloned alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2022Merging cloned Alloy models with colorful refactoringsLiu, Chong; Macedo, Nuno; Cunha, AlcinoArtigoAcesso aberto
13-Dez-2017Mining the usage patterns of ROS primitivesSantos, André Fernandes; Cunha, Alcino; Macedo, Nuno, et al.Artigo 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
2012Multifocal: a strategic bidirectional transformation language for XML schemasPacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
1997Parallel neural network recognition - a multi-agent system approachCunha, A.; Biscaia, C.; Torres, M., et al.Artigo em ata de conferênciaAcesso aberto
2022Pardinus: a temporal relational model finderMacedo, Nuno; Brunel, Julien; Chemouil, David, et al.ArtigoAcesso aberto
2005Point-free program calculationCunha, AlcinoTese de doutoramentoAcesso aberto
2004Point-free program transformationCunha, Alcino; Pinto, Jorge SousaRelatórioAcesso aberto
2005Point-free program transformationCunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
1-Jan-2015PrefaceCunha, Alcino; Kindler, EkkartEditorial em ata de conferênciaAcesso aberto
2018Property-based testing for the robot operating systemSantos, André; Cunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
2018Proposition of an action layer for electrumBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
2022Quantitative relational modelling with QAlloySilva, Pedro; Oliveira, José Nuno Fonseca; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
Mai-2005Recursion patterns and time-analysisBarbosa, Manuel; Cunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
Mostrar 30-49 de um total de 79 resultados. < anterior   próximo >