Login / Signup
Julien Bernet
Publication Activity (10 Years)
Years Active: 2002-2013
Publications (10 Years): 0
</>
Publications
</>
Julien Bernet
,
David Janin
Une étude des jeux distribués.
Tech. Sci. Informatiques
32 (9-10) (2013)
Julien Bernet
,
David Janin
From Asynchronous to Synchronous Specifications for Distributed Program Synthesis.
SOFSEM
(2008)
Julien Bernet
,
David Janin
On Distributed Program Specification and Synthesis in Architectures with Cycles.
FORTE
(2006)
Julien Bernet
,
David Janin
Tree Automata and Discrete Distributed Games.
FCT
(2005)
Julien Bernet
,
David Janin
,
Igor Walukiewicz
Permissive strategies: from parity games to safety games.
RAIRO Theor. Informatics Appl.
36 (3) (2002)