Login / Signup
Filip Mazurek
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Model Checking
Modular Architecture
Quantum Inspired
Top Venues
QCE
MICRO
</>
Publications
</>
Kaustubh Badrike
,
Aniket S. Dalvi
,
Filip Mazurek
,
Marissa D'Onofrio
,
Jacob Whitlow
,
Tianyi Chen
,
Samuel Phiri
,
Leon Riesebos
,
Kenneth R. Brown
,
Frank Mueller
QisDAX: An Open Source Bridge from Qiskit to Trapped-Ion Quantum Devices.
QCE
(2023)
Filip Mazurek
,
Arya Tschand
,
Yu Wang
,
Miroslav Pajic
,
Daniel J. Sorin
Rigorous Evaluation of Computer Processors with Statistical Model Checking.
MICRO
(2023)
Aniket S. Dalvi
,
Filip Mazurek
,
Leon Riesebos
,
Jacob Whitlow
,
Swarnadeep Majumder
,
Kenneth R. Brown
Modular Architecture for Classical Simulation of Quantum Circuits.
QCE
(2022)