Julien Bernet

According to our database, Julien Bernet authored at least 5 papers between 2002 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Une étude des jeux distribués.

Julien Bernet, David Janin

Tech. Sci. Informatiques, 2013

2008

From Asynchronous to Synchronous Specifications for Distributed Program Synthesis.

Julien Bernet, David Janin

Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

2006

On Distributed Program Specification and Synthesis in Architectures with Cycles.

Julien Bernet, David Janin

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Tree Automata and Discrete Distributed Games.

Julien Bernet, David Janin

Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005

2002

Permissive strategies: from parity games to safety games.

Julien Bernet, David Janin, Igor Walukiewicz

RAIRO Theor. Informatics Appl., 2002