2008 |
22 | EE | Luís Soares Barbosa,
José Nuno Oliveira,
Alexandra Silva:
Calculating Invariants as Coreflexive Bisimulations.
AMAST 2008: 83-99 |
21 | EE | Paulo F. Silva,
José Nuno Oliveira:
'Galculator': functional prototype of a Galois-connection based proof assistant.
PPDP 2008: 44-55 |
20 | EE | Shuling Wang,
Luís Soares Barbosa,
José Nuno Oliveira:
A Relational Model for Confined Separation Logic.
TASE 2008: 263-270 |
2006 |
19 | EE | José Nuno Oliveira,
César Jesus Rodrigues:
Pointfree Factorization of Operation Refinement.
FM 2006: 236-251 |
18 | EE | Alcino Cunha,
José Nuno Oliveira,
Joost Visser:
Type-Safe Two-Level Data Transformation.
FM 2006: 284-299 |
17 | EE | 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 | EE | 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 | EE | 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 | EE | José Nuno Oliveira,
César de Jesus Pereira Cunha Rodrigues:
Transposing Relations: From Maybe Functions to Hash Tables.
MPC 2004: 334-356 |
12 | EE | José Nuno Oliveira:
A Survey of Formal Methods Courses in European Higher Education.
TFM 2004: 235-248 |
2003 |
11 | EE | Luís Soares Barbosa,
José Nuno Oliveira:
State-based Components Made Generic.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
2002 |
10 | EE | 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 | EE | Gustavo Villavicencio,
José Nuno Oliveira:
Reverse Program Calculation Supported by Code Slicing.
WCRE 2001: 35- |
7 | EE | 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 | EE | 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 | EE | 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) |