Paulo F. Silva

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

Linear Transformation

Efficient Implementation

Semi Structured Data

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Manuel Barbosa, David Castro, Paulo F. Silva
Compiling CAO: From Cryptographic Specifications to C Implementations. POST (2014)
Tiago L. Alves, Paulo F. Silva, Joost Visser
Constraint-aware Schema Transformation. Electron. Notes Theor. Comput. Sci. 290 (2012)
João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira
Logic Training through Algorithmic Problem Solving. TICTTL (2011)
Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva
Type Checking Cryptography Implementations. FSEN (2011)
Paulo F. Silva, José Nuno Oliveira
'Galculator': functional prototype of a Galois-connection based proof assistant. PPDP (2008)
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)