Follow
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
282008
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
242005
Type checking cryptography implementations
M Barbosa, A Moss, D Page, NF Rodrigues, PF Silva
Fundamentals of Software Engineering: 4th IPM International Conference, FSEN …, 2012
182012
Constraint-aware schema transformation
TL Alves, PF Silva, J Visser
Electronic Notes in Theoretical Computer Science 290, 3-18, 2012
132012
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
132011
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
92023
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
92014
O Instituto de Cacau eo combate a formiga de enxerto
P Silva, MR Barbosa
Bahia Rural, Brazil 16 (7), 24-26, 1948
71948
Formiga cacarema x formiga de enxerto
P Silva, MR Barbosa
Bahia Rural 16 (9), 16-17, 1948
61948
Report on the design of a Galculator
PF Silva, JN Oliveira
Technical Report FAST: 08.01, CCTC Research Centre, University of Minho, 2008
42008
A domain-specific type system for cryptographic components
M Barbosa, A Moss, D Page, N Rodrigues, PF Silva
Fundamentals of Software Engineering (FSEN), 2011
32011
Galois: A language for proofs using galois connections and fork algebras
PF Silva, J Visser, JNF Oliveira
ACM, 2009
12009
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
The system can't perform the operation now. Try again later.
Articles 1–19