 | 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 |