Dimitrios Thanos PhD candidate Name D. Thanos Telephone +31 71 527 4799 E-mail d.thanos@liacs.leidenuniv.nl ORCID iD null PhD candidate Science Leiden Inst of Advanced Computer Science Work address Gorlaeus Building Einsteinweg 55 2333 CC Leiden Room number BM2.23 Contact +31 71 527 4799 d.thanos@liacs.leidenuniv.nl JavaScript is required to view this content. Thanos D., Coopmans T.J. & Laarman A.W. (2023), Fast equivalence checking of quantum circuits of Clifford gates. André E. & Sun J. (Eds.), Automated Technology for Verification and Analysis. 21st International Symposium, ATVA 2023 24 October 2023 - 27 October 2023. Lecture Notes in Computer Science no. 14216. Cham: Springer. 199-216. 'Refereed' congrespublicatie No relevant ancillary activities Share on Facebook Share on X Share on LinkedIn Share by WhatsApp Share by Mastodon