João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Publicações Confirmadas: 166



131
TÍTULO: Strictification of circular programs  Full Text
AUTORES: João Paulo Fernandes ; João Saraiva ; Daniel Seidel; Janis Voigtländer;
PUBLICAÇÃO: 2011, FONTE: PEPM
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
132
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
133
TÍTULO: Automatically Inferring ClassSheet Models from Spreadsheets
AUTORES: Jácome Cunha ; Martin Erwig; João Saraiva ;
PUBLICAÇÃO: 2010, FONTE: VL/HCC
INDEXADO EM: Scopus DBLP CrossRef: 41
NO MEU: ORCID
134
TÍTULO: GUI Inspection from Source Code Analysis
AUTORES: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLICAÇÃO: 2010, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 33
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
135
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: Silva, JC; Silva, C; Gonçalo, R; Saraiva, J ; Campos, JC ;
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
136
TÍTULO: A generic library for GUI reasoning and testing  Full Text
AUTORES: João Carlos Silva; João Saraiva ; José Creissac Campos ;
PUBLICAÇÃO: 2009, FONTE: SAC
INDEXADO EM: Scopus DBLP CrossRef: 11
NO MEU: ORCID
137
TÍTULO: Discovery-based Edit Assistance for Spreadsheets
AUTORES: Cunha, J ; Saraiva, J ; Visser, J;
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
138
TÍTULO: From spreadsheets to relational databases and back  Full Text
AUTORES: Jácome Cunha ; João Saraiva ; Joost Visser;
PUBLICAÇÃO: 2009, FONTE: PEPM
INDEXADO EM: Scopus DBLP CrossRef: 43
NO MEU: ORCID
139
TÍTULO: Shortcut fusion rules for the derivation of circular and higher-order monadic programs  Full Text
AUTORES: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2009, FONTE: PEPM
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID
140
TÍTULO: Disentangling Denotational Semantics Definitions  Full Text
AUTORES: Tirelo, F; Bigonha, RS; Saraiva, J ;
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
Página 14 de 17. Total de resultados: 166.

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

Links Úteis

Ajuda

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