Hugo Pacheco - Google Scholar

Cited by

	All	Since 2015
Citations	500	291
h-index	13	10
i10-index	16	10

200720082009201020112012201320142015201620172018201920202 8 4 12 16 50 38 68 32 67 40 60 70 22

Co-authors

Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Zhenjiang HuProfessor, Dept. of Computer Science and Technology, Peking UniversityVerified email at pku.edu.cn
Nuno MacedoResearcher at HASLab, INESC TEC & U. MinhoVerified email at inesctec.pt
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
Jácome CunhaUniversity of Minho & HASLab/INESC TecVerified email at di.uminho.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 FernandesCISUC - Universidade de CoimbraVerified email at dei.uc.pt
Tiago OliveiraHASLab, INESC TEC, FCUPVerified email at inesctec.pt
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
Vitor PereiraHASLab | INESC TEC & FCUP, Universidade do Porto, PortugalVerified email at inesctec.pt
Jose N. OliveiraHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Bernardo PortelaNOVA-LINCS, FCUPVerified email at fct.unl.pt
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
Jose ProencaKU LeuvenVerified email at cs.kuleuven.be

Hugo Pacheco

HasLab & INESC TEC

Verified email at inesctec.pt - Homepage

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


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	63	2012
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	50	2017
Generic point-free lenses H Pacheco, A Cunha International Conference on Mathematics of Program Construction, 331-352, 2010	40	2010
Monadic Combinators for “Putback” Style Bidirectional Programming H Pacheco, Z Hu, S Fischer ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation …, 2014	39	2014
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	39	2007
The essence of bidirectional programming S Fischer, Z Hu, H Pacheco Science China Information Sciences 58 (5), 1-21, 2015	34*	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	33	2014
Delta lenses over inductive types H Pacheco, A Cunha, Z Hu Electronic Communications of the European Association of Software Science …, 2012	27	2012
Towards a Framework for Multidirectional Model Transformations N Macedo, A Cunha, H Pacheco	21	2014
Validity checking of putback transformations in bidirectional programming Z Hu, H Pacheco, S Fischer International Symposium on Formal Methods, 1-15, 2014	19	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	14	2015
Composing Least-change Lenses N Macedo, H Pacheco, A Cunha, JN Oliveira Proc. BX 2, 18, 2013	13	2013
Calculating with lenses: optimising bidirectional transformations H Pacheco, A Cunha Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011	13	2011
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
Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas H Pacheco, A Cunha 5th International Conference on Model Transformation (ICMT 2012), 2012	10	2012
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
Bidirectional Data Transformation by Calculation H Pacheco Universidade do Minho, 2012	8	2012
Algebraic specialization of generic functions for recursive types A Cunha, H Pacheco Elsevier, 2011	8	2011
Bidirectional spreadsheet formulas N Macedo, H Pacheco, NR Sousa, A Cunha Visual Languages and Human-Centric Computing (VL/HCC), 2014 IEEE Symposium …, 2014	7	2014

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

Upload PDF

Follow this author

Cited by

Co-authors