Concepedia

Hugo Pacheco

HP

12

Publications

313

Citations

11

H-Index

2007

Active since

Affiliations

University of Minho(Current)

National Institute of Informatics

The Graduate University for Advanced Studies, SOKENDAI

IMDEA Software Institute

Hugo Pacheco is an author at University of Minho specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisSoftware EngineeringAutomated ReasoningVerificationSoftware Design

Publications per year

2007–2024

12

Publications

12

Jasmin

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe et al. · 2017 · 101 citations · Full text

Cryptographic Primitive, Engineering, Verification +17

Monadic combinators for "Putback" style bidirectional programming

Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer · 2014 · 36 citations · Full text

Engineering, Verification, Software Engineering +22

The essence of bidirectional programming

Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco · Science China Information Sciences · 2015 · 36 citations · Full text

Hugo Pacheco, Tao Zan, Zhenjiang Hu · 2014 · 33 citations · Full text

Xml Library, Target Formats, Separate Transformation +14

Teaching how to program using automated assessment and functional glossy games (experience report)

José Bacelar Almeida, Alcino Cunha, Nuno Macedo et al. · Proceedings of the ACM on Programming Languages · 2018 · 17 citations · Full text

Engineering, Computational Literacy, Education +19

Rows per page

1–5 of 12