VLDB 2026 Research / reviewers in the wild / expert
Nicolas Baudru
dblp:33/5076
· DBLP profile ↗
8ranked-venue papers
7as first author
2since 2021 · last 2022
0000-0002-1333-3432ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 6 · 6 first-author · 1 since 2021Artificial intelligence and machine learning · 1 · 1 first-authorSecurity and privacy · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Weighted Automata and Expressions over Pre-Rational MonoidsabstractThe Kleene theorem establishes a fundamental link between automata and expressions over the free monoid. Numerous generalisations of this result exist in the literature; on one hand, lifting this result to a weighted setting has been widely studied. On the other hand, beyond the free monoid, different monoids can be considered: for instance, two-way automata, and even tree-walking automata, can be described by expressions using the free inverse monoid. In the present work, we aim at combining both research directions and consider weighted extensions of automata and expressions over a class of monoids that we call pre-rational, generalising both the free inverse monoid and graded monoids. The presence of idempotent elements in these pre-rational monoids leads in the weighted setting to consider infinite sums. To handle such sums, we will have to restrict ourselves to rationally additive semirings. Our main result is thus a generalisation of the Kleene theorem for pre-rational monoids and rationally additive semirings. As a corollary, we obtain a class of expressions equivalent to weighted two-way automata, as well as one for tree-walking automata. Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot |
CSL | 1 |
| 2022 | Construction of asymmetric Chudnovsky-type algorithms for multiplication in finite fields
Stéphane Ballet, Nicolas Baudru, Alexis Bonnecaze, Mila Tukumuli |
Des. Codes Cryptogr. | 2 |
| 2018 | From Two-Way Transducers to Regular Function Expressions
Nicolas Baudru, Pierre-Alain Reynier |
DLT | 1 |
| 2011 | Compositional synthesis of asynchronous automata
Nicolas Baudru |
Theor. Comput. Sci. | 1 |
| 2009 | Distributed Asynchronous Automata
Nicolas Baudru |
CONCUR | 1 |
| 2007 | Synthesis of Safe Message-Passing Systems
Nicolas Baudru, Rémi Morin |
FSTTCS | 1 |
| 2004 | The Pros and Cons of Netcharts
Nicolas Baudru, Rémi Morin |
CONCUR | 1 |
| 2003 | Safe Implementability of Regular Message Sequence Chart Specifications
Nicolas Baudru, Rémi Morin |
SNPD | 1 |