José Carlos Bacelar Ferreira Junqueira de Almeida


AuthID: R-000-85N

Confirmed Publications: 41



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

footer slogan

Useful Links

Get Help

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