Johannes Michiel Willem Visser
AuthID: R-000-7MF
21
TITLE: Strongly Typed Rewriting For Coupled Software Transformation
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2007, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 174, ISSUE: 1
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2007, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 174, ISSUE: 1
22
TITLE: Transformation of structure-shy programs: applied to XPath queries and strategic functions. applied to XPath queries and strategic functions
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2007, SOURCE: 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation in Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2007, SOURCE: 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation in Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007
23
TITLE: Type-safe two-level data transformation
AUTHORS: Alcino Cunha ; Jose Nuno Oliveira ; Joost Visser;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
AUTHORS: Alcino Cunha ; Jose Nuno Oliveira ; Joost Visser;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
24
TITLE: Matching objects without language extension
AUTHORS: Visser, J;
PUBLISHED: 2006, SOURCE: Journal of Object Technology, VOLUME: 5, ISSUE: 8
AUTHORS: Visser, J;
PUBLISHED: 2006, SOURCE: Journal of Object Technology, VOLUME: 5, ISSUE: 8
INDEXED IN: 
Scopus
Scopus25
TITLE: Strategic term rewriting and its application to a VDM-SL to SQL conversion
AUTHORS: Alves, TL; Silva, PF ; Visser, J; Oliveira, JN ;
PUBLISHED: 2005, SOURCE: 13th International Symposium of Formal Methods Europe in FM 2005: FORMAL METHODS, PROCEEDINGS, VOLUME: 3582
AUTHORS: Alves, TL; Silva, PF ; Visser, J; Oliveira, JN ;
PUBLISHED: 2005, SOURCE: 13th International Symposium of Formal Methods Europe in FM 2005: FORMAL METHODS, PROCEEDINGS, VOLUME: 3582
26
TITLE: Source model analysis using the JJTraveler visitor combinator framework Full Text
AUTHORS: van Deursen, A; Visser, J;
PUBLISHED: 2004, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 34, ISSUE: 14
AUTHORS: van Deursen, A; Visser, J;
PUBLISHED: 2004, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 34, ISSUE: 14
27
TITLE: Exopolymers in bacterial adhesion: interpretation in terms of DLVO and XDLVO theories Full Text
AUTHORS: Azeredo, J ; Visser, J; Oliveira, R;
PUBLISHED: 1999, SOURCE: COLLOIDS AND SURFACES B-BIOINTERFACES, VOLUME: 14, ISSUE: 1-4
AUTHORS: Azeredo, J ; Visser, J; Oliveira, R;
PUBLISHED: 1999, SOURCE: COLLOIDS AND SURFACES B-BIOINTERFACES, VOLUME: 14, ISSUE: 1-4
