|
Search the dblp DataBase
Nicolas Baudru:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nicolas Baudru, Rémi Morin
The Synthesis Problem of Netcharts. [Citation Graph (0, 0)][DBLP] ICATPN, 2006, pp:84-104 [Conf]
- Nicolas Baudru, Rémi Morin
The Pros and Cons of Netcharts. [Citation Graph (0, 0)][DBLP] CONCUR, 2004, pp:99-114 [Conf]
- Nicolas Baudru, Rémi Morin
Unfolding Synthesis of Asynchronous Automata. [Citation Graph (0, 0)][DBLP] CSR, 2006, pp:46-57 [Conf]
- Nicolas Baudru, Rémi Morin
Safe Implementability of Regular Message Sequence Chart Specifications. [Citation Graph (0, 0)][DBLP] SNPD, 2003, pp:210-217 [Conf]
Distributed Asynchronous Automata. [Citation Graph (, )][DBLP]
Synthesis of Safe Message-Passing Systems. [Citation Graph (, )][DBLP]
Polynomial Synthesis of Asynchronous Automata [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|