Safe Implementability of Regular Message Sequence Chart Specifications. - Nicolas Baudru; Rémi Morin (SNPD, 2003)

The Pros and Cons of Netcharts. - Nicolas Baudru; Rémi Morin (CONCUR, 2004)

Polynomial Synthesis of Asynchronous Automata - Nicolas Baudru; Rémi Morin (CoRR, 2005)

The Synthesis Problem of Netcharts. - Nicolas Baudru; Rémi Morin (ICATPN, 2006)

Unfolding Synthesis of Asynchronous Automata. - Nicolas Baudru; Rémi Morin (CSR, 2006)

Synthesis of Safe Message-Passing Systems. - Nicolas Baudru; Rémi Morin (FSTTCS, 2007)

Distributed Asynchronous Automata. - Nicolas Baudru (CONCUR, 2009)

Compositional synthesis of asynchronous automata. - Nicolas Baudru (Theor. Comput. Sci., 2011)

On exteriority notions in book embeddings and treewidth. - Nicolas Baudru; Séverine Fratani (Discret. Math., 2020)

From Two-Way Transducers to Regular Function Expressions. - Nicolas Baudru; Pierre-Alain Reynier (Int. J. Found. Comput. Sci., 2020)

Weighted Automata and Expressions over Pre-Rational Monoids. - Nicolas Baudru; Louis-Marie Dando; Nathan Lhote; Benjamin Monmege; Pierre-Alain Reynier; Jean-Marc Talbot (CSL, 2022)

Construction of asymmetric Chudnovsky-type algorithms for multiplication in finite fields. - Stéphane Ballet; Nicolas Baudru; Alexis Bonnecaze; Mila Tukumuli (Des. Codes Cryptogr., 2022)