Skip to main content

Publications

Chapters

Lin, Y, Guan, J, Fang, W, Ying, M & Su, Z 2025, 'A obustness fication Tool for  uantum Machine Learning Models' in Lecture Notes in Computer Science, Springer Nature Switzerland, pp. 403-421.
View/Download from: Publisher's site
View description>>

Journal articles

Berta, M, Lami, L & Tomamichel, M 2025, 'Continuity of Entropies via Integral Representations', IEEE Transactions on Information Theory, vol. 71, no. 3, pp. 1896-1908.
View/Download from: Publisher's site

Cervero-Martí­n, E & Tomamichel, M 2025, 'Device independent security of quantum key distribution from monogamy-of-entanglement games', Quantum, vol. 9, pp. 1652-1652.
View/Download from: Publisher's site
View description>>

Huang, Q, Zhou, L, Fang, W, Zhao, M & Ying, M 2025, 'Efficient Formal Verification of Quantum Error Correcting Programs', Proceedings of the ACM on Programming Languages, vol. 9, no. PLDI, pp. 1068-1093.
View/Download from: Publisher's site
View description>>

Huang, Y, Gao, D, Ying, S & Li, S 2025, 'DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, pp. 1-1.
View/Download from: Publisher's site

Le, TP 2025, 'The limits of quantum correlations', Nature Physics, vol. 21, no. 4, pp. 501-502.
View/Download from: Publisher's site

Li, S, Zhou, X & Feng, Y 2025, 'Benchmarking Quantum Circuit Transformation With QKNOB Circuits', IEEE Transactions on Quantum Engineering, vol. 6, pp. 1-15.
View/Download from: Publisher's site

Mann, RL, Elman, SJ, Wood, DR & Chapman, A 2025, 'A graph-theoretic framework for free-parafermion solvability', Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 481, no. 2312.
View/Download from: Publisher's site
View description>>

Mohanty, N, Behera, BK, Ferrie, C & Dash, P 2025, 'A quantum approach to synthetic minority oversampling technique (SMOTE)', Quantum Machine Intelligence, vol. 7, no. 1.
View/Download from: Publisher's site
View description>>

Morales, MES, Costa, PCS, Pantaleoni, G, Burgarth, DK, Sanders, YR & Berry, DW 2025, 'Selection and Improvement of Product Formulae for Best Performance of Quantum Simulation', Quantum Information & Computation, vol. 25, no. 1, pp. 1-35.
View/Download from: Publisher's site
View description>>

Verhagen, F, Tomamichel, M & Haapasalo, E 2025, 'Matrix Majorization in Large Samples with Varying Support Restrictions', IEEE Transactions on Information Theory, pp. 1-1.
View/Download from: Publisher's site

Zhang, K, Li, R & Ying, M 2025, 'A Divide-And-Conquer Pebbling Strategy for Oracle Synthesis in Quantum Computing', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, pp. 1-1.
View/Download from: Publisher's site

Zhang, Z & Ying, M 2025, 'Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs', Proceedings of the ACM on Programming Languages, vol. 9, no. PLDI, pp. 822-847.
View/Download from: Publisher's site
View description>>

Conferences

Lin, Y, Guan, J, Fang, W, Ying, M & Su, Z 1970, 'VeriQR: A Robustness Verification Tool for Quantum Machine Learning Models', Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 403-421.
View/Download from: Publisher's site
View description>>

Other

Beigi, S, Hirche, C & Tomamichel, M 2025, 'Some properties and applications of the new quantum $f$-divergences'.

George, I & Tomamichel, M 2025, 'A Unified Approach to Quantum Contraction and Correlation Coefficients'.

Girardi, F, Oufkir, A, Regula, B, Tomamichel, M, Berta, M & Lami, L 2025, 'Quantum umlaut information'.

Girardi, F, Oufkir, A, Regula, B, Tomamichel, M, Berta, M & Lami, L 2025, 'Umlaut information'.

Seyfried, J, Sen, S & Tomamichel, M 2025, 'Testing (Conditional) Mutual Information'.

Weng, C-X, Qin, M, Hu, Y & Tomamichel, M 2025, 'A tight consecutive measurement theorem and its applications'.