Semantic-Based Visualization for Parallel Object-Oriented Programming. - Isabelle Attali; Denis Caromel; Sidi O. Ehmety; Sylvain Lippi (OOPSLA, 1996)

From a Specification to an Equivalence Proof in Object-Oriented Parallelism. - Isabelle Attali; Denis Caromel; Sylvain Lippi (IPPS/SPDP Workshops, 1999)

in2 : A Graphical Interpreter for Interaction Nets. - Sylvain Lippi (RTA, 2002)

Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus. - Sylvain Lippi (TERMGRAPH, 2002)

Encoding Left Reduction in the Lambda-Calculus with Interaction Nets. - Sylvain Lippi (Math. Struct. Comput. Sci., 2002)

Universal Boolean Systems. - Denis Béchet; Sylvain Lippi (TERMGRAPH@ETAPS, 2007)

Hard combinators. - Denis Béchet; Sylvain Lippi (TERMGRAPH@ETAPS, 2007)

The graphical Krivine machine. - Sylvain Lippi (High. Order Symb. Comput., 2007)

Universal Hard Interaction for Clockless ComputationDem Glücklichen schlägt keine Stunde! - Sylvain Lippi (Fundam. Informaticae, 2009)