Mateus Araújo

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 5

Top Topics

Semidefinite Programming

Constraint Solving

Top Venues

Haifa Verification Conference

Publications

Andrew J. P. Garner, Mateus Araújo
Introducing Moment: A toolkit for semi-definite programming with moment matrices. CoRR (2024)
Mateus Araújo, Marcus Huber, Miguel Navascués, Matej Pivoluska, Armin Tavakoli
Quantum key distribution rates from semidefinite programming. Quantum 7 (2023)
Giulia Rubino, Lee A. Rozema, Francesco Massa, Mateus Araújo, Magdalena Zych, Caslav Brukner, Philip Walther
Experimental entanglement of temporal order. Quantum 6 (2022)
Mateus Araújo, Flavien Hirsch, Marco Túlio Quintino
Bell nonlocality with a single shot. Quantum 4 (2020)
Mateus Araújo, Philippe Allard Guérin, Ämin Baumeler
Quantum computation with indefinite causal structures. CoRR (2017)
Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri
A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution. Haifa Verification Conference (2014)