Jos Nuno Oliveira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2002–2010
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | MPC | Matrices as Arrows! | Hugo Daniel Macedo, Jos Nuno Oliveira |
| 2008 | PPDP | 'Galculator': functional prototype of a Galois-connection based proof assistant. | Paulo F. Silva, Jos Nuno Oliveira |
| 2008 | TASE | A Relational Model for Confined Separation Logic. | Shuling Wang, Lus Soares Barbosa, Jos Nuno Oliveira |
| 2006 | FM | Type-Safe Two-Level Data Transformation. | Alcino Cunha, Jos Nuno Oliveira, Joost Visser |
| 2006 | FM | Pointfree Factorization of Operation Refinement. | Jos Nuno Oliveira, Csar Jesus Rodrigues |
| 2005 | FM | Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. | Tiago L. Alves, Paulo F. Silva, Joost Visser, Jos Nuno Oliveira |
| 2004 | MPC | Transposing Relations: From Maybe Functions to Hash Tables. | Jos Nuno Oliveira, Csar de Jesus Pereira Cunha Rodrigues |
| 2002 | FLOPS | Coinductive Interpreters for Process Calculi. | Lus Soares Barbosa, Jos Nuno Oliveira |