| |
| 2008 | ||
|---|---|---|
| 5 | EE | José Bacelar Almeida, Jorge Sousa Pinto: Deriving Sorting Algorithms CoRR abs/0802.3881: (2008) |
| 4 | EE | 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 | EE | 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 | EE | 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 | EE | José Bacelar Almeida, Paulo Sérgio Almeida, Carlos Baquero: Bounded Version Vectors. DISC 2004: 102-116 |
| 1 | Paulo Sérgio Almeida | [1] |
| 2 | Carlos Baquero | [1] |
| 3 | Jorge Sousa Pinto | [2] [3] [4] [5] |
| 4 | Miguel Vilaça | [2] [3] [4] |