The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

José Nuno Oliveira: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.056secs, Finished in 0.058secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002