Describing and Simulating Concurrent Quantum Systems. - Richard Bornat; Jaap Boender; Florian Kammueller; Guillaume Poly; Rajagopal Nagarajan (TACAS (2), 2020)

A contribution to the MMSE conjecture. - Paul Mansanarez; Guillaume Poly; Yvik Swan (CoRR, 2023)

Derivatives of Entropy and the MMSE Conjecture. - Paul Mansanarez; Guillaume Poly; Yvik Swan (IEEE Trans. Inf. Theory, 2024)