Amaury Pouly
Identifiers
- name variant Amaury Pouly 0.60 · backfill
Papers (14)
- A Survey on Analog Models of Computation cs.CC · 2018 · author #2
- Polynomial Invariants for Affine Programs cs.LO · 2018 · author #3
- Explicit Error Bounds for Carleman Linearization math.NA · 2017 · author #2
- Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem cs.CC · 2017 · author #4
- Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length (Journal version) cs.CC · 2016 · author #3
- Computational complexity of solving polynomial differential equations over unbounded domains with non-rational coefficients cs.CC · 2016 · author #1
- Computing with Polynomial Ordinary Differential Equations cs.CC · 2016 · author #3
- On the Functions Generated by the General Purpose Analog Computer cs.CC · 2016 · author #3
- Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length cs.CC · 2016 · author #3
- On the complexity of bounded time and precision reachability for piecewise affine systems cs.CC · 2016 · author #4
- Solvability of Matrix-Exponential Equations cs.DM · 2016 · author #2
- Computational complexity of solving polynomial differential equations over unbounded domains cs.CC · 2014 · author #1
- Turing machines can be efficiently simulated by the General Purpose Analog Computer cs.CC · 2012 · author #1
- On the complexity of solving initial value problems cs.NA · 2012 · author #3
Mentions
Frequent Coauthors
- Olivier Bournez 8 shared papers
- Daniel S. Gra\c{c}a 4 shared papers
- James Worrell 3 shared papers
- Jo\"el Ouaknine 3 shared papers
- Daniel Gra\c{c}a 2 shared papers
- Daniel S. Gra\c{a}a 1 shared papers
- Ehud Hrushovski 1 shared papers
- Hugo Bazille 1 shared papers
- Jo\~ao Sousa-Pinto 1 shared papers
- Marcelo Forets 1 shared papers
- Nathana\"el Fijalkow 1 shared papers
- Pierre Ohlmann 1 shared papers
- Walid Gomaa 1 shared papers