Paulo Filipe Araújo da Silva


AuthID: R-000-EBZ

Confirmed Publications: 7



1
TITLE: Compiling CAO: From cryptographic specifications to C implementations
AUTHORS: Barbosa, M ; Castro, D; Silva, PF ;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
2
TITLE: Constraint-aware Schema Transformation
AUTHORS: Alves, TL; Silva, PF ; Visser, J;
PUBLISHED: 2012, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 290
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: Type checking cryptography implementations
AUTHORS: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
4
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Joao F Ferreira ; Alexandra Mendes ; Alcino Cunha ; Carlos Baquero ; Paulo Silva ; 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: 6
IN MY: ORCID | DBLP
5
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
6
TITLE: 'Galculator' Functional prototype of a galois-connection based proof assistant
AUTHORS: Silva, PF ; Oliveira, JN ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
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 | ResearcherID | DBLP

A place for researchers and their institutions

Useful Links

Get Help

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