On the Power of the PPT Constraint in the Symmetric Extensions Test for Separability. - Miguel Navascués; Masaki Owari; Martin B. Plenio (TCQ, 2009)

Convergent Relaxations of Polynomial Optimization Problems with Noncommuting Variables. - Stefano Pironio; Miguel Navascués; Antonio Acín (SIAM J. Optim., 2010)

A purification postulate for quantum mechanics with indefinite causal order. - Mateus Araújo; Adrien Feix; Miguel Navascués; Caslav Brukner (Quantum, 2017)

Better local hidden variable models for two-qubit Werner states and an upper bound on the Grothendieck constantKG(3). - Flavien Hirsch; Marco Túlio Quintino; Tamás Vértesi; Miguel Navascués; Nicolas Brunner (Quantum, 2017)

Bond dimension witnesses and the structure of homogeneous matrix product states. - Miguel Navascués; Tamás Vértesi (Quantum, 2018)

Quantum Inflation: A General Approach to Quantum Causal Compatibility. - Elie Wolfe; Alejandro Pozas-Kerstjens; Matan Grinberg; Denis Rosset; Antonio Acín; Miguel Navascués (CoRR, 2019)

Disease control as an optimization problem. - Miguel Navascués; Costantino Budroni; Yelena Guryanova (CoRR, 2020)

Translating Uncontrolled Systems in Time. - David Trillo; Benjamin Dive; Miguel Navascués (Quantum, 2020)

Entanglement marginal problems. - Miguel Navascués; Flavio Baccari; Antonio Acín (Quantum, 2021)

Quantum key distribution rates from semidefinite programming. - Mateus Araújo; Marcus Huber; Miguel Navascués; Matej Pivoluska; Armin Tavakoli (Quantum, 2023)

Memory attacks in network nonlocality and self-testing. - Mirjam Weilenmann; Costantino Budroni; Miguel Navascués (Quantum, 2025)