Publications

Export 7 results:
Filters: Author is Mateus, Paulo  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
W
Souto, A., L. Antunes, P. Mateus, and A. Teixeira, "Witness hiding without extractors or simulators", Conference on Computability in Europe: Springer, pp. 397–409, 2018.
U
Mateus, P., A. Sernadas, and A. Souto, "Universality of quantum Turing machines with deterministic control", Journal of Logic and Computation, vol. 27, no. 1: Oxford University Press, pp. 1–19, 2017.
R
Chadha, R., L. Cruz-Filipe, P. Mateus, and A. Sernadas, "Reasoning about probabilistic sequential programs", Theoretical Computer Science, vol. 379, no. 1: Elsevier, pp. 142–165, 2007.
Q
Mateus, P., D. Qiu, and A. Souto, "Quantum machines with classical control", arXiv preprint arXiv:1709.01387, 2017.
Vlachou, C., W. Krawec, P. Mateus, N. Paunkovic, and A. Souto, "Quantum key distribution with quantum walks", arXiv preprint arXiv:1710.07979, 2017.
Vlachou, C., W. Krawec, P. Mateus, N. Paunkovic, and A. Souto, "Quantum key distribution with quantum walks", Quantum Information Processing, vol. 17, no. 11: Springer, pp. 288, 2018.
O
Rodrigues, J., P. Mateus, N. Paunkovic, and A. Souto, "Oblivious transfer based on single-qubit rotations", Journal of Physics A: Mathematical and Theoretical, vol. 50, no. 20: IOP Publishing, pp. 205301, 2017.