Data | Título | Autor(es) | Tipo | Acesso |
2005 | Camila revival: VDM meets haskell | Visser, Joost; Oliveira, José Nuno Fonseca; Barbosa, L. S., et al. | Artigo em ata de conferência | Acesso aberto |
2012 | Constraint-aware schema transformation | Alves, Tiago L.; Silva, Paulo F.; Visser, Joost | Artigo | Acesso aberto |
2007 | Coupled schema transformation and data conversion for XML and SQL | Berdaguer, Pablo; Cunha, Alcino; Pacheco, Hugo, et al. | Artigo em ata de conferência | Acesso aberto |
2009 | Discovery-based edit assistance for spreadsheets | Cunha, Jácome Miguel Costa; Saraiva, João Alexandre; Visser, Joost | Artigo em ata de conferência | Acesso aberto |
1999 | Exopolymers in bacterial adhesion: interpretation in terms of DLVO and XDLVO theories | Azeredo, Joana; Visser, Joost; Oliveira, Rosário | Artigo | Acesso aberto |
2009 | From spreadsheets to relational databases and back | Cunha, Jácome Miguel Costa; Saraiva, João Alexandre; Visser, Joost | Artigo em ata de conferência | Acesso aberto |
2009 | Galois: a language for proofs using galois connections and fork algebras | Silva, Paulo F.; Visser, Joost; Oliveira, José Nuno Fonseca | Artigo em ata de conferência | Acesso aberto |
2011 | Generative and transformational techniques in software engineering III | Fernandes, João M.; Lämmel, Ralf; Visser, Joost, et al. | Livro | Acesso aberto |
Nov-2006 | Matching objects without language extension | Visser, Joost | Artigo | Acesso aberto |
2014 | Model-based programming environments for spreadsheets | Cunha, Jácome Miguel Costa; Mendes, Jorge; Saraiva, João Alexandre, et al. | Artigo | Acesso aberto |
2012 | Model-based programming environments for spreadsheets | Cunha, Jácome Miguel Costa; Saraiva, João Alexandre; Visser, Joost | Artigo em ata de conferência | Acesso aberto |
2005 | Strategic term rewriting and its application to a VDM-SL to SQL conversion | Alves, Tiago Miguel Laureano; Silva, P. F.; Visser, Joost, et al. | Artigo em ata de conferência | Acesso aberto |
2006 | Strong types for relational databases: functional pearl | Visser, Joost; Silva, Alexandra M. | Artigo em ata de conferência | Acesso aberto |
2007 | Strongly typed rewriting for coupled software transformation | Cunha, Alcino; Visser, Joost | Artigo | Acesso aberto |
2007 | Transformation of structure-shy programs : applied to XPath queries and strategic functions | Cunha, Alcino; Visser, Joost | Artigo em ata de conferência | Acesso aberto |
1-Jun-2011 | Transformation of structure-shy programs with application to XPath queries and strategic functions | Cunha, Alcino; Visser, Joost | Artigo | Acesso aberto |
2007 | A type-level approach to component prototyping | Barbosa, L. S.; Cunha, Jácome Miguel Costa; Visser, Joost | Artigo em ata de conferência | Acesso aberto |
2011 | Type-safe evolution of spreadsheets | Cunha, Jácome Miguel Costa; Visser, Joost; Alves, Tiago Miguel Laureano, et al. | Artigo em ata de conferência | Acesso aberto |
2006 | Type-safe two-level data transformation | Cunha, Alcino; Oliveira, José Nuno Fonseca; Visser, Joost | Artigo em ata de conferência | Acesso aberto |