Paulo F. Silva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2005–2008
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | PPDP | 'Galculator': functional prototype of a Galois-connection based proof assistant. | Paulo F. Silva, Jos Nuno Oliveira |
| 2007 | GLOBECOM | Design and Evaluation of a Grid Computing Based Architecture for Integrating Heterogeneous IDSs. | Paulo F. Silva, Carlos Becker Westphall, Carla Merkle Westphall, Marcos Dias de Assuno |
| 2006 | Middleware | Composition of a DIDS by integrating heterogeneous IDSs on grids. | Paulo F. Silva, Carlos Becker Westphall, Carla Merkle Westphall, Marcos Dias de Assuno |
| 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 |