Nicolas Baudru

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Construction of asymmetric Chudnovsky-type algorithms for multiplication in finite fields.
Des. Codes Cryptogr., 2022

Weighted Automata and Expressions over Pre-Rational Monoids.
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2020
From Two-Way Transducers to Regular Function Expressions.
Int. J. Found. Comput. Sci., 2020

On exteriority notions in book embeddings and treewidth.
Discret. Math., 2020

2011
Compositional synthesis of asynchronous automata.
Theor. Comput. Sci., 2011

2009
Distributed Asynchronous Automata.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2007
Synthesis of Safe Message-Passing Systems.
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006
Unfolding Synthesis of Asynchronous Automata.
Proceedings of the Computer Science, 2006

The Synthesis Problem of Netcharts.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005
Polynomial Synthesis of Asynchronous Automata
CoRR, 2005

2004
The Pros and Cons of Netcharts.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
Safe Implementability of Regular Message Sequence Chart Specifications.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003


  Loading...