João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Publicações Confirmadas: 169



131
132
TÍTULO: Preface
AUTORES: Fernandes, JM; Lämmel, R; Saraiva, J ; Visser, J;
PUBLICAÇÃO: 2011, FONTE: International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6491 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
133
TÍTULO: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTORES: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2011, FONTE: Higher-Order and Symbolic Computation, VOLUME: 24, NÚMERO: 1-2
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
134
TÍTULO: Strictification of circular programs
AUTORES: Fernandes, JP ; Saraiva, J ; Seidel, D; Voigtlander, J;
PUBLICAÇÃO: 2011, FONTE: 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM'11 in PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
135
TÍTULO: Type-Safe Evolution of Spreadsheets  Full Text
AUTORES: Cunha, J ; Visser, J; Alves, T; Saraiva, J ;
PUBLICAÇÃO: 2011, FONTE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603
INDEXADO EM: Scopus WOS DBLP CrossRef: 10 Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
136
TÍTULO: Automatically inferring classsheet models from spreadsheets
AUTORES: Cunha, J ; Erwig, M; Saraiva, J ;
PUBLICAÇÃO: 2010, FONTE: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010 in Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010
INDEXADO EM: Scopus DBLP CrossRef: 40
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
137
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
138
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: 27
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
139
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: 11
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
140
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: 16
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 14 de 17. Total de resultados: 169.

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

Links Úteis

Ajuda

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