8
Publications
130
Citations
8
H-Index
2012
Active since
Amaury Pouly is an author at Laboratoire d'Informatique de l'École Polytechnique specializing in computer science, engineering, and computational complexity.
Top concepts
EngineeringComputer ScienceComputer EngineeringComputational ComplexityUnconventional ComputingFormal MethodsSignal ProcessingNumerical AnalysisAnalog VerificationAutomated Reasoning
Publications per year
2012–2023
8
8
On Strongest Algebraic Program Invariants
Ehud Hrushovski, Joël Ouaknine, Amaury Pouly et al. · Journal of the ACM · 2023 · 13 citations · Full text
On the complexity of solving initial value problems
Olivier Bournez, Daniel S. Graça, Amaury Pouly · 2012 · 12 citations · Full text
Rows per page
1–5 of 8