Paulo F. Silva
Paulo F. Silva
Post-Doc, HASLab / INESC TEC, Universidade do Minho
Geverifieerd e-mailadres voor di.uminho.pt - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
'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
272008
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
Electronic Notes in Theoretical Computer Science 290, 3-18, 2012
152012
Type checking cryptography implementations
M Barbosa, A Moss, D Page, NF Rodrigues, PF Silva
International Conference on Fundamentals of Software Engineering, 316-334, 2011
152011
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
122011
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
72014
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 e-prints, 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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–13