Nicolas Baudru (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

6 Nicolas Baudru, Rémi Morin: Synthesis of Safe Message-Passing Systems. FSTTCS 2007: 277-289

5 Nicolas Baudru, Rémi Morin: Unfolding Synthesis of Asynchronous Automata. CSR 2006: 46-57

4 Nicolas Baudru, Rémi Morin: The Synthesis Problem of Netcharts. ICATPN 2006: 84-104

3 Nicolas Baudru, Rémi Morin: Polynomial Synthesis of Asynchronous Automata CoRR abs/cs/0506096: (2005)

2 Nicolas Baudru, Rémi Morin: The Pros and Cons of Netcharts. CONCUR 2004: 99-114

1 Nicolas Baudru, Rémi Morin: Safe Implementability of Regular Message Sequence Chart Specifications. SNPD 2003: 210-217

Selection of 6 from 7 records - Nicolas Baudru has 1 coauthors

6		Nicolas Baudru, Rémi Morin: Synthesis of Safe Message-Passing Systems. FSTTCS 2007: 277-289
5		Nicolas Baudru, Rémi Morin: Unfolding Synthesis of Asynchronous Automata. CSR 2006: 46-57
4		Nicolas Baudru, Rémi Morin: The Synthesis Problem of Netcharts. ICATPN 2006: 84-104
3		Nicolas Baudru, Rémi Morin: Polynomial Synthesis of Asynchronous Automata CoRR abs/cs/0506096: (2005)
2		Nicolas Baudru, Rémi Morin: The Pros and Cons of Netcharts. CONCUR 2004: 99-114
1		Nicolas Baudru, Rémi Morin: Safe Implementability of Regular Message Sequence Chart Specifications. SNPD 2003: 210-217