Paulo F. Silva
Paulo F. Silva
Post-Doc, HASLab / INESC TEC, Universidade do Minho
Verified email at - Homepage
Cited by
Cited by
'Galculator' functional prototype of a Galois-connection based proof assistant
PF Silva, JN Oliveira
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
Strategic term rewriting and its application to a VDM-SL to SQL conversion
TL Alves, PF Silva, J Visser, JN Oliveira
FM 2005: Formal Methods, 399-414, 2005
Type checking cryptography implementations
M Barbosa, A Moss, D Page, NF Rodrigues, PF Silva
International Conference on Fundamentals of Software Engineering, 316-334, 2011
Constraint-aware schema transformation
TL Alves, PF Silva, J Visser
Electronic Notes in Theoretical Computer Science 290, 3-18, 2012
Logic training through algorithmic problem solving
J Ferreira, A Mendes, A Cunha, C Baquero, PF Silva, L Barbosa, ...
Tools for Teaching Logic, 62-69, 2011
Compiling CAO: from cryptographic specifications to C implementations
M Barbosa, D Castro, PF Silva
International Conference on Principles of Security and Trust, 240-244, 2014
A domain-specific type system for cryptographic components
M Barbosa, A Moss, D Page, N Rodrigues, PF Silva
Fundamentals of Software Engineering (FSEN), 2011
Report on the design of a Galculator
PF Silva, JN Oliveira
Technical Report FAST: 08.01, CCTC Research Centre, University of Minho, 2008
Galois: A language for proofs using galois connections and fork algebras
PF Silva, J Visser, JNF Oliveira
ACM, 2009
A morte súbita dos cacaueiros
P Silva
Boletim da SAIC (Brasil) v. 17 (1-2) p. 52-59, 1950
3D-printed microgels supplemented with dentin matrix molecules as a novel biomaterial for direct pulp capping
D Cunha, N Souza, M Moreira, N Rodrigues, P Silva, C Franca, ...
Clinical oral investigations, 1-11, 2022
TapDrag: An Alternative Dragging Technique on Medium-Sized MultiTouch Displays Reducing Skin Irritation and Arm Fatigue
L Farnung Laursen, HT Chen, P Silva, L Suehiro, T Igarashi
arXiv e-prints, arXiv: 1603.04990, 2016
Perceções dos enfermeiros e doentes com AVC sobre a educação para a saúde
S Leite, CC Oliveira, P Silva
Escola Superior de Enfermagem de Coimbra. Unidade de Investigação em …, 2015
On the design of a Galculator
PF Silva
Universidade do Minho, 2009
A Language for Proofs Using Galois Connections and Fork Algebras
PF Silva, J Visser, JN Oliveira
Electronic Research Archive of Blekinge Institute of Technology
M Barbosa, A Moss, D Page, N Rodrigues, P Silva
The system can't perform the operation now. Try again later.
Articles 1–16