 | 2009 |
|---|
| 19 |       | Ana Bove,
Luís Soares Barbosa,
Alberto Pardo,
Jorge Sousa Pinto:
Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Springer 2009 |
| 18 | | José Bacelar Almeida,
Manuel Barbosa,
Jorge Sousa Pinto,
Bárbara Vieira:
Verifying Cryptographic Software Correctness with Respect to Reference Implementations.
FMICS 2009: 37-52 |
| 17 | | Ian Mackie,
Jorge Sousa Pinto,
Miguel Vilaça:
Iterators, Recursors and Interaction Nets
CoRR abs/0910.3321: (2009) |
| 2008 |
|---|
| 16 | | Abubakar Hassan,
Ian Mackie,
Jorge Sousa Pinto:
Visual Programming with Interaction Nets.
Diagrams 2008: 165-171 |
| 15 | | José Bacelar Almeida,
Jorge Sousa Pinto:
Deriving Sorting Algorithms
CoRR abs/0802.3881: (2008) |
| 14 | | 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 | | 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 | | 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 | | Ian Mackie,
Jorge Sousa Pinto,
Miguel Vilaça:
Visual Programming with Recursion Patterns in Interaction Nets.
ECEASST 6: (2007) |
| 10 | | 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 | | 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 | | Alcino Cunha,
Jorge Sousa Pinto,
José Proença:
A Framework for Point-Free Program Transformation.
IFL 2005: 1-18 |
| 7 | | Alcino Cunha,
Jorge Sousa Pinto:
Point-free Program Transformation.
Fundam. Inform. 66(4): 315-352 (2005) |
| 6 | | Manuel Barbosa,
Alcino Cunha,
Jorge Sousa Pinto:
Recursion patterns and time-analysis.
SIGPLAN Notices 40(5): 45-54 (2005) |
| 2003 |
|---|
| 5 | | Jorge Sousa Pinto:
Weak reduction and garbage collection in interaction nets.
Electr. Notes Theor. Comput. Sci. 86(4): (2003) |
| 2002 |
|---|
| 4 | | Ian Mackie,
Jorge Sousa Pinto:
Encoding Linear Logic with Interaction Combinators.
Inf. Comput. 176(2): 153-186 (2002) |
| 2001 |
|---|
| 3 | | Jorge Sousa Pinto:
Parallel Evaluation of Interaction Nets with MPINE.
RTA 2001: 353-356 |
| 2 | | Jorge Sousa Pinto:
Parallel Implementation Models for the lambda-Calculus Using the Geometry of Interaction.
TLCA 2001: 385-399 |
| 2000 |
|---|
| 1 | | Jorge Sousa Pinto:
Sequential and Concurrent Abstract Machines for Interaction Nets.
FoSSaCS 2000: 267-282 |
