Modular Architecture for Classical Simulation of Quantum Circuits. - Aniket S. Dalvi; Filip Mazurek; Leon Riesebos; Jacob Whitlow; Swarnadeep Majumder; Kenneth R. Brown (QCE, 2022)

Rigorous Evaluation of Computer Processors with Statistical Model Checking. - Filip Mazurek; Arya Tschand; Yu Wang 044; Miroslav Pajic; Daniel J. Sorin (MICRO, 2023)

QisDAX: An Open Source Bridge from Qiskit to Trapped-Ion Quantum Devices. - Kaustubh Badrike; Aniket S. Dalvi; Filip Mazurek; Marissa D'Onofrio; Jacob Whitlow; Tianyi Chen; Samuel Phiri; Leon Riesebos; Kenneth R. Brown; Frank Mueller 001 (QCE, 2023)

Tailored Quantum Device Calibration with Statistical Model Checking. - Filip Mazurek; Marissa D'Onofrio; Andrew Van Horn; Jiyong Yu; Kavyashree Ranawat; Jungsang Kim; Kenneth R. Brown (CoRR, 2025)