José Nuno Oliveira

José Fonseca de Nuno Oliveira

	2009
24		Jeremy Gibbons, José Nuno Oliveira: Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings Springer 2009
23		Miguel Alexandre Ferreira, José Nuno Oliveira: An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. SBMF 2009: 153-169
	2008
22		Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva: Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99
21		Paulo F. Silva, José Nuno Oliveira: 'Galculator': functional prototype of a Galois-connection based proof assistant. PPDP 2008: 44-55
20		Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira: A Relational Model for Confined Separation Logic. TASE 2008: 263-270
	2006
19		José Nuno Oliveira, César Jesus Rodrigues: Pointfree Factorization of Operation Refinement. FM 2006: 236-251
18		Alcino Cunha, José Nuno Oliveira, Joost Visser: Type-Safe Two-Level Data Transformation. FM 2006: 284-299
17		Luís Soares Barbosa, José Nuno Oliveira: Transposing partial components - An exercise on coalgebraic refinement. Theor. Comput. Sci. 365(1-2): 2-22 (2006)
	2005
16		Tiago L. Alves, Paulo F. Silva, Joost Visser, José Nuno Oliveira: Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. FM 2005: 399-414
15		A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira: From Algebras to Objects: Generation and Composition. J. UCS 11(10): 1580-1612 (2005)
	2004
14		Bruno Cortes, José Nuno Oliveira: Relational Sampling for Data Quality Auditing and Decision Support. ICEIS (1) 2004: 376-382
13		José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues: Transposing Relations: From Maybe Functions to Hash Tables. MPC 2004: 334-356
12		José Nuno Oliveira: A Survey of Formal Methods Courses in European Higher Education. TFM 2004: 235-248
	2003
11		Luís Soares Barbosa, José Nuno Oliveira: State-based Components Made Generic. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
	2002
10		Luís Soares Barbosa, José Nuno Oliveira: Coinductive Interpreters for Process Calculi. FLOPS 2002: 183-197
	2001
9		José Nuno Oliveira, Pamela Zave: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings Springer 2001
8		Gustavo Villavicencio, José Nuno Oliveira: Reverse Program Calculation Supported by Code Slicing. WCRE 2001: 35-
7		José Nuno Oliveira: "Bagatelle in C arranged for VDM SoLo". J. UCS 7(8): 754-781 (2001)
	2000
6		Roland Carl Backhouse, José Nuno Oliveira: Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings Springer 2000
5		B. Tim Denvir, José Nuno Oliveira, Nico Plat: The Cash-Point (ATM) `Problem'. Formal Asp. Comput. 12(4): 211-215 (2000)
	1997
4		José João Almeida, Luís Soares Barbosa, F. L. Neves, José Nuno Oliveira: CAMILA: Prototyping and Refinement of Constructive Specifications. AMAST 1997: 554-559
	1990
3		F. Mário Martins, José Nuno Oliveira: Archetype-oriented user interfaces. Computers & Graphics 14(1): 17-28 (1990)
2		José Nuno Oliveira: A Reification Calculus for Model-Oriented Software Specification. Formal Asp. Comput. 2(1): 1-23 (1990)
	1983
1		José Nuno Oliveira, I. R. Wilson: An Analysis of Microcomputer Implementation of Pascal. Softw., Pract. Exper. 13(4): 373-384 (1983)

Coauthor Index

1	José João Almeida	[4]
2	Tiago L. Alves	[16]
3	Roland Carl Backhouse	[6]
4	Luís Soares Barbosa	[4] [10] [11] [15] [17] [20] [22]
5	Bruno Cortes	[14]
6	António Miguel Rosado da Cruz (A. Miguel Cruz)	[15]
7	Alcino Cunha	[18]
8	B. Tim Denvir	[5]
9	Miguel Alexandre Ferreira	[23]
10	Jeremy Gibbons	[24]
11	F. Mário Martins	[3]
12	F. L. Neves	[4]
13	Nico Plat	[5]
14	César Jesus Rodrigues	[19]
15	César de Jesus Pereira Cunha Rodrigues	[13]
16	Alexandra Silva	[22]
17	Paulo F. Silva	[16] [21]
18	Gustavo Villavicencio	[8]
19	Joost Visser	[16] [18]
20	Shuling Wang	[20]
21	I. R. Wilson	[1]
22	Pamela Zave	[9]

Colors in the list of coauthors