Paulo Filipe Araújo da Silva


AuthID: R-000-EBZ

Confirmed Publications: 7



1
TITLE: Compiling CAO: From Cryptographic Specifications to C Implementations
AUTHORS: Manuel Barbosa ; David Castro; Paulo F Silva ;
PUBLISHED: 2014, SOURCE: POST, VOLUME: 8414 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
2
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXED IN: Scopus WOS DBLP CrossRef: 7 Handle
IN MY: ORCID
3
TITLE: Type Checking Cryptography Implementations
AUTHORS: Manuel Barbosa ; Andrew Moss; Dan Page; Nuno F Rodrigues ; Paulo F Silva ;
PUBLISHED: 2011, SOURCE: FSEN, VOLUME: 7141 LNCS
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
4
TITLE: 'Galculator'. functional prototype of a Galois-connection based proof assistant
AUTHORS: Paulo F Silva ; José N Oliveira;
PUBLISHED: 2008, SOURCE: Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08
INDEXED IN: CrossRef
IN MY: ORCID
5
6
TITLE: Constraint-aware Schema Transformation
AUTHORS: Tiago L Alves; Paulo F Silva ; Joost Visser;
PUBLISHED: 2008, SOURCE: RULE, VOLUME: 290
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
7
TITLE: Strategic term rewriting and its application to a VDM-SL to SQL conversion
AUTHORS: Alves, TL; Silva, PF ; Visser, J; Oliveira, JN ;
PUBLISHED: 2005, SOURCE: 13th International Symposium of Formal Methods Europe in FM 2005: FORMAL METHODS, PROCEEDINGS, VOLUME: 3582
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service