Paulo F. Silva
Paulo F. Silva
Post-Doc, HASLab / INESC TEC, Universidade do Minho
Verified email at di.uminho.pt - Homepage
Title
Cited by
Cited by
Year
'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
262008
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
252005
Constraint-aware schema transformation
TL Alves, PF Silva, J Visser
Elsevier, 2012
142012
Type checking cryptography implementations
M Barbosa, A Moss, D Page, NF Rodrigues, PF Silva
International Conference on Fundamentals of Software Engineering, 316-334, 2011
132011
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
112011
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
62014
A domain-specific type system for cryptographic components
M Barbosa, A Moss, D Page, N Rodrigues, PF Silva
Fundamentals of Software Engineering (FSEN), 2011
42011
Report on the design of a Galculator
PF Silva, JN Oliveira
Technical Report FAST: 08.01, CCTC Research Centre, University of Minho, 2008
42008
Galois: A language for proofs using galois connections and fork algebras
PF Silva, J Visser, JNF Oliveira
ACM, 2009
12009
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, arXiv: 1603.04990, 2016
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
2015
Compiling CAO: from Cryptographic Specifications to C Implementations
MBDCP Silva
2014
On the design of a Galculator
PF Silva
Universidade do Minho, 2009
2009
A Language for Proofs Using Galois Connections and Fork Algebras
PF Silva, J Visser, JN Oliveira
2009
The system can't perform the operation now. Try again later.
Articles 1–14