Permissive strategies: from parity games to safety games. - Julien Bernet; David Janin; Igor Walukiewicz (RAIRO Theor. Informatics Appl., 2002)

Tree Automata and Discrete Distributed Games. - Julien Bernet; David Janin (FCT, 2005)

On Distributed Program Specification and Synthesis in Architectures with Cycles. - Julien Bernet; David Janin (FORTE, 2006)

From Asynchronous to Synchronous Specifications for Distributed Program Synthesis. - Julien Bernet; David Janin (SOFSEM, 2008)

Une étude des jeux distribués. - Julien Bernet; David Janin (Tech. Sci. Informatiques, 2013)