Passer à la navigation principale Passer à la recherche Passer au contenu principal
Aucune photo de Amaury Pouly

Voir le profil Scopus

Amaury Pouly

20112026

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Amaury Pouly est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau
  • 22 Contribution à une conférence
  • 14 Article
  • 1 Papier

  • ON POLYNOMIAL-TIME DECIDABILITY OF k-NEGATIONS FRAGMENTS OF FIRST-ORDER THEORIES

    Haase, C., Mansutti, A. & Pouly, A., 1 janv. 2026, Dans: Logical Methods in Computer Science. 22, 1, p. 21:1-21:45

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • Discrete Gaussian Sampling for BKZ-Reduced Basis

    Pouly, A. & Shen, Y., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • On the Monniaux Problem in Abstract Interpretation

    Fijalkow, N., Lefaucheux, E., Ohlmann, P., Ouaknine, J., Pouly, A. & Worrell, J., 27 mars 2025, Dans: Journal of the ACM. 72, 2, 11.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • Provable Dual Attacks on Learning with Errors

    Pouly, A. & Shen, Y., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • A continuous characterization of PSPACE using polynomial ordinary differential equations

    Bournez, O., Gozzi, R., Graça, D. S. & Pouly, A., 1 août 2023, Dans: Journal of Complexity. 77, 101755.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract)

    Pouly, A., Haase, C. & Mansutti, A., 1 août 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • On Strongest Algebraic Program Invariants

    Hrushovski, E., Ouaknine, J., Pouly, A. & Worrell, J., 12 oct. 2023, Dans: Journal of the ACM. 70, 5, 29.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices

    Nosan, K., Pouly, A., Schmitz, S., Shirmohammadi, M. & Worrell, J., 4 juil. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • The Membership Problem for Hypergeometric Sequences with Rational Parameters

    Nosan, K., Pouly, A., Shirmohammadi, M. & Worrell, J., 4 juil. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • On the decidability of reachability in continuous time linear time-invariant systems

    Dantam, M. & Pouly, A., 19 mai 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)).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert
Tout afficher 37 résultat de recherche