José Carlos Bacelar Ferreira Junqueira de Almeida


AuthID: R-000-85N

Confirmed Publications: 47



41
TITLE: Deductive Verification of Cryptographic Software
AUTHORS: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLISHED: 2009, SOURCE: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., VOLUME: NASA/CP-2009-215407
INDEXED IN: DBLP
IN MY: ORCID | DBLP
42
TITLE: Verifying Cryptographic Software Correctness with Respect to Reference Implementations  Full Text
AUTHORS: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLISHED: 2009, SOURCE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
43
TITLE: A Tool for Programming with Interaction Nets
AUTHORS: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 219, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
44
TITLE: Deriving Sorting Algorithms PDF
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0802.3881
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
45
TITLE: Token-passing Nets for Functional Languages
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2008, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 204, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
46
TITLE: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTHORS: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 176, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
47
TITLE: Bounded version vectors
AUTHORS: Almeida, JB ; Almeida, PS ; Baquero, C ;
PUBLISHED: 2004, SOURCE: 18th International Conference on Distributed Computing in DISTRIBUTED COMPUTING, PROCEEDINGS, VOLUME: 3274
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID | DBLP
Page 5 of 5. Total results: 47.

footer slogan

Useful Links

Get Help

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