Pierre-Alain Reynier

Identifiers

• name variant Pierre-Alain Reynier 0.60 · backfill

Papers (12)

1. Minimizing Streaming String Transducers: An algebraic approach cs.FL · 2026 · author #3
2. Sequentiality of String-to-Context Transducers cs.LO · 2019 · author #1
3. Symbolic Approximation of Weighted Timed Games cs.GT · 2018 · author #3
4. Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty cs.FL · 2018 · author #6
5. Degree of sequentiality of weighted automata cs.FL · 2017 · author #3
6. Optimal Reachability in Divergent Weighted Timed Games cs.GT · 2017 · author #3
7. Two-Way Visibly Pushdown Automata and Transducers cs.FL · 2016 · author #3
8. Aperiodic String Transducers cs.FL · 2015 · author #3
9. On Streaming String Transducers and HDT0L Systems cs.FL · 2014 · author #2
10. From Two-Way to One-Way Finite State Transducers cs.FL · 2013 · author #3
11. Controllers with Minimal Observation Power (Application to Timed Systems) cs.SY · 2012 · author #6
12. On Functionality of Visibly Pushdown Transducers cs.FL · 2010 · author #3

Mentions

• 1301.5197 #3 · backfill · confidence 0.70 Pierre-Alain Reynier
• 1207.1276 #6 · backfill · confidence 0.70 Pierre-Alain Reynier
• 1002.1443 #3 · backfill · confidence 0.70 Pierre-Alain Reynier

Frequent Coauthors

• Emmanuel Filiot 4 shared papers
• Benjamin Monmege 2 shared papers
• Damien Busatto-Gaston 2 shared papers
• Didier Villevalois 2 shared papers
• Fr\'ed\'eric Servais 2 shared papers
• Jean-Marc Talbot 2 shared papers
• Kim G. Larsen 2 shared papers
• Luc Dartois 2 shared papers
• Alexandre David 1 shared papers
• Franck Cassez 1 shared papers
• Giovanni Bacci 1 shared papers
• Isma\"el Jecker 1 shared papers
• Ismael Jecker 1 shared papers
• Jean-Fran\c{c}ois Raskin 1 shared papers
• Jean-Francois Raskin 1 shared papers
• Laure Daviaud 1 shared papers
• Nathan Lhote 1 shared papers
• Nicolas Markey 1 shared papers
• Olivier Gauwin 1 shared papers
• Patricia Bouyer 1 shared papers