Travelled to:1 × Canada
1 × Germany
1 × Hungary
1 × Italy
1 × Japan
1 × Russia
1 × Taiwan
1 × USA
Collaborated with:J.Talbot M.Caralp P.Bouyer E.Filiot R.Jaubert N.Markey S.Haddad S.Maneth O.Gauwin F.Servais D.Busatto-Gaston B.Monmege O.Sankur
Talks about:automata (7) time (5) pushdown (4) visibl (4) transduc (3) robust (3) analysi (2) finit (2) trim (2) way (2)
Person: Pierre-Alain Reynier
DBLP: Reynier:Pierre=Alain
Contributed to:
2015
2014
20132015
20132012
201120082006
2019Wrote 10 papers:
- ICALP-v2-2015-FiliotMRT #problem #transducer
- Decision Problems of Tree Transducers with Origin (EF, SM, PAR, JMT), pp. 209–221.
- DLT-2014-ReynierT #automaton #transducer
- Visibly Pushdown Transducers with Well-Nested Outputs (PAR, JMT), pp. 129–141.
- CIAA-2013-CaralpRT #automaton
- Trimming Visibly Pushdown Automata (MC, PAR, JMT), pp. 84–96.
- CIAA-J-2013-CaralpRT15 #automaton
- Trimming visibly pushdown automata (MC, PAR, JMT), pp. 13–29.
- LICS-2013-FiliotGRS #finite #transducer
- From Two-Way to One-Way Finite State Transducers (EF, OG, PAR, FS), pp. 468–477.
- DLT-2012-CaralpRT #automaton #bound #multi
- Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness (MC, PAR, JMT), pp. 226–238.
- FoSSaCS-2011-JaubertR #analysis #automaton #robust
- Quantitative Robustness Analysis of Flat Timed Automata (RJ, PAR), pp. 229–244.
- FoSSaCS-2008-BouyerMR #analysis #automaton #robust
- Robust Analysis of Timed Automata via Channel Machines (PB, NM, PAR), pp. 157–171.
- ICALP-v2-2006-BouyerHR #automaton #petri net #power of #sequence
- Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences (PB, SH, PAR), pp. 420–431.
- CAV-2019-Busatto-GastonM #approach #automaton #robust #synthesis
- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach (DBG, BM, PAR, OS), pp. 572–590.