| Quantum secret sharing with classical Bobs L Li, D Qiu, P Mateus Journal of Physics A: Mathematical and Theoretical 46 (4), 045304, 2013 | 131 | 2013 |
| Semiquantum key distribution without invoking the classical party’s measurement capability X Zou, D Qiu, S Zhang, P Mateus Quantum Information Processing 14 (8), 2981-2996, 2015 | 94 | 2015 |
| Weakly complete axiomatization of exogenous quantum propositional logic P Mateus, A Sernadas Information and Computation 204 (5), 771-794, 2006 | 82 | 2006 |
| Reasoning about imperative quantum programs R Chadha, P Mateus, A Sernadas Electronic Notes in Theoretical Computer Science 158, 19-39, 2006 | 77 | 2006 |
| Security of a single-state semi-quantum key distribution protocol W Zhang, D Qiu, P Mateus Quantum Information Processing 17 (6), 135, 2018 | 67 | 2018 |
| Quantum key distribution with quantum walks C Vlachou, W Krawec, P Mateus, N Paunković, A Souto Quantum Information Processing 17 (11), 288, 2018 | 66 | 2018 |
| Composition of cryptographic protocols in a probabilistic polynomial-time process calculus P Mateus, J Mitchell, A Scedrov International Conference on Concurrency Theory, 327-349, 2003 | 66 | 2003 |
| Probabilistic situation calculus P Mateus, A Pacheco, J Pinto, A Sernadas, C Sernadas Annals of Mathematics and Artificial Intelligence 32 (1), 393-431, 2001 | 66 | 2001 |
| Reasoning about probabilistic sequential programs R Chadha, L Cruz-Filipe, P Mateus, A Sernadas Theoretical Computer Science 379 (1-2), 142-165, 2007 | 61 | 2007 |
| Quantum walk public-key cryptographic system C Vlachou, J Rodrigues, P Mateus, N Paunković, A Souto International Journal of Quantum Information 13 (07), 1550050, 2015 | 55 | 2015 |
| Super modules-based active QR codes for smart trackability and IoT: a responsive-banknotes case study JFCB Ramalho, SFH Correia, L Fu, LMS Dias, P Adão, P Mateus, ... npj Flexible Electronics 4 (1), 11, 2020 | 51 | 2020 |
| Distributed quantum algorithm for Simon's problem J Tan, L Xiao, D Qiu, L Luo, P Mateus arXiv preprint arXiv:2204.11388, 2022 | 50 | 2022 |
| Characterizations of one-way general quantum finite automata L Li, D Qiu, X Zou, L Li, L Wu, P Mateus Theoretical Computer Science 419, 73-91, 2012 | 50 | 2012 |
| Quantum computation tree logic—model checking and complete calculus P Baltazar, R Chadha, P Mateus International Journal of Quantum Information 6 (02), 219-236, 2008 | 48 | 2008 |
| Distributed Shor's algorithm L Xiao, D Qiu, L Luo, P Mateus arXiv preprint arXiv:2207.05976, 2022 | 44 | 2022 |
| Exogenous semantics approach to enriching logics P Mateus, A Sernadas, C Sernadas Essays on the Foundations of Mathematics and Logic 1, 165-194, 2005 | 44 | 2005 |
| On the complexity of minimizing probabilistic and quantum automata P Mateus, D Qiu, L Li Information and Computation 218, 36-53, 2012 | 41 | 2012 |
| Reasoning about quantum systems P Mateus, A Sernadas European Workshop on Logics in Artificial Intelligence, 239-251, 2004 | 41 | 2004 |
| Geometry and dynamics of one-norm geometric quantum discord Z Huang, D Qiu, P Mateus Quantum Information Processing 15 (1), 301-326, 2016 | 37 | 2016 |
| State succinctness of two-way finite automata with quantum and classical states S Zheng, D Qiu, J Gruska, L Li, P Mateus Theoretical Computer Science 499, 98-112, 2013 | 37 | 2013 |
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerified email at tecnico.ulisboa.pt
