publicações selecionadas
-
artigo académico
- Towards new data management platforms for a DSO as market enabler – UPGRID Portugal demo. CIRED - Open Access Proceedings Journal. 2017
-
artigo de conferência
- Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks. Proceedings IEEE Computer Security Foundations Symposium. 2018
- Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report) 2018
- Bidirectional spreadsheet formulas. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2014
- Towards a framework for multi-directional model transformations. CEUR Workshop Proceedings. 2014
- Multifocal: A strategic bidirectional transformation language for XML schemas. Computational Methods in Applied Sciences. 2012
- Relations as executable specifications: Taming partiality and non-determinism using invariants. Computational Methods in Applied Sciences. 2012
- Calculating with lenses: optimising bidirectional transformations 2011
- Generic point-free lenses. Computational Methods in Applied Sciences. 2010
- Mapping between Alloy specifications and database implementations 2009
- Coupled schema transformation and data conversion for XML and SQL. Computational Methods in Applied Sciences. 2007
-
artigo de revista
- Composing least-change lenses. Electronic Communications of the EASST. 2013
- Delta lenses over inductive types. Electronic Communications of the EASST. 2012
- Algebraic specialization of generic functions for recursive types. Electronic Notes in Theoretical Computer Science. 2011
-
livro
-
teses