publicações selecionadas
-
artigo de conferência
- Discovery-based edit assistance for spreadsheets. Symposium on Visual Languages and Human Centric Computing VL/HCC. 2009
- From spreadsheets to relational databases and back 2009
- Galois: a language for proofs using galois connections and fork algebras 2009
- A type-level approach to component prototyping 2007
- Coupled schema transformation and data conversion for XML and SQL. Computational Methods in Applied Sciences. 2007
- Transformation of structure-shy programs: applied to XPath queries and strategic functions 2007
- Strong types for relational databases: functional pearl 2006
- Type-safe two-level data transformation. Computational Methods in Applied Sciences. 2006
- Camila Revival: VDM meets Haskell 2005
- Strategic term rewriting and its application to a VDM-SL to SQL conversion. Computational Methods in Applied Sciences. 2005
-
artigo de revista
- Model-based programming environments for spreadsheets. Computational Methods in Applied Sciences. 2014
- Constraint-aware schema transformation. Electronic Notes in Theoretical Computer Science. 2012
- Transformation of structure-shy programs with application to XPath queries and strategic functions. Computational Methods in Applied Sciences. 2011
- Strongly typed rewriting for coupled software transformation. Electronic Notes in Theoretical Computer Science. 2007
- Matching objects without language extension. Journal of Object Technology. 2006
- Exopolymers in bacterial adhesion: Interpretation in terms of DLVO and XDLVO theories. Colloids and Surfaces B: Biointerfaces. 1999
-
livro