João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Confirmed Publications: 166



131
TITLE: Strictification of circular programs  Full Text
AUTHORS: João Paulo Fernandes ; João Saraiva ; Daniel Seidel; Janis Voigtländer;
PUBLISHED: 2011, SOURCE: PEPM
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
132
TITLE: Type-Safe Evolution of Spreadsheets  Full Text
AUTHORS: Cunha, J ; Visser, J; Alves, T; Saraiva, J ;
PUBLISHED: 2011, SOURCE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603
INDEXED IN: Scopus WOS DBLP CrossRef: 10 Handle
IN MY: ORCID
133
TITLE: Automatically Inferring ClassSheet Models from Spreadsheets
AUTHORS: Jácome Cunha ; Martin Erwig; João Saraiva ;
PUBLISHED: 2010, SOURCE: VL/HCC
INDEXED IN: Scopus DBLP CrossRef: 41
IN MY: ORCID
134
TITLE: GUI Inspection from Source Code Analysis
AUTHORS: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLISHED: 2010, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 33
INDEXED IN: Scopus DBLP
IN MY: ORCID
135
TITLE: The GUISurfer Tool: Towards a Language Independent Approach to Reverse Engineering GUI Code. towards a language independent approach to reverse engineering GUI code
AUTHORS: Silva, JC; Silva, C; Gonçalo, R; Saraiva, J ; Campos, JC ;
PUBLISHED: 2010, SOURCE: 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems in EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS
INDEXED IN: Scopus WOS DBLP CrossRef: 27
IN MY: ORCID
136
TITLE: A generic library for GUI reasoning and testing  Full Text
AUTHORS: João Carlos Silva; João Saraiva ; José Creissac Campos ;
PUBLISHED: 2009, SOURCE: SAC
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: ORCID
137
TITLE: Discovery-based Edit Assistance for Spreadsheets
AUTHORS: Cunha, J ; Saraiva, J ; Visser, J;
PUBLISHED: 2009, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing in 2009 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID
138
TITLE: From spreadsheets to relational databases and back  Full Text
AUTHORS: Jácome Cunha ; João Saraiva ; Joost Visser;
PUBLISHED: 2009, SOURCE: PEPM
INDEXED IN: Scopus DBLP CrossRef: 43
IN MY: ORCID
139
140
TITLE: Disentangling Denotational Semantics Definitions  Full Text
AUTHORS: Tirelo, F; Bigonha, RS; Saraiva, J ;
PUBLISHED: 2008, SOURCE: 12th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 14, ISSUE: 21
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
Page 14 of 17. Total results: 166.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service