| |
University of Minho, Braga, Portugal
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2008 | ||
|---|---|---|
| 2 | EE | Paulo F. Silva, José Nuno Oliveira: 'Galculator': functional prototype of a Galois-connection based proof assistant. PPDP 2008: 44-55 |
| 2005 | ||
| 1 | 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 |
| 1 | Tiago L. Alves | [1] |
| 2 | José Nuno Oliveira | [1] [2] |
| 3 | Joost Visser | [1] |