João Saraiva

Ralf Lämmel, João Saraiva, Joost Visser (Eds.): Generative and Transformational Techniques in Software Engineering IV, International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers. Lecture Notes in Computer Science 7680, Springer 2013, isbn 978-3-642-35991-0

Jácome Cunha, João Paulo Fernandes, Hugo Ribeiro, João Saraiva: Towards a Catalog of Spreadsheet Smells. ICCSA (4) 2012: 202-216

Pedro Martins, Paulo Lopes, João Paulo Fernandes, João Saraiva, João M. P. Cardoso: Program and Aspect Metrics for MATLAB. ICCSA (4) 2012: 217-233

Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Hugo Pacheco, João Saraiva: Bidirectional Transformation of Model-Driven Spreadsheets. ICMT 2012: 105-120

Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva: MDSheet: A framework for model-driven spreadsheet engineering. ICSE 2012: 1395-1398

Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva: A bidirectional model-driven spreadsheet environment. ICSE 2012: 1443-1444

Jácome Cunha, João Paulo Fernandes, João Saraiva: From relational ClassSheets to UML+OCL. SAC 2012: 1151-1158

Jácome Cunha, João Saraiva, Joost Visser: Model-Based Programming Environments for Spreadsheets. SBLP 2012: 117-133

Pedro Martins, João Paulo Fernandes, João Saraiva: A Purely Functional Combinator Language for Software Quality Assessment. SLATE 2012: 51-69

Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva: Extension and implementation of ClassSheet models. VL/HCC 2012: 19-22

Jácome Cunha, João Paulo Fernandes, Pedro Martins, Jorge Mendes, João Saraiva: SmellSheet detective: A tool for detecting bad smells in spreadsheets. VL/HCC 2012: 243-244

Alberto Pardo, João Paulo Fernandes, João Saraiva: Shortcut fusion rules for the derivation of circular and higher-order programs. Higher-Order and Symbolic Computation 24(1-2): 115-149 (2011)

Jácome Cunha, Joost Visser, Tiago L. Alves, João Saraiva: Type-Safe Evolution of Spreadsheets. FASE 2011: 186-201

Laura Beckwith, Jácome Cunha, João Paulo Fernandes, João Saraiva: End-Users Productivity in Model-Based Spreadsheets: An Empirical Study. IS-EUD 2011: 282-288

João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer: Strictification of circular programs. PEPM 2011: 131-140

Jácome Cunha, Jorge Mendes, João Saraiva, João Paulo Fernandes: Embedding and evolution of spreadsheet models in spreadsheet systems. VL/HCC 2011: 179-186

João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva (Eds.): Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers. Lecture Notes in Computer Science 6491, Springer 2011, isbn 978-3-642-18022-4

Laura Beckwith, Jácome Cunha, João Paulo Fernandes, João Saraiva: An Empirical Study on End-users Productivity Using Model-based Spreadsheets. CoRR abs/1112.4190 (2011)

João Carlos Silva, José Creissac Campos, João Saraiva: GUI Inspection from Source Code Analysis. ECEASST 33 (2010)

João Carlos Silva, Carlos E. Silva, Rui D. Gonçalo, João Saraiva, José Creissac Campos: The GUISurfer tool: towards a language independent approach to reverse engineering GUI code. EICS 2010: 181-186

Jácome Cunha, Martin Erwig, João Saraiva: Automatically Inferring ClassSheet Models from Spreadsheets. VL/HCC 2010: 93-100

Alberto Pardo, João Paulo Fernandes, João Saraiva: Shortcut fusion rules for the derivation of circular and higher-order monadic programs. PEPM 2009: 81-90

Jácome Cunha, João Saraiva, Joost Visser: From spreadsheets to relational databases and back. PEPM 2009: 179-188

João Carlos Silva, João Saraiva, José Creissac Campos: A generic library for GUI reasoning and testing. SAC 2009: 121-128

Jácome Cunha, João Saraiva, Joost Visser: Discovery-based edit assistance for spreadsheets. VL/HCC 2009: 233-237

Fabio Tirelo, Roberto da Silva Bigonha, João Saraiva: Disentangling Denotational Semantics Definitions. J. UCS 14(21): 3592-3607 (2008)

Don S. Batory, Maider Azanza, João Saraiva: The Objects and Arrows of Computational Design. MoDELS 2008: 1-20

Ralf Lämmel, Joost Visser, João Saraiva (Eds.): Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers. Lecture Notes in Computer Science 5235, Springer 2008, isbn 978-3-540-88642-6

Barrett R. Bryant, João Saraiva: Report on selected papers from LDTA 2003. Sci. Comput. Program. 68(1): 1 (2007)

João Paulo Fernandes, Alberto Pardo, João Saraiva: A shortcut fusion rule for circular program calculation. Haskell 2007: 95-106

João Paulo Fernandes, João Saraiva: Tools and libraries to model and manipulate circular programs. PEPM 2007: 102-111

João Carlos Silva, José Creissac Campos, João Saraiva: Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. DSV-IS 2006: 137-150

Ralf Lämmel, João Saraiva, Joost Visser (Eds.): Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers. Lecture Notes in Computer Science 4143, Springer 2006, isbn 3-540-45778-X

Barrett R. Bryant, João Saraiva: Preface. Electr. Notes Theor. Comput. Sci. 82(3): 461-462 (2003)

João Saraiva, S. Doaitse Swierstra: Generating Spreadsheet-Like Tools from Strong Attribute Grammars. GPCE 2003: 307-323

João Saraiva, Sérgio Schneider: Embedding Domain Specific Languages in the Attribute Grammar Formalism. HICSS 2003: 324

João Saraiva: Component-Based Programming for Higher-Order Attribute Grammars. GPCE 2002: 268-282

Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva (Eds.): Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures. Lecture Notes in Computer Science 2395, Springer 2002, isbn 3-540-44044-5

João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper: Functional Incremental Attribute Evaluation. CC 2000: 279-294

João Saraiva, S. Doaitse Swierstra: Data Structure Free Compilation. CC 1999: 1-16

S. Doaitse Swierstra, Pablo R. Azero Alcocer, João Saraiva: Designing and Implementing Combinator Languages. Advanced Functional Programming 1998: 150-206

Matthijs F. Kuiper, João Saraiva: Lrc - A Generator for Incremental Language-Oriented Tools. CC 1998: 298-301