| 2026 | CP | Solving the Multiple Constant Multiplication Problem with Constraint Programming. | Tho Cantaloube, Xiao Peng, Christine Solnon, Anastasia Volkova |
| 2025 | DSD | Towards optimal reconfigurable constant multipliers. | Bastien Barbe, Xiao Peng, Anastasia Volkova, Florent de Dinechin |
| 2023 | ACSSC | Hardware-Optimal Digital FIR Filters: One ILP to Rule Them all and in Faithfulness Bind Them. | Anastasia Volkova, Rmi Garcia, Florent de Dinechin, Martin Kumm |
| 2023 | FPL | Multiple Constant Multiplication: From Target Constants to Optimized Pipelined Adder Graphs. | Rmi Garcia, Anastasia Volkova |
| 2022 | ISCAS | Truncated Multiple Constant Multiplication with Minimal Number of Full Adders. | Rmi Garcia, Anastasia Volkova, Martin Kumm |
| 2022 | ITP | Dandelion: Certified Approximations of Elementary Functions. | Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin |
| 2021 | ARITH | Towards Arithmetic-Centered Filter Design. | Florent de Dinechin, Silviu-Ioan Filip, Martin Kumm, Anastasia Volkova |
| 2020 | ARITH | A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning. | Christoph Quirin Lauter, Anastasia Volkova |
| 2019 | ARITH | Semi-Automatic Implementation of the Complementary Error Function. | Anastasia Volkova, Jean-Michel Muller |
| 2019 | CAV | Sound Approximation of Programs with Elementary Functions. | Eva Darulova, Anastasia Volkova |
| 2017 | ARITH | Reliable Verification of Digital Implemented Filters Against Frequency Specifications. | Anastasia Volkova, Christoph Quirin Lauter, Thibault Hilaire |
| 2015 | ACSSC | Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure. | Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter |
| 2015 | ARITH | Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision. | Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter |