Hugo José Pereira Pacheco


AuthID: R-001-JZH

Confirmed Publications: 36



31
TITLE: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: RAMiCS, VOLUME: 7560 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
32
33
TITLE: Generic Point-free Lenses
AUTHORS: Pacheco, H ; Cunha, A ;
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
34
TITLE: Mapping between Alloy specifications and database implementations
AUTHORS: Cunha, A ; Pacheco, H ;
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
35
TITLE: Algebraic Specialization of Generic Functions for Recursive Types
AUTHORS: Alcino Cunha ; Hugo Pacheco ;
PUBLISHED: 2008, SOURCE: MSFP@ICALP, VOLUME: 229, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
36
TITLE: Coupled schema transformation and data conversion for XML and SQL  Full Text
AUTHORS: Berdaguer, P; Cunha, A ; Pacheco, H ; Visser, J;
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
Page 4 of 4. Total results: 36.

footer slogan

Useful Links

Get Help

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