( en | de | ru )

 

Disambiguation of "Pouly, Amaury"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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)Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains., , and . MFCS, volume 6907 of Lecture Notes in Computer Science, page 170-181. Springer, (2011)Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length: The General Purpose Analog Computer and Computable Analysis Are Two Efficiently Equivalent Models of Computations., , and . ICALP, volume 55 of LIPIcs, page 109:1-109:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems., , , and . CiE, volume 7921 of Lecture Notes in Computer Science, page 12-21. Springer, (2013)On the Decidability of Membership in Matrix-exponential Semigroups., , , and . J. ACM, 66 (3): 15:1-15:24 (2019)