Johannes Michiel Willem Visser
AuthID: R-000-7MF
21
TÃTULO: Strongly Typed Rewriting For Coupled Software Transformation
AUTORES: Alcino Cunha ; Joost Visser;
PUBLICAÇÃO: 2007, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 174, NÚMERO: 1
AUTORES: Alcino Cunha ; Joost Visser;
PUBLICAÇÃO: 2007, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 174, NÚMERO: 1
22
TÃTULO: Transformation of structure-shy programs: applied to XPath queries and strategic functions. applied to XPath queries and strategic functions
AUTORES: Alcino Cunha ; Joost Visser;
PUBLICAÇÃO: 2007, FONTE: 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
AUTORES: Alcino Cunha ; Joost Visser;
PUBLICAÇÃO: 2007, FONTE: 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
TÃTULO: Type-safe two-level data transformation
AUTORES: Alcino Cunha ; Jose Nuno Oliveira ; Joost Visser;
PUBLICAÇÃO: 2006, FONTE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
AUTORES: Alcino Cunha ; Jose Nuno Oliveira ; Joost Visser;
PUBLICAÇÃO: 2006, FONTE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
24
TÃTULO: Matching objects without language extension
AUTORES: Visser, J;
PUBLICAÇÃO: 2006, FONTE: Journal of Object Technology, VOLUME: 5, NÚMERO: 8
AUTORES: Visser, J;
PUBLICAÇÃO: 2006, FONTE: Journal of Object Technology, VOLUME: 5, NÚMERO: 8
INDEXADO EM: 
Scopus
Scopus25
TÃTULO: Strategic term rewriting and its application to a VDM-SL to SQL conversion
AUTORES: Alves, TL; Silva, PF ; Visser, J; Oliveira, JN ;
PUBLICAÇÃO: 2005, FONTE: 13th International Symposium of Formal Methods Europe in FM 2005: FORMAL METHODS, PROCEEDINGS, VOLUME: 3582
AUTORES: Alves, TL; Silva, PF ; Visser, J; Oliveira, JN ;
PUBLICAÇÃO: 2005, FONTE: 13th International Symposium of Formal Methods Europe in FM 2005: FORMAL METHODS, PROCEEDINGS, VOLUME: 3582
26
TÃTULO: Source model analysis using the JJTraveler visitor combinator framework Full Text
AUTORES: van Deursen, A; Visser, J;
PUBLICAÇÃO: 2004, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 34, NÚMERO: 14
AUTORES: van Deursen, A; Visser, J;
PUBLICAÇÃO: 2004, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 34, NÚMERO: 14
27
TÃTULO: Exopolymers in bacterial adhesion: interpretation in terms of DLVO and XDLVO theories Full Text
AUTORES: Azeredo, J ; Visser, J; Oliveira, R;
PUBLICAÇÃO: 1999, FONTE: COLLOIDS AND SURFACES B-BIOINTERFACES, VOLUME: 14, NÚMERO: 1-4
AUTORES: Azeredo, J ; Visser, J; Oliveira, R;
PUBLICAÇÃO: 1999, FONTE: COLLOIDS AND SURFACES B-BIOINTERFACES, VOLUME: 14, NÚMERO: 1-4
