Follow
Mário Silva
Title
Cited by
Cited by
Year
A coherence-witnessing game and applications to semi-device-independent quantum key distribution
M Silva, R Faleiro, P Mateus, EZ Cruzeiro
Quantum 7, 1090, 2023
4*2023
A programming language characterizing quantum polynomial time
E Hainry, R Péchoux, M Silva
Foundations of Software Science and Computation Structures: 26th …, 2023
42023
A feasible and unitary programming language with quantum control
A Díaz-Caro, E Hainry, R Péchoux, M Silva
arXiv preprint arXiv:2311.01054, 2023
2023
An imperative programming language characterizing FBQP
E Hainry, R Péchoux, M Silva
QPL 2022-Quantum Physics and Logic, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–4