Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Confirmed Publications: 90



71
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXED IN: Scopus WOS DBLP CrossRef: 7 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
72
TITLE: Transformation of structure-shy programs with application to XPath queries and strategic functions  Full Text
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2011, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
73
TITLE: Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
AUTHORS: Ana Gabriela Garis; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2011, SOURCE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, VOLUME: 7041
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP | CIÊNCIAVITAE
74
TITLE: Generic Point-free Lenses
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | DBLP | CIÊNCIAVITAE
75
TITLE: Mapping between Alloy specifications and database implementations
AUTHORS: Alcino Cunha ; Hugo Pacheco ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | DBLP | CIÊNCIAVITAE
76
TITLE: Coupled schema transformation and data conversion for XML and SQL  Full Text
AUTHORS: Pablo Berdaguer; Alcino Cunha ; Hugo Pacheco ; Joost Visser;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354
INDEXED IN: Scopus WOS DBLP CrossRef: 15
IN MY: ORCID | DBLP | CIÊNCIAVITAE
77
TITLE: Strongly Typed Rewriting For Coupled Software Transformation
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2007, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 174, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 15
IN MY: ORCID | DBLP | CIÊNCIAVITAE
78
TITLE: Transformation of structure-shy programs: applied to XPath queries and strategic functions. applied to XPath queries and strategic functions
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2007, SOURCE: 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation in Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007
INDEXED IN: Scopus DBLP CrossRef: 9
IN MY: ORCID | DBLP | CIÊNCIAVITAE
79
TITLE: A framework for point-free program transformation  Full Text
AUTHORS: Alcino Cunha ; Jorge Sousa Pinto ; Jose Proenca ;
PUBLISHED: 2006, SOURCE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP | CIÊNCIAVITAE
80
TITLE: Type-safe two-level data transformation
AUTHORS: Alcino Cunha ; Jose Nuno Oliveira ; Joost Visser;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
INDEXED IN: Scopus WOS DBLP CrossRef: 18
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 8 of 9. Total results: 90.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service