João Saraiva

	2009
19		Jácome Cunha, João Saraiva, Joost Visser: From spreadsheets to relational databases and back. PEPM 2009: 179-188
18		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
17		João Carlos Silva, João Saraiva, José Creissac Campos: A generic library for GUI reasoning and testing. SAC 2009: 121-128
	2008
16		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
15		Don S. Batory, Maider Azanza, João Saraiva: The Objects and Arrows of Computational Design. MoDELS 2008: 1-20
	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): (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	Maider Azanza	[15]
3	Gilles Barthe	[6]
4	Don S. Batory	[15]
5	Barrett R. Bryant	[7] [12]
6	José Creissac Campos	[10] [17]
7	Jácome Cunha	[19]
8	Peter Dybjer	[6]
9	João Paulo Fernandes	[13] [14] [18]
10	Matthijs F. Kuiper	[1] [4]
11	Ralf Lämmel (Ralf Laemmel, Ralf Lammel)	[11] [16]
12	Alberto Pardo	[14] [18]
13	Luis Pinto	[6]
14	Sérgio Schneider	[8]
15	João Carlos Silva	[10] [17]
16	S. Doaitse Swierstra	[2] [3] [4] [9]
17	Joost Visser	[11] [16] [19]

Colors in the list of coauthors