![]() |
| 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 | Paul Gastin | [1] |
| 4 | Carolyn L. Talcott | [2] |
| 5 | Ashish Tiwari | [2] |
| 6 | Marc Zeitoun | [1] |