Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure. - Anastasia Volkova 001; Thibault Hilaire; Christoph Quirin Lauter (ACSSC, 2015)

Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision. - Anastasia Volkova 001; Thibault Hilaire; Christoph Quirin Lauter (ARITH, 2015)

Fixed-point implementation of Lattice Wave Digital Filter: Comparison and error analysis. - Anastasia Volkova 001; Thibault Hilaire (EUSIPCO, 2015)

Reliable Fixed-Point Implementation of Linear Data-Flows. - Thibault Hilaire; Anastasia Volkova 001; Maminionja Ravoson (SiPS, 2016)

Reliable Verification of Digital Implemented Filters Against Frequency Specifications. - Anastasia Volkova 001; Christoph Quirin Lauter; Thibault Hilaire (ARITH, 2017)

Multiplierless unified architecture for mixed radix-2/3/4 FFTs. - Fahad Qureshi; Jarmo Takala; Anastasia Volkova 001; Thibault Hilaire (EUSIPCO, 2017)

Error analysis methods for the fixed-point implementation of linear systems. - Thibault Hilaire; Anastasia Volkova 001 (SiPS, 2017)

Towards reliable implementation of digital filters. (Vers une implémentation fiable des filtres numériques). - Anastasia Volkova 001 (2017)

Semi-Automatic Implementation of the Complementary Error Function. - Anastasia Volkova 001; Jean-Michel Muller (ARITH, 2019)

Sound Approximation of Programs with Elementary Functions. - Eva Darulova; Anastasia Volkova 001 (CAV (2), 2019)

Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study. - Anastasia Volkova 001; Matei Istoan; Florent de Dinechin; Thibault Hilaire (IEEE Trans. Computers, 2019)

A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning. - Christoph Quirin Lauter; Anastasia Volkova 001 (ARITH, 2020)

Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters. - Anastasia Volkova 001; Thibault Hilaire; Christoph Quirin Lauter (IEEE Trans. Computers, 2020)

Towards Arithmetic-Centered Filter Design. - Florent de Dinechin; Silviu-Ioan Filip; Martin Kumm; Anastasia Volkova 001 (ARITH, 2021)

Hardware-Aware Quantization for Multiplierless Neural Network Controllers. - Tobias Habermann; Jonas Kühle; Martin Kumm; Anastasia Volkova 001 (APCCAS, 2022)

Truncated Multiple Constant Multiplication with Minimal Number of Full Adders. - Rémi Garcia 002; Anastasia Volkova 001; Martin Kumm (ISCAS, 2022)

Dandelion: Certified Approximations of Elementary Functions. - Heiko Becker; Mohit Tekriwal; Eva Darulova; Anastasia Volkova 001; Jean-Baptiste Jeannin (ITP, 2022)

Towards the Multiple Constant Multiplication at Minimal Hardware Cost. - Rémi Garcia 002; Anastasia Volkova 001 (CoRR, 2022)

Hardware-Aware Design of Multiplierless Second-Order IIR Filters With Minimum Adders. - Rémi Garcia 002; Anastasia Volkova 001; Martin Kumm; Alexandre Goldsztejn; Jonas Kühle (IEEE Trans. Signal Process., 2022)

Hardware-Optimal Digital FIR Filters: One ILP to Rule Them all and in Faithfulness Bind Them. - Anastasia Volkova 001; Rémi Garcia 002; Florent de Dinechin; Martin Kumm (ACSSC, 2023)

Multiple Constant Multiplication: From Target Constants to Optimized Pipelined Adder Graphs. - Rémi Garcia 002; Anastasia Volkova 001 (FPL, 2023)

Design of Optimal Multiplierless FIR Filters With Minimal Number of Adders. - Martin Kumm; Anastasia Volkova 001; Silviu-Ioan Filip (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Toward the Multiple Constant Multiplication at Minimal Hardware Cost. - Rémi Garcia 002; Anastasia Volkova 001 (IEEE Trans. Circuits Syst. I Regul. Pap., 2023)

Sound Mixed Fixed-Point Quantization of Neural Networks. - Debasmita Lohar; Clothilde Jeangoudoux; Anastasia Volkova 001; Eva Darulova (ACM Trans. Embed. Comput. Syst., 2023)

Towards Fixed-Point Formats Determination for Faust Programs. - Agathe Herrou; Florent de Dinechin; Stéphane Letz; Yann Orlarey; Anastasia Volkova 001 (CoRR, 2024)

Towards optimal reconfigurable constant multipliers. - Bastien Barbe; Xiao Peng; Anastasia Volkova 001; Florent de Dinechin (DSD, 2025)

Training for Mixed-Precision Integer Weights, Activations and Embeddings in BERT. - Cédric Gernigon; Xavier Pillet; Anastasia Volkova 001; Richard Dufour (DASIP, 2026)

Sigma Delta DACs for Low Latency High Sampling Rate Audio on an FPGA. - Jonas Höpner; Romain Michon; Anastasia Volkova 001 (DASIP, 2026)