BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Reynier:Pierre=Alain

Contributed to:

ICALP (2) 20152015
DLT 20142014
CIAA 20132013
CIAA 20132015
LICS 20132013
DLT 20122012
FOSSACS 20112011
FoSSaCS 20082008
ICALP (2) 20062006
CAV (1) 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.