Paulo F. Silva

According to our database, Paulo F. Silva authored at least 6 papers between 2005 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Compiling CAO: From Cryptographic Specifications to C Implementations.

Manuel Barbosa, David Castro, Paulo F. Silva

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

2011

Logic Training through Algorithmic Problem Solving.

João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Type Checking Cryptography Implementations.

Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues, Paulo F. Silva

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2008

Constraint-aware Schema Transformation.

Tiago L. Alves, Paulo F. Silva, Joost Visser

Proceedings of the Ninth International Workshop on Rule-Based Programming, 2008

'Galculator': functional prototype of a Galois-connection based proof assistant.

Paulo F. Silva, José Nuno Oliveira

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

2005

Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion.

Tiago L. Alves, Paulo F. Silva, Joost Visser, José Nuno Oliveira

Proceedings of the FM 2005: Formal Methods, 2005