- 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
- M. Pan, D. Qiu, P. Mateus, and
J. Gruska.
Entangling
and disentangling in the Grover's search algorithm.
Theoretical Computer Science, 773:138--152, 2019.
- 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
- 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
- J. Rasga, A. Sernadas, and C. Sernadas.
Fibring as biporting subsumes asymmetric combinations.
Studia Logica, 102(5):1041--1071, 2014.
Get a preprint: 13-RSS-gtf07b.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
- J. Rasga, A. Sernadas, and C. Sernadas.
Importing logics: Soundness and completeness preservation.
Studia Logica, 101(1):117--155, 2013.
Get a preprint: 11-RSS-gtf07c.pdf
- C. Sernadas, J. Rasga, and A. Sernadas.
Preservation of Craig interpolation by the product of matrix logics.
Journal of Applied Logic, 11(3):328--349, 2013.
Get a
preprint: 12-SRS-pcl02.pdf
- S. Zheng, D. Qiu, J. Gruska, L. Li,
and P. Mateus.
State succinctness of two-way finite automata with quantum and classical
states.
Theoretical Computer Science, 499:98--112, 2013.
Get a
preprint: 13-ZQGLM-ss2QFA.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
- L. Li, D. Qiu, X. Zou,
L. Lvjun, L. Wu, and P. Mateus.
Characterizations of one-way general quantum finite automata.
Theoretical Computer Science, 419:73--91, 2012.
Get a
preprint: 12-LQZLWM-qfamix.pdf
- 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
- D. Qiu, L. Li, P. Mateus, and J. Gruska.
Quantum finite automata.
In J. Wang, editor, Handbook on Finite State based Models and
Applications, pages 113--144. Chapman & Hall, 2012.
- J. Rasga, A. Sernadas, and C. Sernadas.
Importing logics.
Studia Logica, 100(3):545--581, 2012.
Get a preprint: 10-RSS-gtf07a.pdf
- A. Sernadas, C. Sernadas, and J. Rasga.
On
meet-combination of logics.
Journal of Logic and Computation, 22(6):1453--1470, 2012.
Get a
preprint: 11-SSR-pcl01.pdf
- M. Coniglio, A. Sernadas, and
C. Sernadas.
Preservation by fibring of the finite model property.
Journal of Logic and Computation, 21(2):375--402, 2011.
Get a
preprint: 10-CSS-gtf05.pdf
- 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
- N. Paunkovic, J. Bouda, and
P. Mateus.
Fair and optimistic quantum contract signing.
Physical Review A, 84(6):062331, 2011.
Get a preprint: 10-PBM-qsec02b.pdf
- D. Qiu, L. Li, X. Zou, P. Mateus,
and J. Gruska.
Multi-letter quantum finite automata: Decidability of the equivalence and
minimization of states.
Acta Informatica, 48(5-6):271--290, 2011.
Get a preprint: 11-QLZMG-qsec08c.pdf
- P. D. Sacramento, N. Paunkovic, and
V. R. Vieira.
Fidelity spectrum and phase transition of quantum systems.
Physical Review A, 84(6):062318, 2011.
- A. Sernadas, C. Sernadas, and J. Rasga.
On combined
connectives.
Logica Universalis, 5(2):205--224, 2011.
Get a preprint: 11-SSR-pcl00.pdf
- A. Sernadas, C. Sernadas, J. Rasga, and
P. Mateus.
Non-deterministic combination of connectives.
In Jean-Yves Béziau and Marcelo Coniglio, editors, Logic without
Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his
60th Birthday, volume 17 of Tribute Series, pages 321--338. College
Publications, London, 2011.
Get a preprint: 11-SSRM-pcl03.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.
- J. Rasga, K. Roggia, and C. Sernadas.
Fusion of sequent modal logic systems labelled with truth values.
Logic Journal of the IGPL, 18(6):893--920, 2010.
Get a
preprint: 10-RRS-gtf04.pdf
- H. Situ and D. Qiu.
Simultaneous dense coding.
Journal of Physics A: Mathematical and Theoretical, 43(5):0055301,
2010.
- P. Adão, G. Bana, J. Herzog, and
A. Scedrov.
Soundness and completeness of formal encryption: the cases of key-cycles and
partial information leakage.
Journal of Computer Security, 17(5):737--797, 2009.
Get a
preprint: 05-ABHS-encryption-cycles.ps
05-ABHS-encryption-cycles.pdf
- P. Baltazar and P. Mateus.
Temporalization of probabilistic propositional logic.
In S. Artemov and A. Nerode, editors, Logic Foundations of Computer Science
2009, volume 5407 of Lecture Notes in Computer Science, pages
46--60. Springer, 2009.
Get a preprint: 08-BM-qsec09s.pdf
- W. Carnielli, J. Rasga, and
C. Sernadas.
Interpolation via translations.
Mathematical Logic Quarterly, 55(5):515--534, 2009.
Get a
preprint: 08-CRS-interpviatranslations.pdf
- 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
- P. Mateus and S. Vaudenay.
On tamper-resistance from a theoretical point of view - the power of seals.
In C. Clavier and K. Gaj, editors, Cryptographic Hardware and Embedded
Systems (CHES'09), volume 5747 of Lecture Notes in Computer
Science, pages 411--428. Springer, 2009.
Get a preprint: 07-MV-qsec05.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.
- A. Sernadas, C. Sernadas, J. Rasga,
and M. Coniglio.
A graph-theoretic account of logics.
Journal of Logic and Computation, 19:1281--1320, 2009.
Get a
preprint: 08-SSRC-gtf01.pdf
- A. Sernadas, C. Sernadas, J. Rasga,
and M. Coniglio.
On graph-theoretic fibring of logics.
Journal of Logic and Computation, 19:1321--1357, 2009.
Get a
preprint: 08-SSRC-gtf02.pdf
- 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
- L. Cruz-Filipe, J. Rasga, A. Sernadas, and
C. Sernadas.
A complete axiomatization of discrete-measure almost-everywhere quantification.
Journal of Logic and Computation, 18(6):885--911, 2008.
Get a
preprint: 06-CRSS-folae.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. 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
- P. Baltazar, P. Mateus, R. Nagarajan,
and N. Papanikolaou.
Exogenous probabilistic computation tree logic.
Electronic Notes in Theoretical Computer Science, 190(3):95--110,
2007.
Get a preprint: 07-BMNP-quantlog15s.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
- I. Patino.
A proof theory of interpolation.
Master's thesis, Universidade Nova de Lisboa / Technische Universität Wien,
2007.
Supervised by J. Rasga.
- J. Rasga.
Sufficient conditions for cut elimination with complexity analysis.
Annals of Pure and Applied Logic, 149(1-3):81--99, 2007.
Get a
preprint: 06-R-cut.pdf
- P. Adão, C. Fournet, and N. Guts.
High-level programming for e-cash.
Technical report, SQIG - IT and IST - TU Lisbon, 1049-001 Lisboa, Portugal,
2009.
Extended abstract. Presented at the Computational and Symbolic Proofs of
Security Workshop. April 6--9, Izu-Atagawa, Japan.
Get a preprint:
09-AFG-e-cash.pdf
- A. Sernadas, J. Ramos, and P. Mateus.
Linear algebra techniques for deciding the correctness of probabilistic
programs with bounded resources.
Technical report, SQIG - IT and IST - TU Lisbon, 1049-001 Lisboa, Portugal,
2008.
Short paper presented at LPAR 2008, Doha, Qatar. November 22-27.
Get a
preprint: 08-SRM-lap01tiny.pdf
- W. Carnielli, J. Rasga, and C. Sernadas.
Appendix on Interpolation via translations: proofs as expected.
Technical report, SQIG - IT and IST - TU Lisbon, 1049-001 Lisboa, Portugal,
2008.
Appendix to the paper wcarnielli:jfr:css:08 with the full details of the
proofs that are just sketched or not proved at all in that paper in order to
simplify the presentation since they follow in an expected way.
Get a
preprint: 08-CRS-it-appendix.pdf