关注
Arend-Jan Quist
Arend-Jan Quist
在 umail.leidenuniv.nl 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Optimizing quantum space using spooky pebble games
AJ Quist, A Laarman
International Conference on Reversible Computation, 134-149, 2023
82023
Automated reasoning in quantum circuit compilation
D Thanos, A Villoria, S Brand, AJ Quist, J Mei, T Coopmans, A Laarman
International Symposium on Model Checking Software, 106-134, 2024
72024
Trade-offs between classical and quantum space using spooky pebbling
AJ Quist, A Laarman
arXiv preprint arXiv:2401.10579, 2024
22024
Advancing Quantum Computing with Formal Methods
AJ Quist, J Mei, T Coopmans, A Laarman
International Symposium on Formal Methods, 420-446, 2024
12024
系统目前无法执行此操作,请稍后再试。
文章 1–4