João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Publicações Confirmadas: 163



131
TÍTULO: GUI Inspection from Source Code Analysis
AUTORES: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLICAÇÃO: 2010, FONTE: ECEASST, VOLUME: 33
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
132
TÍTULO: The GUISurfer Tool: Towards a Language Independent Approach to Reverse Engineering GUI Code. towards a language independent approach to reverse engineering GUI code
AUTORES: Joao Carlos Silva; Carlos Silva; Rui Goncalo; Joao Saraiva ; Jose Creissac Campos ;
PUBLICAÇÃO: 2010, FONTE: 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems in EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
133
TÍTULO: A generic library for GUI reasoning and testing  Full Text
AUTORES: Silva, JC; Saraiva, J ; Campos, JC ;
PUBLICAÇÃO: 2009, FONTE: 24th Annual ACM Symposium on Applied Computing, SAC 2009 in Proceedings of the ACM Symposium on Applied Computing
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
134
TÍTULO: Discovery-based Edit Assistance for Spreadsheets
AUTORES: Jacome Cunha ; Joao Saraiva ; Joost Visser;
PUBLICAÇÃO: 2009, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing in 2009 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
135
TÍTULO: From spreadsheets to relational databases and back
AUTORES: Cunha, J ; Saraiva, J ; Visser, J;
PUBLICAÇÃO: 2009, FONTE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
INDEXADO EM: Scopus DBLP CrossRef: 26
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
136
TÍTULO: Shortcut fusion rules for the derivation of circular and higher-order monadic programs
AUTORES: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2009, FONTE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
137
TÍTULO: Disentangling Denotational Semantics Definitions  Full Text
AUTORES: Fabio Tirelo; Roberto S Bigonha; Joao Saraiva ;
PUBLICAÇÃO: 2008, FONTE: 12th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 21
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
138
139
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Lammel, R; Visser, J; Saraiva, J ;
PUBLICAÇÃO: 2008, FONTE: International Summer School on Generative and Transformational Techniques in Software Engineering II, GTTSE 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5235 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
140
TÍTULO: The Objects and Arrows of Computational Design
AUTORES: Don Batory; Maider Azanza; Joao Saraiva ;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5301
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 14 de 17. Total de resultados: 163.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service