João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Confirmed Publications: 162



121
TITLE: An Empirical Study on End-users Productivity Using Model-based Spreadsheets PDF
AUTHORS: Laura Beckwith; Jácome Cunha ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2011, SOURCE: CoRR, VOLUME: abs/1112.4190
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
122
TITLE: Embedding and Evolution of Spreadsheet Models in Spreadsheet Systems
AUTHORS: Jacome Cunha ; Jorge Mendes ; Joao Saraiva ; Joao Paulo Fernandes ;
PUBLISHED: 2011, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2011 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2011)
INDEXED IN: Scopus WOS DBLP CrossRef: 24
IN MY: ORCID | DBLP
123
TITLE: End-Users Productivity in Model-Based Spreadsheets: An Empirical Study
AUTHORS: Laura Beckwith; Jácome Cunha ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2011, SOURCE: 3rd International Symposium on End-User Development, IS-EUD 2011 in End-User Development - Third International Symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. Proceedings, VOLUME: 6654
INDEXED IN: Scopus DBLP CrossRef Handle
IN MY: ORCID | DBLP
124
125
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
126
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: 5
IN MY: ORCID | DBLP
127
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: 3
IN MY: ORCID | DBLP
128
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 Handle
IN MY: ORCID | DBLP
129
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: 34
IN MY: ORCID | DBLP
130
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
Page 13 of 17. Total results: 162.

footer slogan

Useful Links

Get Help

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