| |
| 2008 | ||
|---|---|---|
| 4 | EE | Julien Bernet, David Janin: From Asynchronous to Synchronous Specifications for Distributed Program Synthesis. SOFSEM 2008: 162-173 |
| 2006 | ||
| 3 | EE | Julien Bernet, David Janin: On Distributed Program Specification and Synthesis in Architectures with Cycles. FORTE 2006: 175-190 |
| 2005 | ||
| 2 | EE | Julien Bernet, David Janin: Tree Automata and Discrete Distributed Games. FCT 2005: 540-551 |
| 2002 | ||
| 1 | EE | Julien Bernet, David Janin, Igor Walukiewicz: Permissive strategies: from parity games to safety games. ITA 36(3): 261-275 (2002) |
| 1 | David Janin | [1] [2] [3] [4] |
| 2 | Igor Walukiewicz | [1] |