Paulo Filipe Araújo da Silva


AuthID: R-000-EBZ

Publicações Confirmadas: 7



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service