Efficient Reductions with Director Strings. - François-Régis Sinot; Maribel Fernández; Ian Mackie (RTA, 2003)

Macros for Interaction Nets: A Conservative Extension of Interaction Nets. - François-Régis Sinot; Ian Mackie (TERMGRAPH, 2004)

Call-by-Name and Call-by-Value as Token-Passing Interaction Nets. - François-Régis Sinot (TLCA, 2005)

Lambda-Calculus with Director Strings. - Maribel Fernández; Ian Mackie; François-Régis Sinot (Appl. Algebra Eng. Commun. Comput., 2005)

Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. - Maribel Fernández; Ian Mackie; François-Régis Sinot (EXPRESS, 2005)

Token-Passing Nets: Call-by-Need for Free. - François-Régis Sinot (DCM@ICALP, 2005)

Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting. - François-Régis Sinot (J. Log. Comput., 2005)

Closed reduction: explicit substitutions without alpha-conversion. - Maribel Fernández; Ian Mackie; François-Régis Sinot (Math. Struct. Comput. Sci., 2005)

From Functional Programs to Interaction Nets via the Rewriting Calculus. - Horatiu Cirstea; Germain Faure; Maribel Fernández; Ian Mackie; François-Régis Sinot (WRS@FLoC, 2006)

Rule-Based Operational Semantics for an Imperative Language. - Florent Kirchner; François-Régis Sinot (RULE@FLoC, 2006)

Call-by-need in token-passing nets. - François-Régis Sinot (Math. Struct. Comput. Sci., 2006)

Stratégies Efficaces et Modèles d'Implantation pour les Langages Fonctionnels. (Efficient Strategies and Implementation Models for Functional Languages). - François-Régis Sinot (2006)

Minimality in a Linear Calculus with Iteration. - Sandra Alves; Mário Florido; Ian Mackie; François-Régis Sinot (WRS@RDP, 2007)

Sub-lambda-calculi, Classified. - François-Régis Sinot (TERMGRAPH@ETAPS, 2007)

Complete Laziness: a Natural Semantics. - François-Régis Sinot (WRS@RDP, 2007)