José Carlos Bacelar Ferreira Junqueira de Almeida


AuthID: R-000-85N

Publicações Confirmadas: 48



41
TÍTULO: Deductive verification of cryptographic software  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
PUBLICAÇÃO: 2010, FONTE: Innovations in Systems and Software Engineering, VOLUME: 6, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
42
TÍTULO: Deductive Verification of Cryptographic Software
AUTORES: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLICAÇÃO: 2009, FONTE: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., VOLUME: NASA/CP-2009-215407
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
43
TÍTULO: Verifying Cryptographic Software Correctness with Respect to Reference Implementations  Full Text
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2009, FONTE: 14th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 5825
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
44
TÍTULO: A Tool for Programming with Interaction Nets
AUTORES: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLICAÇÃO: 2008, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 219, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
45
TÍTULO: Deriving Sorting Algorithms PDF
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0802.3881
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
46
TÍTULO: Token-passing Nets for Functional Languages
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2008, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 204, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
47
TÍTULO: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTORES: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 176, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
48
TÍTULO: Bounded version vectors
AUTORES: Almeida, JB ; Almeida, PS ; Baquero, C ;
PUBLICAÇÃO: 2004, FONTE: 18th International Conference on Distributed Computing in DISTRIBUTED COMPUTING, PROCEEDINGS, VOLUME: 3274
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID | DBLP
Página 5 de 5. Total de resultados: 48.

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