'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 | 28 | 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 | 24 | 2005 |
Type checking cryptography implementations M Barbosa, A Moss, D Page, NF Rodrigues, PF Silva Fundamentals of Software Engineering: 4th IPM International Conference, FSEN …, 2012 | 18 | 2012 |
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 27 (3), 1215-1225, 2023 | 13 | 2023 |
Constraint-aware schema transformation TL Alves, PF Silva, J Visser Electronic Notes in Theoretical Computer Science 290, 3-18, 2012 | 13 | 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 | 13 | 2011 |
Compiling CAO: from cryptographic specifications to C implementations M Barbosa, D Castro, PF Silva Principles of Security and Trust: Third International Conference, POST 2014 …, 2014 | 9 | 2014 |
O Instituto de Cacau eo combate a formiga de enxerto P Silva, MR Barbosa Bahia Rural, Brazil 16 (7), 24-26, 1948 | 7 | 1948 |
Formiga cacarema x formiga de enxerto P Silva, MR Barbosa Bahia Rural 16 (9), 16-17, 1948 | 6 | 1948 |
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 |
A domain-specific type system for cryptographic components M Barbosa, A Moss, D Page, N Rodrigues, PF Silva Fundamentals of Software Engineering (FSEN), 2011 | 3 | 2011 |
Galois: A language for proofs using galois connections and fork algebras PF Silva, J Visser, JNF Oliveira ACM, 2009 | 1 | 2009 |
3D-printed microgels supplemented with dentin matrix molecules as a novel biomaterial for direct pulp capping (Oct, 10.1007/s00784-022-04735-z, 2022) D Cunha, N Souza, M Moreira, N Rodrigues, P Silva, C Franca, ... CLINICAL ORAL INVESTIGATIONS 27 (4), 1799-1800, 2023 | | 2023 |
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 |
Control of the" enxerto" ant. MR Barbosa, P Silva | | 1947 |
Electronic Research Archive of Blekinge Institute of Technology M Barbosa, A Moss, D Page, N Rodrigues, P Silva | | |