Прати
Alejandro Villoria Gonzalez
Alejandro Villoria Gonzalez
PhD candidate, Leiden University
Верификована је имејл адреса на liacs.leidenuniv.nl
Наслов
Навело
Навело
Година
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
62024
Enriching diagrams with algebraic operations
A Villoria, H Basold, A Laarman
International Conference on Foundations of Software Science and Computation …, 2024
22024
Систем тренутно не може да изврши ову радњу. Пробајте поново касније.
Чланци 1–2