Hugo José Pereira Pacheco


AuthID: R-001-JZH

Publicações Confirmadas: 37



21
TÍTULO: Monadic combinators for "Putback" style bidirectional programming
AUTORES: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLICAÇÃO: 2014, FONTE: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014 in Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA
INDEXADO EM: Scopus DBLP CrossRef: 20
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
22
TÍTULO: Towards a framework for multidirectional model transformations PDF
AUTORES: Macedo, N ; Cunha, A ; Pacheco, H ;
PUBLICAÇÃO: 2014, FONTE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in CEUR Workshop Proceedings, VOLUME: 1133
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
23
TÍTULO: Validity checking of putback transformations in bidirectional programming
AUTORES: Hu, Z; Pacheco, H ; Fischer, S;
PUBLICAÇÃO: 2014, FONTE: 19th International Symposium on Formal Methods, FM 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8442 LNCS
INDEXADO EM: Scopus CrossRef: 9
NO MEU: ORCID | CIÊNCIAVITAE
24
TÍTULO: Validity Checking of Putback Transformations in Bidirectional Programming
AUTORES: Zhenjiang Hu; Hugo Pacheco ; Sebastian Fischer;
PUBLICAÇÃO: 2014, FONTE: FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, VOLUME: 8442
INDEXADO EM: DBLP
NO MEU: DBLP
25
TÍTULO: Writing bidirectional model transformations as intentional updates
AUTORES: Tao Zan; Hugo Pacheco ; Zhenjiang Hu;
PUBLICAÇÃO: 2014, FONTE: 36th International Conference on Software Engineering, ICSE 2014 in 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
26
TÍTULO: A Generic Scheme and Properties of Bidirectional Transformations PDF
AUTORES: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1306.4473
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
27
TÍTULO: Composing Least-change Lenses
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLICAÇÃO: 2013, FONTE: ECEASST, VOLUME: 57
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
28
TÍTULO: Bidirectional data transformation by calculation
AUTORES: Hugo Pacheco ;
PUBLICAÇÃO: 2012
INDEXADO EM: DBLP Handle
NO MEU: DBLP
29
TÍTULO: Bidirectional Transformation of Model-Driven Spreadsheets
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLICAÇÃO: 2012, FONTE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307
INDEXADO EM: Scopus DBLP CrossRef: 16 Handle
NO MEU: ORCID | DBLP
30
TÍTULO: Delta Lenses over Inductive Types
AUTORES: Hugo Pacheco ; Alcino Cunha ; Zhenjiang Hu;
PUBLICAÇÃO: 2012, FONTE: ECEASST, VOLUME: 49
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 3 de 4. Total de resultados: 37.

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

Links Úteis

Ajuda

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