Mateus Araújo

According to our database, Mateus Araújo authored at least 5 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Quantum key distribution rates from semidefinite programming.

Mateus Araújo, Marcus Huber, Miguel Navascués, Matej Pivoluska, Armin Tavakoli

Quantum, May, 2023

2022

Experimental entanglement of temporal order.

Giulia Rubino, Lee A. Rozema, Francesco Massa, Mateus Araújo, Magdalena Zych, Caslav Brukner, Philip Walther

Quantum, 2022

2020

Bell nonlocality with a single shot.

Mateus Araújo, Flavien Hirsch, Marco Túlio Quintino

Quantum, 2020

2017

Quantum computation with indefinite causal structures.

Mateus Araújo, Philippe Allard Guérin, Ämin Baumeler

CoRR, 2017

2014

A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution.

Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri

Proceedings of the Hardware and Software: Verification and Testing, 2014