Hugo Pacheco

Cited by

	All	Since 2018
Citations	646	308
h-index	14	8
i10-index	18	8

200720082009201020112012201320142015201620172018201920202021202220232 8 4 12 17 43 39 56 41 62 39 59 69 64 54 51 11

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Zhenjiang HuProfessor, School of Computer Science, Peking UniversityVerified email at pku.edu.cn
José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Nuno MacedoDEI @ FEUP & HASLab @ INESC TECVerified email at inesctec.pt
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Tiago OliveiraMax Planck Institute for Security and Privacy (MPI-SP)Verified email at mpi-sp.org
Pierre-Yves StrubMaître de Conférence, CS, École PolytechniqueVerified email at strub.nu
Benjamin GregoireInria Sophia-AntipolisVerified email at inria.fr
Jácome CunhaAssociate Professor at DEI, Faculty of Engineering, University of Porto & HASLab/INESC TECVerified email at fe.up.pt
João SaraivaHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Benedikt SchmidtGoogleVerified email at google.com
João Paulo FernandesAssociate Professor, DEI-FEUP & LIACCVerified email at fe.up.pt
Bernardo PortelaINESC TEC, FCUPVerified email at fc.up.pt
Joost VisserProfessor, LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
Jose N. OliveiraHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Karim EldefrawyPrincipal Computer Scientist, SRI InternationalVerified email at sri.com
Jose ProencaCISTER - ISEPVerified email at proenca.org
Ricardo BessaSenior Researcher at INESC TEC - Power Systems UnitVerified email at inescporto.pt
Rui CoutoHASLab/INESC TECVerified email at di.uminho.pt

Hugo Pacheco

HasLab, INESC TEC & DCC, FCUP, University of Porto

Verified email at inesctec.pt - Homepage

Formal Methods Cryptography Secure Multi-Party Computation Bidirectional Transformation Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Jasmin: High-assurance and high-speed cryptography JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, ... Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017	130	2017
Bidirectional transformation of model-driven spreadsheets J Cunha, JP Fernandes, J Mendes, H Pacheco, J Saraiva Theory and Practice of Model Transformations: 5th International Conference …, 2012	66	2012
The essence of bidirectional programming S Fischer, Z Hu, HP Pacheco	46*	2015
Monadic Combinators for “Putback” Style Bidirectional Programming H Pacheco, Z Hu, S Fischer ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation …, 2014	45	2014
Generic point-free lenses H Pacheco, A Cunha Mathematics of Program Construction: 10th International Conference, MPC 2010 …, 2010	42	2010
Coupled schema transformation and data conversion for XML and SQL P Berdaguer, A Cunha, H Pacheco, J Visser Practical Aspects of Declarative Languages: 9th International Symposium …, 2007	41	2007
BiFluX: A bidirectional functional update language for XML H Pacheco, T Zan, Z Hu Proceedings of the 16th International Symposium on Principles and Practice …, 2014	35	2014
Towards a Framework for Multidirectional Model Transformations N Macedo, A Cunha, H Pacheco	29	2014
Delta lenses over inductive types H Pacheco, A Cunha, Z Hu Electronic Communications of the European Association of Software Science …, 2012	27	2012
Validity checking of putback transformations in bidirectional programming Z Hu, H Pacheco, S Fischer FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014	23	2014
A clear picture of lens laws S Fischer, Z Hu, H Pacheco Mathematics of Program Construction, 2015	19*	2015
Mapping between alloy specifications and database implementations A Cunha, H Pacheco 2009 Seventh IEEE International Conference on Software Engineering and …, 2009	19	2009
Composing Least-change Lenses N Macedo, H Pacheco, A Cunha, JN Oliveira Proc. BX 2, 18, 2013	15	2013
Calculating with lenses: optimising bidirectional transformations H Pacheco, A Cunha Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011	14	2011
Writing bidirectional model transformations as intentional updates T Zan, H Pacheco, Z Hu Companion Proceedings of the 36th International Conference on Software …, 2014	12	2014
Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas H Pacheco, A Cunha 5th International Conference on Model Transformation (ICMT 2012), 2012	11	2012
Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks JB Almeida, M Barbosa, G Barthe, H Pacheco, V Pereira, B Portela 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 132-146, 2018	10	2018
Bidirectional Data Transformation by Calculation H Pacheco Universidade do Minho, 2012	10	2012
Bidirectional spreadsheet formulas N Macedo, H Pacheco, NR Sousa, A Cunha Visual Languages and Human-Centric Computing (VL/HCC), 2014 IEEE Symposium …, 2014	8	2014
Teaching how to program using automated assessment and functional glossy games (experience report) JB Almeida, A Cunha, N Macedo, H Pacheco, J Proença Proceedings of the ACM on Programming Languages 2 (ICFP), 1-17, 2018	7	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors