| |
| 2009 | ||
|---|---|---|
| 3 | EE | Thomas Chatain, Paul Gastin, Nathalie Sznajder: Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. SOFSEM 2009: 141-152 |
| 2007 | ||
| 2 | EE | Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari: Quantitative and Probabilistic Modeling in Pathway Logic. BIBE 2007: 922-929 |
| 2006 | ||
| 1 | EE | Paul Gastin, Nathalie Sznajder, Marc Zeitoun: Distributed Synthesis for Well-Connected Architectures. FSTTCS 2006: 321-332 |
| 1 | Alessandro Abate | [2] |
| 2 | Yu Bai | [2] |
| 3 | Thomas Chatain | [3] |
| 4 | Paul Gastin | [1] [3] |
| 5 | Carolyn L. Talcott | [2] |
| 6 | Ashish Tiwari | [2] |
| 7 | Marc Zeitoun | [1] |