Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publicações Confirmadas: 92



71
72
TÍTULO: Logic Training through Algorithmic Problem Solving
AUTORES: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2011, FONTE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXADO EM: Scopus WOS DBLP CrossRef: 7 Handle
NO MEU: ORCID | CIÊNCIAVITAE
73
TÍTULO: Transformation of structure-shy programs with application to XPath queries and strategic functions  Full Text
AUTORES: Cunha, A ; Visser, J;
PUBLICAÇÃO: 2011, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
74
TÍTULO: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL  Full Text
AUTORES: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2011, FONTE: SEFM, VOLUME: 7041 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
75
TÍTULO: Generic Point-free Lenses
AUTORES: Pacheco, H ; Cunha, A ;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | CIÊNCIAVITAE
76
TÍTULO: Mapping between Alloy specifications and database implementations
AUTORES: Cunha, A ; Pacheco, H ;
PUBLICAÇÃO: 2009, FONTE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | CIÊNCIAVITAE
77
TÍTULO: Algebraic Specialization of Generic Functions for Recursive Types
AUTORES: Alcino Cunha ; Hugo Pacheco ;
PUBLICAÇÃO: 2008, FONTE: MSFP@ICALP, VOLUME: 229, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
78
TÍTULO: Coupled schema transformation and data conversion for XML and SQL  Full Text
AUTORES: Berdaguer, P; Cunha, A ; Pacheco, H ; Visser, J;
PUBLICAÇÃO: 2007, FONTE: 9th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 4354
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | CIÊNCIAVITAE
79
80
TÍTULO: A framework for point-free program transformation  Full Text
AUTORES: Cunha, A ; Pinto, JS ; Proença, J ;
PUBLICAÇÃO: 2006, FONTE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | CIÊNCIAVITAE
Página 8 de 10. Total de resultados: 92.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service