José Carlos Bacelar Ferreira Junqueira de Almeida


AuthID: R-000-85N

Publicações Confirmadas: 41



31
TÍTULO: Partial Derivative Automata Formalized in Coq  Full Text
AUTORES: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLICAÇÃO: 2011, FONTE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482
INDEXADO EM: Scopus WOS DBLP CrossRef: 9 Handle
NO MEU: ORCID
32
TÍTULO: Rigorous Software Development - An Introduction to Program Verification
AUTORES: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2011, FONTE: Undergraduate Topics in Computer Science
INDEXADO EM: DBLP CrossRef: 18 Openlibrary
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
33
TÍTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-Protocols
AUTORES: Almeida, JB ; Bangerter, E; Barbosa, M ; Krenn, S; Sadeghi, AR; Schneider, T;
PUBLICAÇÃO: 2010, FONTE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
NO MEU: ORCID
34
TÍTULO: Deductive verification of cryptographic software
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLICAÇÃO: 2010, FONTE: Innov. Syst. Softw. Eng., VOLUME: 6, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
35
TÍTULO: Deductive Verification of Cryptographic Software
AUTORES: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLICAÇÃO: 2009, FONTE: NASA Formal Methods
INDEXADO EM: DBLP
NO MEU: ORCID
36
TÍTULO: Verifying Cryptographic Software Correctness with Respect to Reference Implementations  Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Pinto, JS ; Vieira, B;
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
37
TÍTULO: Deriving Sorting Algorithms
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0802.3881
INDEXADO EM: DBLP
NO MEU: ORCID
38
TÍTULO: A Tool for Programming with Interaction Nets
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2007, FONTE: RULE@RDP, VOLUME: 219, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
39
TÍTULO: Token-passing Nets for Functional Languages
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2007, FONTE: WRS@RDP, VOLUME: 204, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
40
TÍTULO: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLICAÇÃO: 2006, FONTE: TERMGRAPH@ETAPS, VOLUME: 176, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
Página 4 de 5. Total de resultados: 41.

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