Hugo José Pereira Pacheco


AuthID: R-001-JZH

Publicações Confirmadas: 38



11
TÍTULO: ROSY: An elegant language to teach the pure reactive nature of robot programming PDF
AUTORES: Hugo Pacheco ; Nuno Macedo ;
PUBLICAÇÃO: 2020, FONTE: 4th IEEE International Conference on Robotic Computing, IRC 2020 in Fourth IEEE International Conference on Robotic Computing, IRC 2020, Taichung, Taiwan, November 9-11, 2020
INDEXADO EM: Scopus DBLP arXiv CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
12
TÍTULO: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Pacheco, H ; Pereira, V ; Portela, B ;
PUBLICAÇÃO: 2018, FONTE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
13
TÍTULO: Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
AUTORES: Almeida, JB ; Cunha, A ; Macedo, N ; Pacheco, H ; Proenca, J ;
PUBLICAÇÃO: 2018, FONTE: 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP) in PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, VOLUME: 2, NÚMERO: ICFP
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
14
TÍTULO: BiFluX: A Bidirectional Functional Update Language for XML  Full Text
AUTORES: Tao Zan; Hugo Pacheco ; Hsiang Shang Ko; Zhenjiang Hu;
PUBLICAÇÃO: 2017, FONTE: Inf. Media Technol., VOLUME: 12, NÚMERO: 4
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
15
TÍTULO: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography  Full Text
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLICAÇÃO: 2017, FONTE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, VOLUME: Part F131467
INDEXADO EM: Scopus WOS DBLP CrossRef: 72
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
16
TÍTULO: Towards new data management platforms for a DSO as market enabler - UPGRID Portugal demo
AUTORES: Alonso, A ; Couto, R ; Pacheco, H; Bessa, R ; Gouveia, C ; Seca, L; Moreira, J ; Nunes, P; Matos, PG; Oliveira, A;
PUBLICAÇÃO: 2017, FONTE: 24th International Conference and Exhibition on Electricity Distribution, CIRED 2017 in CIRED - Open Access Proceedings Journal, VOLUME: 2017, NÚMERO: 1
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
17
TÍTULO: A Tool-Chain for High-Assurance Cryptographic Software
AUTORES: Almeida, J ; Barbosa, M ; Pacheco, H ; Pereira, V;
PUBLICAÇÃO: 2016, FONTE: ERCIM NEWS, VOLUME: 2016, NÚMERO: 106
INDEXADO EM: WOS DBLP
NO MEU: DBLP
18
TÍTULO: A Clear Picture of Lens Laws - Functional Pearl
AUTORES: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLICAÇÃO: 2015, FONTE: 12th International Conference on Mathematics of Program Construction, MPC 2015 in Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, VOLUME: 9129
INDEXADO EM: Scopus DBLP CrossRef: 9
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
19
TÍTULO: The essence of bidirectional programming  Full Text
AUTORES: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE CHINA Information Sciences, VOLUME: 58, NÚMERO: 5
INDEXADO EM: DBLP CrossRef: 24
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
20
TÍTULO: Bidirectional Spreadsheet Formulas
AUTORES: Nuno Macedo ; Hugo Pacheco ; Nuno Rocha Sousa; Alcino Cunha ;
PUBLICAÇÃO: 2014, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 2 de 4. Total de resultados: 38.

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

Links Úteis

Ajuda

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