'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 | 27 | 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 | 25 | 2005 |
Constraint-aware schema transformation TL Alves, PF Silva, J Visser Electronic Notes in Theoretical Computer Science 290, 3-18, 2012 | 15 | 2012 |
Type checking cryptography implementations M Barbosa, A Moss, D Page, NF Rodrigues, PF Silva International Conference on Fundamentals of Software Engineering, 316-334, 2011 | 15 | 2011 |
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 | 12 | 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 | 7 | 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 | 4 | 2011 |
Report on the design of a Galculator PF Silva, JN Oliveira Technical Report FAST: 08.01, CCTC Research Centre, University of Minho, 2008 | 4 | 2008 |
Galois: A language for proofs using galois connections and fork algebras PF Silva, J Visser, JNF Oliveira ACM, 2009 | 1 | 2009 |
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 |