José Nuno Oliveira

José Fonseca de Nuno Oliveira

	2013
j12		José Nuno Oliveira, Miguel Alexandre Ferreira: Alloy Meets the Algebra of Programming: A Case Study. IEEE Trans. Software Eng. 39(3): 305-326 (2013)
	2012
j11		José Nuno Oliveira: Towards a linear algebra of programming. Formal Asp. Comput. 24(4-6): 433-458 (2012)
j10		Shin-Cheng Mu, José Nuno Oliveira: Programming from Galois connections. J. Log. Algebr. Program. 81(6): 680-704 (2012)
c20		José Nuno Oliveira: Typed Linear Algebra for Weigthed (Probabilistic) Automata. CIAA 2012: 52-65
	2011
c19		Shin-Cheng Mu, José Nuno Oliveira: Programming from Galois Connections. RAMICS 2011: 294-313
c18		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
c17		Hugo Daniel Macedo, José Nuno Oliveira: Towards Linear Algebras of Components. FACS 2010: 300-303
c16		Hugo Daniel Macedo, José Nuno Oliveira: Matrices as Arrows! MPC 2010: 271-287
	2009
j9		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)
c15		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
e4		Jeremy Gibbons, José Nuno Oliveira (Eds.): Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Lecture Notes in Computer Science 5846, Springer 2009, isbn 978-3-642-04911-8
	2008
c14		Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva: Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99
c13		José Nuno Oliveira: Extended Static Checking by Calculation Using the Pointfree Transform. LerNet ALFA Summer School 2008: 195-251
c12		Paulo F. Silva, José Nuno Oliveira: 'Galculator': functional prototype of a Galois-connection based proof assistant. PPDP 2008: 44-55
c11		Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira: A Relational Model for Confined Separation Logic. TASE 2008: 263-270
	2007
c10		José Nuno Oliveira: Transforming Data by Calculation. GTTSE 2007: 134-195
	2006
j8		Luís Soares Barbosa, José Nuno Oliveira: Transposing partial components - An exercise on coalgebraic refinement. Theor. Comput. Sci. 365(1-2): 2-22 (2006)
c9		José Nuno Oliveira, César Jesus Rodrigues: Pointfree Factorization of Operation Refinement. FM 2006: 236-251
c8		Alcino Cunha, José Nuno Oliveira, Joost Visser: Type-Safe Two-Level Data Transformation. FM 2006: 284-299
	2005
j7		A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira: From Algebras to Objects: Generation and Composition. J. UCS 11(10): 1580-1612 (2005)
c7		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
	2004
c6		Bruno Cortes, José Nuno Oliveira: Relational Sampling for Data Quality Auditing and Decision Support. ICEIS (1) 2004: 376-382
c5		José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues: Transposing Relations: From Maybe Functions to Hash Tables. MPC 2004: 334-356
c4		José Nuno Oliveira: A Survey of Formal Methods Courses in European Higher Education. TFM 2004: 235-248
	2003
j6		Luís Soares Barbosa, José Nuno Oliveira: State-based Components Made Generic. Electr. Notes Theor. Comput. Sci. 82(1): 39-56 (2003)
	2002
c3		Luís Soares Barbosa, José Nuno Oliveira: Coinductive Interpreters for Process Calculi. FLOPS 2002: 183-197
	2001
j5		José Nuno Oliveira: "Bagatelle in C arranged for VDM SoLo". J. UCS 7(8): 754-781 (2001)
c2		Gustavo Villavicencio, José Nuno Oliveira: Reverse Program Calculation Supported by Code Slicing. WCRE 2001: 35-
e3		José Nuno Oliveira, Pamela Zave (Eds.): FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings. Lecture Notes in Computer Science 2021, Springer 2001, isbn 3-540-41791-5
	2000
j4		B. Tim Denvir, José Nuno Oliveira, Nico Plat: The Cash-Point (ATM) `Problem'. Formal Asp. Comput. 12(4): 211-215 (2000)
e2		Roland Carl Backhouse, José Nuno Oliveira (Eds.): Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings. Lecture Notes in Computer Science 1837, Springer 2000, isbn 3-540-67727-5
	1999
e1		S. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira (Eds.): Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures. Lecture Notes in Computer Science 1608, Springer 1999, isbn 3-540-66241-3
	1997
c1		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
j3		F. Mário Martins, José Nuno Oliveira: Archetype-oriented user interfaces. Computers & Graphics 14(1): 17-28 (1990)
j2		José Nuno Oliveira: A Reification Calculus for Model-Oriented Software Specification. Formal Asp. Comput. 2(1): 1-23 (1990)
	1983
j1		José Nuno Oliveira, I. R. Wilson: An Analysis of Microcomputer Implementation of Pascal. Softw., Pract. Exper. 13(4): 373-384 (1983)

Coauthor Index

Colors in the list of coauthors

Last update Sat May 25 01:05:37 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page