publicações selecionadas
-
artigo académico
- Model-based programming environments for spreadsheets. International Journal on Software Tools for Technology Transfer. 2014
- Transformation of structure-shy programs with application to XPath queries and strategic functions. International Journal on Software Tools for Technology Transfer. 2011
- Exopolymers in bacterial adhesion: Interpretation in terms of DLVO and XDLVO theories. Colloids and Surfaces B: Biointerfaces. 1999
-
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. International Journal on Software Tools for Technology Transfer. 2007
- Strongly typed rewriting for coupled software transformation. Electronic Notes in Theoretical Computer Science. 2007
- Transformation of structure-shy programs: applied to XPath queries and strategic functions 2007
- Type-safe two-level data transformation. International Journal on Software Tools for Technology Transfer. 2006
- Camila Revival: VDM meets Haskell 2005
-
documento
- Constraint-aware schema transformation. Electronic Notes in Theoretical Computer Science. 2012
- Generative and transformational techniques in software engineering III. International Journal on Software Tools for Technology Transfer. 2011
- Galois: a language for proofs using galois connections and fork algebras 2009
- Matching objects without language extension. Journal of Object Technology. 2006
- Strong types for relational databases: functional pearl 2006
- Strategic term rewriting and its application to a VDM-SL to SQL conversion. International Journal on Software Tools for Technology Transfer. 2005
- Camila revival: VDM meets haskell 2005
-
livro