Fingerprint
Dive into the research topics where Amaury Pouly is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Discrete Gaussian Sampling for BKZ-Reduced Basis
Pouly, A. & Shen, Y., 1 Jan 2025, Post-Quantum Cryptography - 16th International Workshop, PQCrypto 2025, Proceedings. Niederhagen, R. & Saarinen, M.-J. O. (eds.). Springer Science and Business Media Deutschland GmbH, p. 63-88 26 p. (Lecture Notes in Computer Science; vol. 15578 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
On the Monniaux Problem in Abstract Interpretation
Fijalkow, N., Lefaucheux, E., Ohlmann, P., Ouaknine, J., Pouly, A. & Worrell, J., 27 Mar 2025, In: Journal of the ACM. 72, 2, 11.Research output: Contribution to journal › Article › peer-review
Open Access -
Provable Dual Attacks on Learning with Errors
Pouly, A. & Shen, Y., 1 Jan 2024, Advances in Cryptology – EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Joye, M. & Leander, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 256-285 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14657 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
A continuous characterization of PSPACE using polynomial ordinary differential equations
Bournez, O., Gozzi, R., Graça, D. S. & Pouly, A., 1 Aug 2023, In: Journal of Complexity. 77, 101755.Research output: Contribution to journal › Article › peer-review
Open Access -
On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract)
Pouly, A., Haase, C. & Mansutti, A., 1 Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 52. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
On Strongest Algebraic Program Invariants
Hrushovski, E., Ouaknine, J., Pouly, A. & Worrell, J., 12 Oct 2023, In: Journal of the ACM. 70, 5, 29.Research output: Contribution to journal › Article › peer-review
Open Access -
On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices
Nosan, K., Pouly, A., Schmitz, S., Shirmohammadi, M. & Worrell, J., 4 Jul 2022, ISSAC 2022 - Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation47th International Symposium on Symbolic and Algebraic Computation, ISSAC 2022. Hashemi, A. (ed.). Association for Computing Machinery, p. 129-138 10 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
The Membership Problem for Hypergeometric Sequences with Rational Parameters
Nosan, K., Pouly, A., Shirmohammadi, M. & Worrell, J., 4 Jul 2022, ISSAC 2022 - Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation47th International Symposium on Symbolic and Algebraic Computation, ISSAC 2022. Hashemi, A. (ed.). Association for Computing Machinery, p. 381-389 9 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
On the decidability of reachability in continuous time linear time-invariant systems
Dantam, M. & Pouly, A., 19 May 2021, HSCC 2021 - Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (part of CPS-IoT Week). Association for Computing Machinery, Inc, (HSCC 2021 - Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (part of CPS-IoT Week)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Algebraic invariants for linear hybrid automata
Majumdar, R., Ouaknine, J., Pouly, A. & Worrell, J., 1 Aug 2020, 31st International Conference on Concurrency Theory, CONCUR 2020. Konnov, I. & Kovacs, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 321-3217 2897 p. 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review