Παρακολούθηση
Amaury Pouly
Amaury Pouly
CNRS/IRIF
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα irif.fr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Strong turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs
F Fages, G Le Guludec, O Bournez, A Pouly
Computational Methods in Systems Biology: 15th International Conference …, 2017
942017
Polynomial invariants for affine programs
E Hrushovski, J Ouaknine, A Pouly, J Worrell
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
832018
Polynomial time corresponds to solutions of polynomial ordinary differential equations of polynomial length
O Bournez, DS Graça, A Pouly
Journal of the ACM (JACM) 64 (6), 1-76, 2017
622017
A survey on analog models of computation
O Bournez, A Pouly
Handbook of Computability and Complexity in Analysis, 173-226, 2021
522021
Explicit error bounds for Carleman linearization
M Forets, A Pouly
arXiv preprint arXiv:1711.02552, 2017
382017
Continuous models of computation: from computability to complexity
A Pouly
Ecole Doctorale Polytechnique; Universidad do Algarve, 2015
352015
On the decidability of reachability in linear time-invariant systems
N Fijalkow, J Ouaknine, A Pouly, J Sousa-Pinto, J Worrell
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
322019
Computational complexity of solving polynomial differential equations over unbounded domains
A Pouly, DS Graça
Theoretical Computer Science 626, 67-82, 2016
272016
On strongest algebraic program invariants
E Hrushovski, J Ouaknine, A Pouly, J Worrell
Journal of the ACM 70 (5), 1-22, 2023
242023
A universal ordinary differential equation
O Bournez, A Pouly
Logical Methods in Computer Science 16, 2020
222020
On the complexity of solving initial value problems
O Bournez, DS Graça, A Pouly
Proceedings of the 37th International Symposium on Symbolic and Algebraic …, 2012
212012
Solving analytic differential equations in polynomial time over unbounded domains
O Bournez, DS Graça, A Pouly
Mathematical Foundations of Computer Science 2011: 36th International …, 2011
192011
On the functions generated by the general purpose analog computer
O Bournez, D Graça, A Pouly
Information and Computation 257, 34-57, 2017
172017
Model checking flat freeze LTL on one-counter automata
A Lechner, R Mayr, J Ouaknine, A Pouly, J Worrell
Logical Methods in Computer Science 14, 2018
122018
Provable dual attacks on learning with errors
A Pouly, Y Shen
Annual International Conference on the Theory and Applications of …, 2024
112024
Computing with polynomial ordinary differential equations
O Bournez, D Graça, A Pouly
Journal of Complexity 36, 106-140, 2016
112016
A continuous characterization of PSPACE using polynomial ordinary differential equations
O Bournez, R Gozzi, DS Graça, A Pouly
Journal of Complexity 77, 101755, 2023
92023
On the computation of the Zariski closure of finitely generated groups of matrices
K Nosan, A Pouly, S Schmitz, M Shirmohammadi, J Worrell
Proceedings of the 2022 International Symposium on Symbolic and Algebraic …, 2022
92022
On the monniaux problem in abstract interpretation
N Fijalkow, E Lefaucheux, P Ohlmann, J Ouaknine, A Pouly, J Worrell
International Static Analysis Symposium, 162-180, 2019
92019
Handbook of Computability and Complexity in Analysis, chapter a survey on analog models of computation
O Bournez, A Pouly
Springer in cooperation with the Association Computability in Europe, 2018
82018
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20