( en | de | ru )

 

Disambiguation of "Pouly, Amaury"

Author of the publication

copydeleteadd this publication to your clipboard
Reachability in Dynamical Systems with Rounding.

, , , , , , , , and . FSTTCS, volume 182 of LIPIcs, page 36:1-36:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Amaury Pourteau

Amaury Pourteau

Amaury Pourteau

Paul-Amaury Matt

Amaury Ernesto Fernández-Montalván

 

Other publications of authors with the same name

Continuous models of computation: from computability to complexity. (Modèles de calculs à temps continu: de la calculabilité à la complexité).. Universidad do Algarve, Faro, Portugal, (2015)Algebraic Invariants for Linear Hybrid Automata., , , and . CONCUR, volume 171 of LIPIcs, page 32:1-32:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices., , , , and . ISSAC, page 129-138. ACM, (2022)Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs., , , and . CMSB, volume 10545 of Lecture Notes in Computer Science, page 108-127. Springer, (2017)On the decidability of reachability in continuous time linear time-invariant systems., and . HSCC, page 15:1-15:12. ACM, (2021)A Survey on Analog Models of Computation., and . CoRR, (2018)On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract)., , and . MFCS, volume 272 of LIPIcs, page 52:1-52:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Rigorous Numerical Computation of Polynomial Differential Equations Over Unbounded Domains., , and . MACIS, volume 9582 of Lecture Notes in Computer Science, page 469-473. Springer, (2015)On the complexity of solving initial value problems., , and . ISSAC, page 115-121. ACM, (2012)A Universal Ordinary Differential Equation., and . ICALP, volume 80 of LIPIcs, page 116:1-116:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)