Nicolas Baudru

14 papers B 3C 2Misc 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2022 J jnl
Construction of asymmetric Chudnovsky-type algorithms for multiplication in finite fields.
Des. Codes Cryptogr.
Stéphane Ballet, Nicolas Baudru, Alexis Bonnecaze, Mila Tukumuli
2022 B conf
Weighted Automata and Expressions over Pre-Rational Monoids.
CSL
Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot
2021 J jnl
Weighted Automata and Expressions over Pre-Rational Monoids.
CoRR
Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot
2020 J jnl
From Two-Way Transducers to Regular Function Expressions.
Int. J. Found. Comput. Sci.
Nicolas Baudru, Pierre-Alain Reynier
2020 J jnl
On exteriority notions in book embeddings and treewidth.
Discret. Math.
Nicolas Baudru, Séverine Fratani
2018 C conf
From Two-Way Transducers to Regular Function Expressions.
DLT
Nicolas Baudru, Pierre-Alain Reynier
2011 J jnl
Compositional synthesis of asynchronous automata.
Theor. Comput. Sci.
Nicolas Baudru
2009 B conf
Distributed Asynchronous Automata.
CONCUR
Nicolas Baudru
2007 — conf
Synthesis of Safe Message-Passing Systems.
FSTTCS
Nicolas Baudru, Rémi Morin
2006 — conf
The Synthesis Problem of Netcharts.
ICATPN
Nicolas Baudru, Rémi Morin
2006 Misc conf
Unfolding Synthesis of Asynchronous Automata.
CSR
Nicolas Baudru, Rémi Morin
2005 J jnl
Polynomial Synthesis of Asynchronous Automata
CoRR
Nicolas Baudru, Rémi Morin
2004 B conf
The Pros and Cons of Netcharts.
CONCUR
Nicolas Baudru, Rémi Morin
2003 C conf
Safe Implementability of Regular Message Sequence Chart Specifications.
SNPD
Nicolas Baudru, Rémi Morin