Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Pierre-Alain Reynier

Decision Problems of Tree Transducers With Origin

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2018English

Optimal and Robust Controller Synthesis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm With Pruning

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

From Two-Way to One-Way Finite State Transducers

2013English

Timed Unfoldings for Networks of Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Robust Analysis of Timed Automata via Channel Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Undecidability Results for Timed Automata With Silent Transitions

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy