- 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