Alejandro David Villoria Gonzalez Promovendus / buiten Naam A.D. Villoria Gonzalez MSc Telefoon 071 5272727 E-mail a.d.villoria.gonzalez@liacs.leidenuniv.nl ORCID iD 0000-0003-0787-2568 Promovendus / buiten LIACS Theory Werkadres Gorlaeus Gebouw Einsteinweg 55 2333 CC Leiden Contact 071 5272727 a.d.villoria.gonzalez@liacs.leidenuniv.nl JavaScript is required to view this content. Dimitrios Thanoas D.T., Volloria Gonzalez A.D., Brand S.O., Quist A., Mei J., Coopmans T.J. & Laarman A.W. (2024), Automated reasoning in quantum circuit compilation. Neele T. & Wijs A. (red.), Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. 30th International Symposium, SPIN 2024 8 april 2024 - 9 april 2024. Lecture Notes in Computer Science nr. 14624. Cham: Springer. 106-134. 'Refereed' congrespublicatie Geen relevante nevenwerkzaamheden Delen op Facebook Delen via Bluesky Delen op LinkedIn Delen via WhatsApp Delen via Mastodon