| |
| 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 | Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça: Visual Programming with Recursion Patterns in Interaction Nets. ECEASST 6: (2007) |
| 1 | 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) |
| 1 | José Bacelar Almeida | [1] [3] [4] |
| 2 | Ian Mackie | [2] |
| 3 | Jorge Sousa Pinto | [1] [2] [3] [4] |