Browsing by author Visser, Joost Subscribe author statistics Visser, Joost

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 19 of 19.
Issue DateTitleAuthor(s)TypeAccess
2005Camila revival: VDM meets haskellVisser, Joost; Oliveira, José Nuno Fonseca; Barbosa, L. S., et al.Conference paperOpen access
2012Constraint-aware schema transformationAlves, Tiago L.; Silva, Paulo F.; Visser, JoostArticleOpen access
2007Coupled schema transformation and data conversion for XML and SQLBerdaguer, Pablo; Cunha, Alcino; Pacheco, Hugo, et al.Conference paperOpen access
2009Discovery-based edit assistance for spreadsheetsCunha, Jácome Miguel Costa; Saraiva, João Alexandre; Visser, JoostConference paperOpen access
1999Exopolymers in bacterial adhesion: interpretation in terms of DLVO and XDLVO theoriesAzeredo, Joana; Visser, Joost; Oliveira, RosárioArticleOpen access
2009From spreadsheets to relational databases and backCunha, Jácome Miguel Costa; Saraiva, João Alexandre; Visser, JoostConference paperOpen access
2009Galois: a language for proofs using galois connections and fork algebrasSilva, Paulo F.; Visser, Joost; Oliveira, José Nuno FonsecaConference paperOpen access
2011Generative and transformational techniques in software engineering IIIFernandes, João M.; Lämmel, Ralf; Visser, Joost, et al.BookOpen access
Nov-2006Matching objects without language extensionVisser, JoostArticleOpen access
2014Model-based programming environments for spreadsheetsCunha, Jácome Miguel Costa; Mendes, Jorge; Saraiva, João Alexandre, et al.ArticleOpen access
2012Model-based programming environments for spreadsheetsCunha, Jácome Miguel Costa; Saraiva, João Alexandre; Visser, JoostConference paperOpen access
2005Strategic term rewriting and its application to a VDM-SL to SQL conversionAlves, Tiago Miguel Laureano; Silva, P. F.; Visser, Joost, et al.Conference paperOpen access
2006Strong types for relational databases: functional pearlVisser, Joost; Silva, Alexandra M.Conference paperOpen access
2007Strongly typed rewriting for coupled software transformationCunha, Alcino; Visser, JoostArticleOpen access
2007Transformation of structure-shy programs : applied to XPath queries and strategic functionsCunha, Alcino; Visser, JoostConference paperOpen access
1-Jun-2011Transformation of structure-shy programs with application to XPath queries and strategic functionsCunha, Alcino; Visser, JoostArticleOpen access
2007A type-level approach to component prototypingBarbosa, L. S.; Cunha, Jácome Miguel Costa; Visser, JoostConference paperOpen access
2011Type-safe evolution of spreadsheetsCunha, Jácome Miguel Costa; Visser, Joost; Alves, Tiago Miguel Laureano, et al.Conference paperOpen access
2006Type-safe two-level data transformationCunha, Alcino; Oliveira, José Nuno Fonseca; Visser, JoostConference paperOpen access