Search the dblp DataBase

Publications of Author

1. José João Almeida, Luís Soares Barbosa, F. L. Neves, José Nuno Oliveira
   CAMILA: Prototyping and Refinement of Constructive Specifications. [Citation Graph (0, 0)][DBLP]
   AMAST, 1997, pp:554-559 [Conf]
   
2. Luís Soares Barbosa, José Nuno Oliveira
   Coinductive Interpreters for Process Calculi. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2002, pp:183-197 [Conf]
   
3. Tiago L. Alves, P. F. Silva, Joost Visser, José Nuno Oliveira
   Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. [Citation Graph (0, 0)][DBLP]
   FM, 2005, pp:399-414 [Conf]
   
4. Alcino Cunha, José Nuno Oliveira, Joost Visser
   Type-Safe Two-Level Data Transformation. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:284-299 [Conf]
   
5. José Nuno Oliveira, César Jesus Rodrigues
   Pointfree Factorization of Operation Refinement. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:236-251 [Conf]
   
6. Bruno Cortes, José Nuno Oliveira
   Relational Sampling for Data Quality Auditing and Decision Support. [Citation Graph (0, 0)][DBLP]
   ICEIS (1), 2004, pp:376-382 [Conf]
   
7. José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues
   Transposing Relations: From Maybe Functions to Hash Tables. [Citation Graph (0, 0)][DBLP]
   MPC, 2004, pp:334-356 [Conf]
   
8. José Nuno Oliveira
   A Survey of Formal Methods Courses in European Higher Education. [Citation Graph (0, 0)][DBLP]
   TFM, 2004, pp:235-248 [Conf]
   
9. Gustavo Villavicencio, José Nuno Oliveira
   Reverse Program Calculation Supported by Code Slicing. [Citation Graph (0, 0)][DBLP]
   WCRE, 2001, pp:35-0 [Conf]
   
10. F. Mário Martins, José Nuno Oliveira
    Archetype-oriented user interfaces. [Citation Graph (0, 0)][DBLP]
    Computers & Graphics, 1990, v:14, n:1, pp:17-28 [Journal]
    
11. Luís Soares Barbosa, José Nuno Oliveira
    State-based Components Made Generic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
    
12. B. Tim Denvir, José Nuno Oliveira, Nico Plat
    The Cash-Point (ATM) `Problem'. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:211-215 [Journal]
    
13. José Nuno Oliveira
    A Reification Calculus for Model-Oriented Software Specification. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1990, v:2, n:1, pp:1-23 [Journal]
    
14. A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira
    From Algebras to Objects: Generation and Composition. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:10, pp:1580-1612 [Journal]
    
15. José Nuno Oliveira
    "Bagatelle in C arranged for VDM SoLo". [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:754-781 [Journal]
    
16. José Nuno Oliveira, I. R. Wilson
    An Analysis of Microcomputer Implementation of Pascal. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1983, v:13, n:4, pp:373-384 [Journal]
    
17. Luís Soares Barbosa, José Nuno Oliveira
    Transposing partial components - An exercise on coalgebraic refinement. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:365, n:1-2, pp:2-22 [Journal]
    
18. 
    Calculating Invariants as Coreflexive Bisimulations. [Citation Graph (, )][DBLP]
    
    
19. 
    Matrices as Arrows! [Citation Graph (, )][DBLP]
    
    
20. 
    'Galculator': functional prototype of a Galois-connection based proof assistant. [Citation Graph (, )][DBLP]
    
    
21. 
    A Relational Model for Confined Separation Logic. [Citation Graph (, )][DBLP]
    
    
22. 
    An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. [Citation Graph (, )][DBLP]
    
    
23. 
    A Single Complete Relational Rule for Coalgebraic Refinement. [Citation Graph (, )][DBLP]