dblp.uni-trier.dewww.uni-trier.de

José Nuno Oliveira Vis

José Fonseca de Nuno Oliveira

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

1José João Almeida [4]
2Tiago L. Alves [16]
3Roland Carl Backhouse [6]
4Luís Soares Barbosa [4] [10] [11] [15] [17] [20] [22]
5Bruno Cortes [14]
6António Miguel Rosado da Cruz (A. Miguel Cruz) [15]
7Alcino Cunha [18]
8B. Tim Denvir [5]
9F. Mário Martins [3]
10F. L. Neves [4]
11Nico Plat [5]
12César Jesus Rodrigues [19]
13César de Jesus Pereira Cunha Rodrigues [13]
14Alexandra Silva [22]
15Paulo F. Silva [16] [21]
16Gustavo Villavicencio [8]
17Joost Visser [16] [18]
18Shuling Wang [20]
19I. R. Wilson [1]
20Pamela Zave [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)