Dimitrios Dimitrios Thanos
PhD candidate
- Name
- D.T. Dimitrios Thanos
- Telephone
- 071 5274799
- d.thanos@liacs.leidenuniv.nl
- ORCID iD
- 0000-0002-0719-1036
PhD candidate
- Faculty of Science
- LIACS
- LIACS Research
Guest appointment
- Faculty of Science
- LIACS
- LIACS Research
- 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. (Eds.), 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 no. 14624. Cham: Springer. 106-134.
- 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.