José Nuno Oliveira

José Fonseca de Nuno Oliveira

	2011
32		Shin-Cheng Mu, José Nuno Oliveira: Programming from Galois Connections. RAMICS 2011: 294-313
31		João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira: Logic Training through Algorithmic Problem Solving. TICTTL 2011: 62-69
	2010
30		Hugo Daniel Macedo, José Nuno Oliveira: Towards Linear Algebras of Components. FACS 2010: 300-303
29		Hugo Daniel Macedo, José Nuno Oliveira: Matrices as Arrows! MPC 2010: 271-287
	2009
28		Jeremy Gibbons, José Nuno Oliveira: Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings Springer 2009
27		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
26		César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa: A Single Complete Relational Rule for Coalgebraic Refinement. Electr. Notes Theor. Comput. Sci. 259: 3-19 (2009)
	2008
25		Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva: Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99
24		José Nuno Oliveira: Extended Static Checking by Calculation Using the Pointfree Transform. LerNet ALFA Summer School 2008: 195-251
23		Paulo F. Silva, José Nuno Oliveira: 'Galculator': functional prototype of a Galois-connection based proof assistant. PPDP 2008: 44-55
22		Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira: A Relational Model for Confined Separation Logic. TASE 2008: 263-270
	2007
21		José Nuno Oliveira: Transforming Data by Calculation. GTTSE 2007: 134-195
	2006
20		José Nuno Oliveira, César Jesus Rodrigues: Pointfree Factorization of Operation Refinement. FM 2006: 236-251
19		Alcino Cunha, José Nuno Oliveira, Joost Visser: Type-Safe Two-Level Data Transformation. FM 2006: 284-299
18		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
17		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
16		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
15		Bruno Cortes, José Nuno Oliveira: Relational Sampling for Data Quality Auditing and Decision Support. ICEIS (1) 2004: 376-382
14		José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues: Transposing Relations: From Maybe Functions to Hash Tables. MPC 2004: 334-356
13		José Nuno Oliveira: A Survey of Formal Methods Courses in European Higher Education. TFM 2004: 235-248
	2003
12		Luís Soares Barbosa, José Nuno Oliveira: State-based Components Made Generic. Electr. Notes Theor. Comput. Sci. 82(1): 39-56 (2003)
	2002
11		Luís Soares Barbosa, José Nuno Oliveira: Coinductive Interpreters for Process Calculi. FLOPS 2002: 183-197
	2001
10		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
9		Gustavo Villavicencio, José Nuno Oliveira: Reverse Program Calculation Supported by Code Slicing. WCRE 2001: 35-
8		José Nuno Oliveira: "Bagatelle in C arranged for VDM SoLo". J. UCS 7(8): 754-781 (2001)
	2000
7		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
6		B. Tim Denvir, José Nuno Oliveira, Nico Plat: The Cash-Point (ATM) `Problem'. Formal Asp. Comput. 12(4): 211-215 (2000)
	1999
5		S. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira: Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures Springer 1999
	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	[17]
3	Roland Carl Backhouse	[7]
4	Carlos Baquero	[31]
5	Luís Soares Barbosa	[4] [11] [12] [16] [18] [22] [25] [26] [31]
6	Bruno Cortes	[15]
7	António Miguel Rosado da Cruz (A. Miguel Cruz)	[16]
8	Alcino Cunha	[19] [31]
9	B. Tim Denvir	[6]
10	João Fernando Ferreira (João F. Ferreira)	[31]
11	Miguel Alexandre Ferreira	[27]
12	Jeremy Gibbons	[28]
13	Pedro Rangel Henriques	[5]
14	Hugo Daniel Macedo	[29] [30]
15	F. Mário Martins	[3]
16	Alexandra Mendes	[31]
17	Shin-Cheng Mu	[32]
18	F. L. Neves	[4]
19	Nico Plat	[6]
20	César Jesus Rodrigues	[20] [26]
21	César de Jesus Pereira Cunha Rodrigues	[14]
22	Alexandra Silva	[25]
23	Paulo F. Silva	[17] [23] [31]
24	S. Doaitse Swierstra	[5]
25	Gustavo Villavicencio	[9]
26	Joost Visser	[17] [19]
27	Shuling Wang	[22]
28	I. R. Wilson	[1]
29	Pamela Zave	[10]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page