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 51.  next >
Issue DateTitleAuthor(s)TypeAccess
8-Mar-2011Algebraic specialization of generic functions for recursive typesCunha, Alcino; Pacheco, HugoArticleOpen 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
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
2012Fast distributed computation of distances in networksAlmeida, Paulo Sérgio; Baquero, Carlos; Cunha, AlcinoConference paperOpen access
Jul-2017A feature-based classification of model repair approachesMacedo, Nuno; Jorge, Tiago Manuel Silva; Cunha, AlcinoArticleOpen access
2006A framework for point-free program transformationCunha, Alcino; Pinto, Jorge Sousa; Proença, José Miguel PaivaConference paperOpen access
Dec-2016A framework for quality assessment of ROS repositoriesSantos, André Filipe Faria; Cunha, Alcino; Macedo, Nuno, et al.Conference paperOpen access