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