| 2008 |
|---|
| 16 | EE | Abubakar Hassan,
Ian Mackie,
Jorge Sousa Pinto:
Visual Programming with Interaction Nets.
Diagrams 2008: 165-171 |
| 15 | EE | José Bacelar Almeida,
Jorge Sousa Pinto:
Deriving Sorting Algorithms
CoRR abs/0802.3881: (2008) |
| 14 | EE | Joao Gomes,
Daniel Martins,
Simao Melo de Sousa,
Jorge Sousa Pinto:
Lissom, a Source Level Proof Carrying Code Platform
CoRR abs/0803.2317: (2008) |
| 13 | 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) |
| 12 | 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 |
|---|
| 11 | EE | Ian Mackie,
Jorge Sousa Pinto,
Miguel Vilaça:
Visual Programming with Recursion Patterns in Interaction Nets.
ECEASST 6: (2007) |
| 10 | 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) |
| 9 | EE | Maribel Fernández,
Ian Mackie,
Jorge Sousa Pinto:
A Higher-Order Calculus for Graph Transformation.
Electr. Notes Theor. Comput. Sci. 72(1): 45-58 (2007) |
| 2005 |
|---|
| 8 | EE | Alcino Cunha,
Jorge Sousa Pinto,
José Proença:
A Framework for Point-Free Program Transformation.
IFL 2005: 1-18 |
| 7 | EE | Alcino Cunha,
Jorge Sousa Pinto:
Point-free Program Transformation.
Fundam. Inform. 66(4): 315-352 (2005) |
| 6 | EE | Manuel Barbosa,
Alcino Cunha,
Jorge Sousa Pinto:
Recursion patterns and time-analysis.
SIGPLAN Notices 40(5): 45-54 (2005) |
| 2003 |
|---|
| 5 | EE | Jorge Sousa Pinto:
Weak reduction and garbage collection in interaction nets.
Electr. Notes Theor. Comput. Sci. 86(4): (2003) |
| 2002 |
|---|
| 4 | EE | Ian Mackie,
Jorge Sousa Pinto:
Encoding Linear Logic with Interaction Combinators.
Inf. Comput. 176(2): 153-186 (2002) |
| 2001 |
|---|
| 3 | EE | Jorge Sousa Pinto:
Parallel Evaluation of Interaction Nets with MPINE.
RTA 2001: 353-356 |
| 2 | EE | Jorge Sousa Pinto:
Parallel Implementation Models for the lambda-Calculus Using the Geometry of Interaction.
TLCA 2001: 385-399 |
| 2000 |
|---|
| 1 | EE | Jorge Sousa Pinto:
Sequential and Concurrent Abstract Machines for Interaction Nets.
FoSSaCS 2000: 267-282 |
