• M. Biscaia. Interplay between Probabilistic and Temporal Reasoning. PhD thesis, IST, Universidade de Lisboa, 2015. Supervised by P. Mateus.
    Get a preprint: 15-B-PhDthesis.pdf 
  • N. Paunkovic and M. Vojinovic. Gauge protected entanglement between gravity and matter. Classical and Quantum Gravity, 35:185015, 2018.
  • C. Vlachou, W. Krawec, P. Mateus, N. Paunkovic, and A. Souto. Quantum key distribution with quantum walks. Quantum Information Processing, 17:288, 2018.
  • W. Zhang, D. Qiu, and P. Mateus. Security of a single-state semi-quantum key distribution protocol. Quantum Information Processing, 17(6):135, 2018.
  • J. Rodrigues. Quantum Oblivious Transfer. PhD thesis, IST, Universidade de Lisboa, 2017. Supervised by P. Mateus and N. Paunkovic.
    Get a preprint: 15-R-PhDthesis.pdf 
  • W. Zhang, D. Qiu, X. Zou, and P. Mateus. Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement. Quantum Information Processing, 16(6):150, 2017.
  • A. J. Almeida, A. Stojanovic, N. Paunkovic, R. Loura, N. Muga, N. Silva, P. Mateus, P. S. André, and A. Pinto. Implementation of a two-state quantum bit commitment protocol in optical fibers. Journal of Optics, 18(1):015202, 2016.
    Get a preprint: 15-ASPLMSMAP-eqbcp.pdf 
  • C. Caleiro and A. Souto. Cybersecurity and obscurantism (in portuguese). Cyberlaw, 1:71--89, 2016.
    Get a preprint: 16-CS-cyberlaw.pdf 
  • Z. Huang, D. Qiu, and P. Mateus. Geometry and dynamics of one-norm geometric quantum discord. Quantum Information Processing, 15(1):301--326, 2016.
  • R. Loura, D. Arsenovic, N. Paunkovic, D. Popovic, and S. Prvanovic. Security of two-state and four-state practical quantum bit-commitment protocols. Physical Review A, 94:062335, 2016.
    Get a preprint: 16-LAPPP-sectfqbc.pdf 
  • D. Qiu, L. Li, P. Mateus, and A. Sernadas. Exponentially more concise quantum recognition of non-RMM regular languages. Journal of Computer and System Sciences, 81(2):359--375, 2015.
    Get a preprint: 11-QLMS-1QFAC.pdf 
  • J. Ribeiro, A. Souto, and P. Mateus. Quantum blind signature with an offline repository. International Journal of Quantum Information, 13(2):1550016, 2015.
    Get a preprint: 15-RSM-qbsig.pdf 
  • X. Zou, D. Qiu, S. Zhang, and P. Mateus. Semiquantum key distribution without invonking the classical party's measurement capability. Quantum Information Processing, 14(8):2981--2996, 2015.
    Get a preprint: 15-ZQZM-SQKD2.pdf 
  • R. Loura, A. J. Almeida, P. S. André, A. N. Pinto, P. Mateus, and N. Paunkovic. Noise and measurement errors in a practical two-state quantum bit commitment protocol. Physical Review A, 89052336, 2014.
    Get a preprint: 13-LAAPMP-2Sqbcp.pdf 
  • X. Zou, D. Qiu, F. Yu, and P. Mateus. Security problems in the quantum signature scheme with a weak arbitrator. International Journal of Theoretical Physics, 53:603--611, 2014.
    Get a preprint: 13-ZQYM-SecAttackQS.pdf 
  • L. Li, D. Qiu, and P. Mateus. Quantum secret sharing with classical Bobs. Journal of Physics A: Mathematical and Theoretical, 46(4):045304, 2013.
    Get a preprint: 12-LQM-SSCB.pdf 
  • X. Zou, D. Qiu, and P. Mateus. Security analyses and improvement of arbitrated quantum signature with an untrusted arbitrator. International Journal of Theoretical Physics, 52:3295--3305, 2013.
    Get a preprint: 13-ZQM-SAQS.pdf 
  • Y. Long, D. Qiu, and D. Long. Quantum secret sharing of multi-bits by an entalged six-qubit state. Journal of Physics A: Math. Theor, 45(19):195303, 2012.
  • P. Mateus and V. Rocha Vieira. Reducing the factorization of semiprime numbers to integrating highly oscillatory functions. Applied Mathematics Letters, 25(11):1970--1974, 2012.
    Get a preprint: 11-MV-qsec12.pdf 
  • P. Mateus, D. Qiu, and L. Li. On the complexity of minimizing probabilistic and quantum automata. Information and Computation, 218:36--53, 2012.
    Get a preprint: 12-MQL-cminpqa.pdf 
  • J. Tao and D. Qiu. Quantum isometry groups for dihedral group d2(2n+1). Journal of Geometry and Physics, 62:1977--1983, 2012.
  • Y. Long, D. Qiu, and D. Long. An efficient separability criterion for n-partite arbitrarly dimensional quantum states. International Journal of Quantum Information, 9:1101--1112, 2011.
  • J. Nascimento and P. Mateus. Statistical model for a quantum noiseless subsystem. Optics Communications, 284(5):1451--1456, 2011.
    Get a preprint: 10-NM-QEC.pdf 
  • P. Baltazar. Probabilization of Logic Systems. PhD thesis, IST, Universidade Técnica de Lisboa, 2010. Supervised by P. Mateus and C. Sernadas.
    Get a preprint: 10-B-PhDthesis.pdf 
  • P. Mateus, J. Ramos, A. Sernadas, and C. Sernadas. Temporal logics for reasoning about quantum systems. In I. Mackie and S. Gay, editors, Semantic Techniques in Quantum Computation, pages 389--413. Cambridge University Press, 2010.
    Get a preprint: 08-MRSS-qsec11.pdf 
  • D. Qiu. Relation between minimum-error discimination and optimum unambiguous discrimination. Physical Review A, 82(3):032333, 2010.
  • D. Qiu and L. Li. Minimum-error discimination of quantum states: bounds and comparisons. Physical Review A, 81(4):042329, 2010.
  • D. Qiu and X. Zou. Security analysis and improvements of arbitrated quantum signature schemes. Physical Review A, 82(4):042325, 2010.
  • H. Situ and D. Qiu. Simultaneous dense coding. Journal of Physics A: Mathematical and Theoretical, 43(5):0055301, 2010.
  • R. Chadha, P. Mateus, A. Sernadas, and C. Sernadas. Extending classical logic for reasoning about quantum systems. In D. Gabbay K. Engesser and D. Lehmann, editors, Handbook of Quantum Logic and Quantum Structures: Quantum Logic, pages 325--372. Elsevier, 2009.
    Get a preprint: 05-CMSS-quantlog07.pdf 
  • D. Qiu, H. Yi, and W. Jiayan. Practical full and partial separaibiity criteria for multipartite pure staets based on the coefficient matrix method. Journal of Physics A: Mathematical and Theoretical, 42:42306, 2009.
  • P. Baltazar, R. Chadha, and P. Mateus. Quantum computation tree logic -- model checking and complete calculus. International Journal of Quantum Information, 6(2):219--236, 2008.
    Get a preprint: 08-BCM-qsec10.pdf 
  • J. Bouda, P. Mateus, N. Paunkovic, and J. Rasga. On the power of quantum tamper-proof devices. International Journal of Quantum Information, 6(2):281--302, 2008.
    Get a preprint: 08-BMNR-qsec02a.pdf 
  • N. Paunkovic and V. R. Vieira. Macroscopic distinguishability between quantum states defining different phases of matter: Fidelity and the Uhlmann geometric phase. Physical Review E, 77:011129, 2008. ArXiv 0707.4667 [quant-ph].
    Get a preprint: 07-PV-terfid.pdf 
  • N. Paunkovic, P. D. Sacramento, P. Nogueira, V. R. Vieira, and V. K. Dugaev. Fidelity between partial states as signature of quantum phase transitions. Physical Review A, 77:052302, 2008. ArXiv 0708.3494 [quant-ph].
    Get a preprint: 07-PSNVD-parfid.pdf 
  • P. Adão and P. Mateus. A process algebra for reasoning about quantum security. Electronic Notes in Theoretical Computer Science, 170:3--21, 2007. Preliminary version presented at 3rd International Workshop on Quantum Programming Languages, June 30 - July 1, 2005, Chicago, Affiliated Workshop of LICS 2005.
    Get a preprint: 05-AM-quantlog04.pdf 
  • P. Baltazar, R. Chadha, P. Mateus, and A. Sernadas. Towards model-checking quantum security protocols. In P. Dini et al, editor, Proceedings of the First Workshop on Quantum Security: QSec'07, page 0014. IEEE Press, 2007. Joint e-proceedings with Quantum, Nano, and Micro Technologies: ICQNM '07. 6 pages.
    Get a preprint: 06-BCMS-quantlog13s.pdf 
  • F. Ciccarello, M. Palma, M. Zarcone, Y. Omar, and V. Rocha Vieira. Static disorder in a 1d wire with two quantum scattering centers. Laser Physics, 17(6):889--892, 2007.
    Get a preprint: 07-CPZOV-LP.pdf 
  • P. Mateus, F. Moura, and J. Rasga. Transferring proofs of zero-knowledge systems with quantum correlations. In P. Dini et al, editor, Proceedings of the First Workshop on Quantum Security: QSec'07, page 0009. IEEE Press, 2007. Joint e-proceedings with Quantum, Nano, and Micro Technologies: ICQNM '07. 6 pages.
    Get a preprint: 06-MMR-quantlog14s.pdf 
  • A. Sernadas, P. Mateus, and Y. Omar. Quantum computation and information. In M. S. Pereira, editor, A Portrait of State-of-the-Art Research at the Technical University of Lisbon, pages 46--65. Springer, 2007.
    Get a preprint: 06-SMO-quantlog09.pdf 
  • C. Caleiro, P. Mateus, A. Sernadas, and C. Sernadas. Quantum institutions. In K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, editors, Algebra, Meaning, and Computation -- Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, volume 4060 of Lecture Notes in Computer Science, pages 50--64. Springer, 2006.
    Get a preprint: 05-CMSS-quantlog06.pdf 
  • R. Chadha, P. Mateus, and A. Sernadas. Reasoning about quantum imperative programs. Electronic Notes in Theoretical Computer Science, 158:19--40, 2006. Invited talk at the Twenty-second Conference on the Mathematical Foundations of Programming Semantics, May 24-27, 2006, Genova.
    Get a preprint: 06-CMS-quantlog10s.pdf 
  • F. Ciccarello, M. Palma, M. Zarcone, Y. Omar, and V. Rocha Vieira. Entanglement controlled single-electron transmittivity. New Journal of Physics, 8:214, 2006.
    Get a preprint: 06-CPZOV-0603456.pdf 
  • A. T. Costa Jr, S. Bose, and Y. Omar. Entanglement of two impurities through electron scattering. Physical Review Letters, 96(23):230501, 2006.
    Get a preprint: 06-CBO-230501.pdf 
  • P. Mateus and Y. Omar. A quantum algorithm for closest pattern matching. In D. Angelakis, M. Christandl, A. Ekert, A. Kay, and S. Kulik, editors, Quantum Information Processing - From Theory to Experiment, volume 199 of NATO Science Series, III: Computer and Systems Sciences, pages 180--183. IOS Press, 2006. Short version of pmat:yo:05.
    Get a preprint: 05-MO-quantlog05s.pdf 
  • P. Mateus and A. Sernadas. Weakly complete axiomatization of exogenous quantum propositional logic. Information and Computation, 204(5):771--794, 2006. ArXiv math.LO/0503453.
    Get a preprint: 05-MS-quantlog01.pdf 
  • Y. Omar, N. Paunkovic, L. Sheridan, and S. Bose. Quantum walk on a line with two entangled particles. Physical Review A, 74:042304, 2006. ArXiv 0411065 [quant-ph].
    Get a preprint: 04-OPSB-qwalk.pdf 
  • L. Sheridan, N. Paunkovic, Y. Omar, and S. Bose. Discrete time quantum walk on a line with two particles. International Journal of Quantum Information, 4(3):573--583, 2006.
    Get a preprint: 06-SPOB-qwalk2.pdf