 | 2010 |
|---|
| 10 |       | José Bacelar Almeida,
Nelma Moreira,
David Pereira,
Simão Melo de Sousa:
Partial Derivative Automata Formalized in Coq.
CIAA 2010: 59-68 |
| 9 | | José Bacelar Almeida,
Endre Bangerter,
Manuel Barbosa,
Stephan Krenn,
Ahmad-Reza Sadeghi,
Thomas Schneider:
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.
ESORICS 2010: 151-167 |
| 8 | | José Bacelar Almeida,
Endre Bangerter,
Manuel Barbosa,
Stephan Krenn,
Ahmad-Reza Sadeghi,
Thomas Schneider:
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.
IACR Cryptology ePrint Archive 2010: 339 (2010) |
| 7 | | José Bacelar Almeida,
Manuel Barbosa,
Jorge Sousa Pinto,
Bárbara Vieira:
Deductive verification of cryptographic software.
ISSE 6(3): 203-218 (2010) |
| 2009 |
|---|
| 6 | | José Bacelar Almeida,
Manuel Barbosa,
Jorge Sousa Pinto,
Bárbara Vieira:
Verifying Cryptographic Software Correctness with Respect to Reference Implementations.
FMICS 2009: 37-52 |
| 2008 |
|---|
| 5 | | José Bacelar Almeida,
Jorge Sousa Pinto:
Deriving Sorting Algorithms
CoRR abs/0802.3881: (2008) |
| 4 | | José Bacelar Almeida,
Jorge Sousa Pinto,
Miguel Vilaça:
Token-passing Nets for Functional Languages.
Electr. Notes Theor. Comput. Sci. 204: 181-198 (2008) |
| 3 | | José Bacelar Almeida,
Jorge Sousa Pinto,
Miguel Vilaça:
A Tool for Programming with Interaction Nets.
Electr. Notes Theor. Comput. Sci. 219: 83-96 (2008) |
| 2007 |
|---|
| 2 | | José Bacelar Almeida,
Jorge Sousa Pinto,
Miguel Vilaça:
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories.
Electr. Notes Theor. Comput. Sci. 176(1): 139-163 (2007) |
| 2004 |
|---|
| 1 | | José Bacelar Almeida,
Paulo Sérgio Almeida,
Carlos Baquero:
Bounded Version Vectors.
DISC 2004: 102-116 |
Data released under the ODC-BY 1.0 license — See also our legal information page