Hugo José Pereira Pacheco


AuthID: R-001-JZH

Publicações Confirmadas: 36



31
TÍTULO: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: RAMiCS, VOLUME: 7560 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
32
33
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
34
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
35
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
36
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
Página 4 de 4. Total de resultados: 36.

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