João Saraiva

	2011
30		João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva: Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers Springer 2011
29		Jácome Cunha, Joost Visser, Tiago L. Alves, João Saraiva: Type-Safe Evolution of Spreadsheets. FASE 2011: 186-201
28		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
27		João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer: Strictification of circular programs. PEPM 2011: 131-140
26		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
25		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)
	2010
24		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
23		Jácome Cunha, Martin Erwig, João Saraiva: Automatically Inferring ClassSheet Models from Spreadsheets. VL/HCC 2010: 93-100
22		João Carlos Silva, José Creissac Campos, João Saraiva: GUI Inspection from Source Code Analysis. ECEASST 33: (2010)
	2009
21		Jácome Cunha, João Saraiva, Joost Visser: From spreadsheets to relational databases and back. PEPM 2009: 179-188
20		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
19		João Carlos Silva, João Saraiva, José Creissac Campos: A generic library for GUI reasoning and testing. SAC 2009: 121-128
18		Jácome Cunha, João Saraiva, Joost Visser: Discovery-based edit assistance for spreadsheets. VL/HCC 2009: 233-237
	2008
17		Ralf Lämmel, Joost Visser, João Saraiva: Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers Springer 2008
16		Don S. Batory, Maider Azanza, João Saraiva: The Objects and Arrows of Computational Design. MoDELS 2008: 1-20
15		Fabio Tirelo, Roberto da Silva Bigonha, João Saraiva: Disentangling Denotational Semantics Definitions. J. UCS 14(21): 3592-3607 (2008)
	2007
14		João Paulo Fernandes, Alberto Pardo, João Saraiva: A shortcut fusion rule for circular program calculation. Haskell 2007: 95-106
13		João Paulo Fernandes, João Saraiva: Tools and libraries to model and manipulate circular programs. PEPM 2007: 102-111
12		Barrett R. Bryant, João Saraiva: Report on selected papers from LDTA 2003. Sci. Comput. Program. 68(1): 1 (2007)
	2006
11		Ralf Lämmel, João Saraiva, Joost Visser: Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers Springer 2006
10		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
	2003
9		João Saraiva, S. Doaitse Swierstra: Generating Spreadsheet-Like Tools from Strong Attribute Grammars. GPCE 2003: 307-323
8		João Saraiva, Sérgio Schneider: Embedding Domain Specific Languages in the Attribute Grammar Formalism. HICSS 2003: 324
7		Barrett R. Bryant, João Saraiva: Preface. Electr. Notes Theor. Comput. Sci. 82(3): 461-462 (2003)
	2002
6		Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures Springer 2002
5		João Saraiva: Component-Based Programming for Higher-Order Attribute Grammars. GPCE 2002: 268-282
	2000
4		João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper: Functional Incremental Attribute Evaluation. CC 2000: 279-294
	1999
3		João Saraiva, S. Doaitse Swierstra: Data Structure Free Compilation. CC 1999: 1-16
	1998
2		S. Doaitse Swierstra, Pablo R. Azero Alcocer, João Saraiva: Designing and Implementing Combinator Languages. Advanced Functional Programming 1998: 150-206
1		Matthijs F. Kuiper, João Saraiva: Lrc - A Generator for Incremental Language-Oriented Tools. CC 1998: 298-301

Coauthor Index

1	Pablo R. Azero Alcocer	[2]
2	Tiago L. Alves	[29]
3	Maider Azanza	[16]
4	Gilles Barthe	[6]
5	Don S. Batory	[16]
6	Laura Beckwith	[25] [28]
7	Roberto da Silva Bigonha	[15]
8	Barrett R. Bryant	[7] [12]
9	José Creissac Campos	[10] [19] [22] [24]
10	Jácome Cunha	[18] [21] [23] [25] [26] [28] [29]
11	Peter Dybjer	[6]
12	Martin Erwig	[23]
13	João M. Fernandes	[30]
14	João Paulo Fernandes	[13] [14] [20] [25] [26] [27] [28]
15	Rui D. Gonçalo	[24]
16	Matthijs F. Kuiper	[1] [4]
17	Ralf Lämmel (Ralf Laemmel, Ralf Lammel)	[11] [17] [30]
18	Jorge Mendes	[26]
19	Alberto Pardo	[14] [20]
20	Luis Pinto	[6]
21	Sérgio Schneider	[8]
22	Daniel Seidel	[27]
23	Carlos E. Silva (Carlos Eduardo Bastos e Marques da Silva)	[24]
24	João Carlos Silva	[10] [19] [22] [24]
25	S. Doaitse Swierstra	[2] [3] [4] [9]
26	Fabio Tirelo	[15]
27	Joost Visser	[11] [17] [18] [21] [29] [30]
28	Janis Voigtländer	[27]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page