João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Confirmed Publications: 169



131
132
TITLE: Preface
AUTHORS: Fernandes, JM; Lämmel, R; Saraiva, J ; Visser, J;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
133
TITLE: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP | CIÊNCIAVITAE
134
TITLE: Strictification of circular programs
AUTHORS: Fernandes, JP ; Saraiva, J ; Seidel, D; Voigtlander, J;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
135
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 | DBLP | CIÊNCIAVITAE
136
TITLE: Automatically inferring classsheet models from spreadsheets
AUTHORS: Cunha, J ; Erwig, M; Saraiva, J ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 40
IN MY: ORCID | DBLP | CIÊNCIAVITAE
137
TITLE: GUI Inspection from Source Code Analysis
AUTHORS: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
138
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: Joao Carlos Silva; Carlos Silva; Rui Goncalo; Joao Saraiva ; Jose Creissac Campos ;
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 | DBLP | CIÊNCIAVITAE
139
TITLE: A generic library for GUI reasoning and testing  Full Text
AUTHORS: Silva, JC; Saraiva, J ; Campos, JC ;
PUBLISHED: 2009, SOURCE: 24th Annual ACM Symposium on Applied Computing, SAC 2009 in Proceedings of the ACM Symposium on Applied Computing
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: ORCID | DBLP | CIÊNCIAVITAE
140
TITLE: Discovery-based Edit Assistance for Spreadsheets
AUTHORS: Jacome Cunha ; Joao Saraiva ; Joost Visser;
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 | DBLP | CIÊNCIAVITAE
Page 14 of 17. Total results: 169.

footer slogan

Useful Links

Get Help

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