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: Barbosa, M ; Castro, D; Silva, PF ;
PUBLICAÇÃO: 2014, FONTE: 3rd International Conference on Principles of Security and Trust, POST 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8414 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
2
TÍTULO: Constraint-aware Schema Transformation
AUTORES: Alves, TL; Silva, PF ; Visser, J;
PUBLICAÇÃO: 2012, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 290
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
3
TÍTULO: Type checking cryptography implementations
AUTORES: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLICAÇÃO: 2012, FONTE: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7141 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
4
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: 6 Handle
NO MEU: ORCID | DBLP
5
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
6
TÍTULO: 'Galculator' Functional prototype of a galois-connection based proof assistant
AUTORES: Silva, PF ; Oliveira, JN ;
PUBLICAÇÃO: 2008, FONTE: PPDP 2008: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
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 | ResearcherID | DBLP

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

Links Úteis

Ajuda

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