Hugo Pacheco

Cited by

	All	Since 2017
Citations	608	292
h-index	14	8
i10-index	17	8

20072008200920102011201220132014201520162017201820192020202120222 8 5 12 16 53 38 68 33 62 41 59 67 61 54 10

Public access

View all

7 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
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Nuno MacedoDEI @ FEUP & HASLab @ INESC TECVerified email at inesctec.pt
José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt
Jácome CunhaUniversity of Porto & HASLab/INESC TECVerified email at fe.up.pt
João SaraivaHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Jorge MendesVerified email at di.uminho.pt
João Paulo FernandesAssociate Professor, DEI-FEUP & LIACCVerified email at fe.up.pt
Tiago OliveiraMPI-SP and Universidade do Porto (FCUP)Verified email at mpi-sp.org
Benedikt SchmidtGoogleVerified email at google.com
Pierre-Yves StrubMaître de Conférence, CS, École PolytechniqueVerified email at strub.nu
Joost VisserProfessor, LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
Bernardo PortelaINESC TEC, FCUPVerified email at fc.up.pt
Jose N. OliveiraHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Jose ProencaCISTER - ISEPVerified email at proenca.org
Janis VoigtländerAssociate Professor Formal Methods in Computer Science, University of Duisburg-EssenVerified email at uni-due.de
Ricardo BessaSenior Researcher at INESC TEC - Power Systems UnitVerified email at inescporto.pt
Rui CoutoHASLab/INESC TECVerified email at di.uminho.pt
Vitor PereiraSRI InternationalVerified email at sri.com

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	96	2017
Bidirectional transformation of model-driven spreadsheets J Cunha, JP Fernandes, J Mendes, H Pacheco, J Saraiva International Conference on Theory and Practice of Model Transformations …, 2012	66	2012
Monadic Combinators for “Putback” Style Bidirectional Programming H Pacheco, Z Hu, S Fischer ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation …, 2014	46	2014
Generic point-free lenses H Pacheco, A Cunha International Conference on Mathematics of Program Construction, 331-352, 2010	43	2010
Coupled schema transformation and data conversion for XML and SQL P Berdaguer, A Cunha, H Pacheco, J Visser International Symposium on Practical Aspects of Declarative Languages, 290-304, 2007	42	2007
The essence of bidirectional programming S Fischer, Z Hu, H Pacheco Science China Information Sciences 58 (5), 1-21, 2015	40*	2015
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	36	2014
Delta lenses over inductive types H Pacheco, A Cunha, Z Hu Electronic Communications of the European Association of Software Science …, 2012	28	2012
Towards a Framework for Multidirectional Model Transformations N Macedo, A Cunha, H Pacheco	27	2014
Validity checking of putback transformations in bidirectional programming Z Hu, H Pacheco, S Fischer International Symposium on Formal Methods, 1-15, 2014	20	2014
Mapping between alloy specifications and database implementations A Cunha, H Pacheco 2009 Seventh IEEE International Conference on Software Engineering and …, 2009	19	2009
A clear picture of lens laws S Fischer, Z Hu, H Pacheco Mathematics of Program Construction, 2015	18	2015
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	15	2011
Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas H Pacheco, A Cunha 5th International Conference on Model Transformation (ICMT 2012), 2012	12	2012
Writing bidirectional model transformations as intentional updates T Zan, H Pacheco, Z Hu Companion Proceedings of the 36th International Conference on Software …, 2014	11	2014
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	9	2014
Relations as executable specifications: taming partiality and non-determinism using invariants N Macedo, H Pacheco, A Cunha International Conference on Relational and Algebraic Methods in Computer …, 2012	9	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	8	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 this author

Cited by

Co-authors