| Quantum Turing Machines: Computations and Measurements | 0 | 0.34 | 2017 |
| Towards A Theory Of Quantum Computability. | 0 | 0.34 | 2015 |
| A linear algorithm for MLL proof net correctness and sequentialization | 6 | 0.54 | 2011 |
| Jumping Boxes | 1 | 0.38 | 2009 |
| Proofs, tests and continuation passing style | 0 | 0.34 | 2009 |
| Continuations, proofs and tests | 0 | 0.34 | 2006 |
| Commutative locative quantifiers for multiplicative linear logic | 0 | 0.34 | 2006 |
| Sharing Implementations of Graph Rewriting Systems | 2 | 0.39 | 2005 |
| Proof nets, garbage, and computations | 3 | 0.44 | 2001 |
| The optimal implementation of functional programming languages | 67 | 3.43 | 2000 |
| Strong Normalization of Proof Nets Modulo Structural Congruences | 7 | 0.71 | 1999 |
| A general theory of sharing graphs | 5 | 0.48 | 1999 |
| An Analysis of (Linear) Exponentials Based on Extended Sequents | 7 | 0.59 | 1998 |
| Coherence for Sharing Proof Nets | 8 | 0.73 | 1996 |
| Lambda-Definition of Function(al)s by Normal Forms | 8 | 0.52 | 1994 |
