João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Publicações Confirmadas: 165



131
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 Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
132
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: 34
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
133
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
134
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
135
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
136
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
137
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
138
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
139
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
140
Página 14 de 17. Total de resultados: 165.

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