• 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