Nicolas Baudru

According to our database, Nicolas Baudru authored at least 12 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Weighted Automata and Expressions over Pre-Rational Monoids.

Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2020

From Two-Way Transducers to Regular Function Expressions.

Nicolas Baudru, Pierre-Alain Reynier

Int. J. Found. Comput. Sci., 2020

On exteriority notions in book embeddings and treewidth.

Nicolas Baudru, Séverine Fratani

Discret. Math., 2020

2011

Compositional synthesis of asynchronous automata.

Nicolas Baudru

Theor. Comput. Sci., 2011

2009

Distributed Asynchronous Automata.

Nicolas Baudru

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2007

Synthesis of Safe Message-Passing Systems.

Nicolas Baudru, Rémi Morin

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006

Unfolding Synthesis of Asynchronous Automata.

Nicolas Baudru, Rémi Morin

Proceedings of the Computer Science, 2006

The Synthesis Problem of Netcharts.

Nicolas Baudru, Rémi Morin

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Polynomial Synthesis of Asynchronous Automata

Nicolas Baudru, Rémi Morin

CoRR, 2005

2004

The Pros and Cons of Netcharts.

Nicolas Baudru, Rémi Morin

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Safe Implementability of Regular Message Sequence Chart Specifications.

Nicolas Baudru, Rémi Morin

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003