Browsing by author 1917 Subscribe author statistics Autor

Jump to: 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

or enter first few letters:  

Showing results 1 to 20 of 79.  next >
Issue DateTitleAuthor(s)TypeAccess
2023Adding records to alloyBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Conference paperOpen access
8-Mar-2011Algebraic specialization of generic functions for recursive typesCunha, Alcino; Pacheco, HugoArticleOpen access
2023An experimental evaluation of tools for grading concurrent programming exercisesBarros, Manuel; Ramos, Maria; Gomes, Alexandre, et al.Conference paperOpen access
2015An ORCID based synchronization framework for a national CRIS ecosystemMoreira, João Mendes; Cunha, Alcino; Macedo, Nuno Filipe MoreiraArticleOpen access
2003Automatic visualization of recursion trees: a case study on generic programmingCunha, AlcinoArticleOpen access
28-Mar-2014BenchmarXAnjorin, Anthony; Hermann, Frank; Cunha, Alcino, et al.Conference paperOpen access
2014Bidirectional spreadsheet formulasPacheco, Hugo; Macedo, Nuno Filipe Moreira; Cunha, Alcino, et al.Conference paperOpen access
1-Feb-2017Bidirectional Transformations (Bx 2015) Special Section: EditorialCunha, Alcino; Kindler, EkkartJournal editorialOpen access
2014Bounded model checking of temporal formulas with alloyCunha, AlcinoConference paperOpen access
2011Calculating with lenses: optimising bidirectional transformationsPacheco, Hugo; Cunha, AlcinoConference paperOpen access
2013Composing least-change lensesMacedo, Nuno Filipe Moreira; Pacheco, Hugo; Cunha, Alcino, et al.ArticleOpen access
2017Composition in state-based replicated data typesBaquero, Carlos; Almeida, Paulo Sergio; Cunha, Alcino, et al.ArticleOpen access
2007Coupled schema transformation and data conversion for XML and SQLBerdaguer, Pablo; Cunha, Alcino; Pacheco, Hugo, et al.Conference paperOpen access
2012Delta lenses over inductive typesPacheco, Hugo; Cunha, Alcino; Hu, ZhenjiangArticleOpen access
2002Deriving animations from recursive definitionsCunha, Alcino; Barros, José Bernardo; Saraiva, João AlexandreConference paperOpen access
Jun-2005Down with variablesCunha, Alcino; Pinto, Jorge Sousa; Proença, José Miguel PaivaReportOpen access
2020Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José, et al.Conference paperOpen access
2021Experiences on teaching alloy with an automated assessment platformMacedo, Nuno; Cunha, Alcino; Pereira, José, et al.ArticleRestricted access (UMinho)
Sep-2017Exploiting partial knowledge for efficient model analysisMacedo, Nuno; Cunha, Alcino; Pessoa, Eduardo José DiasConference paperOpen access
Apr-2015Exploring scenario explorationMacedo, Nuno Filipe Moreira; Cunha, Alcino; Guimarães, Tiago Miguel MoreiraConference paperOpen access