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 1-20 de um total de 79 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
2023Adding records to alloyBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
8-Mar-2011Algebraic specialization of generic functions for recursive typesCunha, Alcino; Pacheco, HugoArtigoAcesso aberto
2023An experimental evaluation of tools for grading concurrent programming exercisesBarros, Manuel; Ramos, Maria; Gomes, Alexandre, et al.Artigo em ata de conferênciaAcesso aberto
2015An ORCID based synchronization framework for a national CRIS ecosystemMoreira, João Mendes; Cunha, Alcino; Macedo, Nuno Filipe MoreiraArtigoAcesso aberto
2003Automatic visualization of recursion trees: a case study on generic programmingCunha, AlcinoArtigoAcesso aberto
28-Mar-2014BenchmarXAnjorin, Anthony; Hermann, Frank; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
2014Bidirectional spreadsheet formulasPacheco, Hugo; Macedo, Nuno Filipe Moreira; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
1-Fev-2017Bidirectional Transformations (Bx 2015) Special Section: EditorialCunha, Alcino; Kindler, EkkartEditorial em revistaAcesso aberto
2014Bounded model checking of temporal formulas with alloyCunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2011Calculating with lenses: optimising bidirectional transformationsPacheco, Hugo; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2013Composing least-change lensesMacedo, Nuno Filipe Moreira; Pacheco, Hugo; Cunha, Alcino, et al.ArtigoAcesso aberto
2017Composition in state-based replicated data typesBaquero, Carlos; Almeida, Paulo Sergio; Cunha, Alcino, et al.ArtigoAcesso aberto
2007Coupled schema transformation and data conversion for XML and SQLBerdaguer, Pablo; Cunha, Alcino; Pacheco, Hugo, et al.Artigo em ata de conferênciaAcesso aberto
2012Delta lenses over inductive typesPacheco, Hugo; Cunha, Alcino; Hu, ZhenjiangArtigoAcesso aberto
2002Deriving animations from recursive definitionsCunha, Alcino; Barros, José Bernardo; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
Jun-2005Down with variablesCunha, Alcino; Pinto, Jorge Sousa; Proença, José Miguel PaivaRelatórioAcesso aberto
2020Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José, et al.Artigo em ata de conferênciaAcesso aberto
2021Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José, et al.ArtigoAcesso restrito UMinho
Set-2017Exploiting partial knowledge for efficient model analysisMacedo, Nuno; Cunha, Alcino; Pessoa, Eduardo José DiasArtigo 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
Mostrar 1-20 de um total de 79 resultados.  próximo >