Creating and sharing knowledge for telecommunications
... Paulo Alexandre Carreira Mateus

Senior Researcher

Paulo Mateus

Academic position: Associate Professor
Joining date: 31-12-2006
Roles in IT: Senior Researcher
Scientific Area: Basic Sciences and Enabling Technologies
Group: Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72

Personal page


Scientific Achievements

  • Agregação, Instituto Superior Técnico, 13-11-2006
  • PhD, Instituto Superior Técnico, 12-01-2001
  • Instituto Superior Técnico, 01-09-1998, Assistant Professor with Habilitation
Supervision of theses
Co-Supervision of theses
  • P. Mateus, P. Branco, A code-based linkable ring signature scheme, Chapter in, ProvSec Selected papers, Springer, Berlin, 2018
  • P. Mateus, N. Paunkovic, J. Rodrigues, A. Souto, Enhancing privacy with quantum networks, Chapter in, Proceedings of CMS 2014, Springer, Berlin, 2014
  • D. Qiu Qiu, L. Li, P. Mateus, Quantum finite automata, Chapter in, Handbook on Finite State based Models and Applications, J. Wang, CRC Press, 2012
  • A. Sernadas, C. Sernadas, J. Rasga, P. Mateus, Non-deterministic combination of connectives, Chapter in, Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, Jean-Yves Béziau and Marcelo Coniglio, College Publications, 2011
  • P. Mateus, J. Ramos, A. Sernadas, C. Sernadas, Temporal logics for reasoning about quantum systems, Chapter in, Semantic Techniques in Quantum Computation, pages 389-413, I. Mackie and S. Gay, Cambridge University Press, 2010
  • R. Chadha, P. Mateus, A. Sernadas, C. Sernadas, Extending classical logic for reasoning about quantum systems, Chapter in, Handbook of Quantum Logic and Quantum Structures: Quantum Logic, pages 325-372, K. Engesser, D. Gabbay and D. Lehmann, Elsevier Science, 2009
  • P. Baltazar, P. Mateus, Temporalization of probabilistic propositional logic, Chapter in, Logic Foundations of Computer Science 2009, volume 5407, Lecture Notes in Computer Science, pages 46-60, S. Artemov and A. Nerode, Springer, 2009
  • A. Sernadas, P. Mateus, Y. Omar, Quantum computation and information, Chapter in, A portrait of state-of-the-Art Research at the Technical University of Lisbon, pages 46-65, M.S. Pereira, Springer, 2007
  • R. Chadha, P. Mateus, A. Sernadas, Reasoning about states of probabilistic sequential programs, Chapter in, Computer Science Logic 2006 (CSL06), volume 4207 of Lecture Notes in Computer Science, pages 240-255, Z. Ésik, Springer, 2006
  • C. Caleiro, P. Mateus, A. Sernadas, C. Sernadas, Quantum institutions, Chapter in, Algebra, Meaning and Computation - Essays Dedicated to Joseph A. Goguen on the Ocassion of his 65th Birthday, volume 4060 of Lecture Notes in Computer Science, pages 50-64, K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, Springer, San Diego, 2006
  • P. Mateus, Y. Omar, A quantum algorithm for closest pattern matching, Chapter in, Quantum Information Processing - From Theory to Experiment, volume 199 of NATO Sciense Series, IIIComputer and Systems Sciences, pages 180-183, D. Angelakis, M. Christandl, A. Ekert, A. Kay and S. Kulik, IOS Press, 2006
  • P. Mateus, A. Sernadas, C. Sernadas, Exogenous semantics approach to enriching logics, Chapter in, Essays on the Foundations of Mathematics and Logic, volume 1, pages 165-194, G. Sica, Polimetrica, 2005
  • P. Mateus, A. Sernadas, Reasoning about quantum systems, Chapter in, Logics in Artificial Intelligence, Ninth European Conference, JELIA'04, volume 3229 of Lecture Notes in Artificial Intelligence, pages 239--251, J. Alferes and J. Leite, Springer, 2004
  • P. Mateus, J. Mitchell, A. Scedrov, Composition of cryptographic protocols in a probabilistic polynomial-time process calculus, Chapter in, CONCUR 2003 - Concurrency Theory, volume 2761 of Lecture Notes in Computer Science, pages 327-349, R. Amadio and D. Lugiez, Springer, 2003
  • C. Caleiro, P. Mateus, J. Ramos, A. Sernadas, Combining logics: Parchments revisited, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2267 of Lecture Notes in Computer Science, pages 48-70, M. Cerioli and G. Reggio, Springer, 2001
  • P. Mateus, A. Sernadas, C. Sernadas, Realization of probabilistic automata: Categorical approach, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1827 of Lecture Notes in Computer Science, pages 237-251, Didier Bert and Christine Choppy, Springer, 2000
  • M. Pan, D. Qiu Qiu, P. Mateus, J. Gruska, Entangling and disentangling in Grover's search algorithm, Theoretical Computer Science, Vol. Available online, No., pp. S0304397518306066 - S0304397518306066, November, 2018 | BibTex
  • R. Guerra, A. M. Carvalho, P. Mateus, Model Selection for Clustering of Pharmacokinetic Responses, Computer Methods and Programs in Biomedicine, Vol. 162, No. 2018, pp. 11 - 18, August, 2018 | BibTex
  • C. V. Vlachou, W. Krawec, P. Mateus, N. Paunkovic, A. Souto, Quantum key distribution with quantum walks, Quantum Information Processing, Vol. 17, No., pp. 288 - 288, August, 2018 | BibTex
  • W. Zhang, D. Qiu Qiu, P. Mateus, Security of a single-state semi-quantum key distribution protocol, Quantum Information Processing, Vol. 17, No. 6, pp. 135 - 135, May, 2018 | BibTex
  • J. Rodrigues, P. Mateus, N. Paunkovic, A. Souto, Oblivious transfer based on single-qubit rotations, Journal of Physics A: Mathematical and Theoretical, Vol. 50, No. 20, pp. 205301 - 205301, April, 2017 | BibTex
  • J. Rasga, C. Sernadas, P. Mateus, A. Sernadas, Decision and optimization problems in the unreliable-circuit logic, Logic Journal of the IGPL, Vol. jzx00, No. 1, pp. 1 - 25, April, 2017 | BibTex
  • X Zhang, D. Qiu Qiu, X Zou Zou, P. Mateus, Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement., Quantum Information Processing, Vol. in print, No. 1, pp. 1 - 1, April, 2017 | BibTex
  • J. Rodrigues, P. Mateus, N. Paunkovic, A simulator for discrete quantum walks on lattices, International Journal of Modern Physics C, Vol. 1, No. 1750055, pp. 1 - 21, March, 2017 | BibTex
  • A. Almeida, A. Stojanovic, N. Paunkovic, R. Loura Loura, N. J. Muga, N. A. Silva, P. Mateus, P.S André, A. N. Pinto, Implementation of a two-state quantum bit commitment protocol in optical fibers, Journal of Optics, Vol. 18, No. 1, pp. 015202 - 015202, January, 2016,
    | Abstract
    | BibTex
  • Z. H. Huang, D. Qiu Qiu, P. Mateus, Geometry and dynamics of one-norm geometric quantum discord, Quantum Information Processing, Vol. 15, No., pp. 301 - 326, January, 2016 | BibTex
  • Haozhen Situ, D. Qiu Qiu, P. Mateus, N. Paunkovic, Secure N-dimensional simultaneous dense coding and applications, Intrnl. Journal of Quantum Information, Vol. 13, No. 6, pp. 155051-1 - 155051-25, December, 2015 | BibTex
  • C. V. Vlachou, P. Mateus, J. Rodrigues, N. Paunkovic, A. Souto, Quantum walk public-key cryptographic system, Intrnl. Journal of Quantum Information, Vol. 13, No. 6, pp. 1550050-1 - 1550050-10, December, 2015 | BibTex
  • P. Mateus, A. Souto, A. Sernadas, Universality of quantum Turing machines with deterministic control, Journal of Logic and Computation, Vol., No., pp. Online -, November, 2015 | BibTex
  • A. Souto, P. Mateus, P. Adão, N. Paunkovic, Reply to “Comment on ‘Bit-string oblivious transfer based on quantum state computational distinguishability’ ”, Physical Review A, Vol. 92, No. 4, pp. 046302 - 046312, October, 2015,
    | Abstract
    | BibTex
  • X Zou Zou, D. Qiu Qiu, S. Zhang Zhang, P. Mateus, Semiquantum key distribution without invoking the classical party’s measurement capability, Quantum Information Processing, Vol. 14, No. 8, pp. 2981 - 2996, August, 2015 | BibTex
  • A. Souto, P. Mateus, P. Adão, N. Paunkovic, Bit-string oblivious transfer based on quantum state computational distinguishability, Physical Review A, Vol. 91, No. 1, pp. 042306 - 042306, April, 2015,
    | Abstract
    | BibTex
  • A. Souto, J. Ribeiro, P. Mateus, Quantum blind signature with an offline repository, Intrnl. Journal of Quantum Information, Vol. 13, No. 2, pp. 1550016-1 - 1550016-21, April, 2015,
    | Abstract
    | BibTex
  • D. Qiu Qiu, L. Li, P. Mateus, A. Sernadas, Exponentially more concise quantum recognition of non-RMM regular languages, Journal of Computer and System Sciences, Vol. 2015, No. 2, pp. 359 - 375, March, 2015 | BibTex
  • A. Souto, A. Sernadas, P. Mateus, Universality of quantum Turing machines with deterministic control, Journal of Logic and Computation, Vol. 1, No. 1, pp. 1 - 1, February, 2015,
    | Abstract
    | BibTex
  • P. Mateus, M. Biscaia, D. Henriques, Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains, ACM Trans. on Computational Logic, Vol. 16, No. 1, pp. 4 - 4, December, 2014 | BibTex
  • A. Sernadas, J. Rasga, C. Sernadas, P. Mateus, Approximate reasoning about logic circuits with single-fan-out unreliable gates, Journal of Logic and Computation, Vol. 24, No. 5, pp. 1023 - 1069, October, 2014 | BibTex
  • P. Adão, P. Mateus, L. Viganò, Protocol Insecurity with a Finite Number of Sessions and a Cost-Sensitive Guessing Intruder is NP-Complete., Theoretical Computer Science, Vol. 538, No. 1, pp. 2 - 15, June, 2014 | BibTex
  • R. Loura Loura, A. Almeida, P.S André, A. N. Pinto, P. Mateus, N. Paunkovic, Noise and measurement errors in a practical two-state quantum bit commitment protocol, Physical Review A, Vol. 89, No. 5, pp. 052336-1 - 052336-15, May, 2014,
    | Abstract
    | BibTex
  • A. M. Carvalho, P. Adão, P. Mateus, Hybrid learning of Bayesian multinets for binary classification, Pattern Recognition, Vol. 47, No. 10, pp. 3438 - 3450, April, 2014 | BibTex
  • D. Qiu Qiu, X. Zou, F You, P. Mateus, Security Problems in the Quantum Signature Scheme with a Weak Arbitrator, Intrnl. Journal of Theoretical Physics, Vol. 53, No. 2, pp. 603 - 611, January, 2014 | BibTex
  • D. Qiu Qiu, X. Zou, P. Mateus, Security Analyses and Improvement of Arbitrated Quantum Signature with an Untrusted Arbitrator, Intrnl. Journal of Theoretical Physics, Vol. 52, No. 9, pp. 3295 - 3305, December, 2013 | BibTex
  • S. Zheng, D. Qiu Qiu, J. Gruska, L. Li, P. Mateus, State succinctness of two-way finite automata with quantum and classical statesState succinctness of two-way finite automata with quantum and classical states, Theoretical Computer Science, Vol. 499, No. 1, pp. 98 - 112, November, 2013 | BibTex
  • A. M. Carvalho, P. Adão, P. Mateus, Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers, Entropy, Vol. 15, No. 7, pp. 2716 - 2735, July, 2013 | BibTex
  • L. Li, D. Qiu Qiu, P. Mateus, Quantum secret sharing with classical Bobs, Journal of Physics A: Mathematical and Theoretical, Vol. 46, No. 1, pp. 045304 - 045304, January, 2013 | BibTex
  • D. Henriques, M. Biscaia, P. Baltazar, P. Mateus, Decidability and complexity for omega-regular properties of stochastic systems, Logic Journal of the IGPL, Vol. 20, No. 6, pp. 1175 - 1201, December, 2012 | BibTex
  • F. Assis, A. Stojanovic, P. Mateus, Y. Omar, Improving classical authentication over a quantum channel, Entropy, Vol. 14, No. 12, pp. 2531 - 2549, December, 2012 | BibTex
  • P. Mateus, V. Vieira, Reducing the factorization of semiprime numbers to integrating highly oscillatory functions, Applied Mathematics Letters, Vol. 25, No. 11, pp. 1970 - 1974, September, 2012 | BibTex
  • P. Mateus, D. Qiu Qiu, L. Li, On the complexity of minimizing probabilistic and quantum automata, Information and Computation, Vol. 218, No. 1, pp. 36 - 53, March, 2012 | BibTex
  • L. Z. Zhou, D. Qiu Qiu, L. Li, L. Wu, P. Mateus, Characterizations of one-way general quantum finite automata, Theoretical Computer Science, Vol. 419, No. 1, pp. 73 - 91, March, 2012 | BibTex
  • N. Paunkovic, J. Bouda, P. Mateus, Fair and Optimistic Quantum Contract Signing, Physical Review A, Vol. 84, No. 6, pp. 062331 - 062331, December, 2011 | BibTex
  • D. Qiu Qiu, L. Li, X. Zou, P. Mateus, J. Gruska, Multi-letter quantum finite automata: Decidability of the equivalence and minimization of states., Acta Informatica, Vol. 48, No. 5-6, pp. 271 - 200, April, 2011 | BibTex
  • J. Nascimento, P. Mateus, Statistical Model for a Quantum Noiseless Subsystem, Optics Communications, Vol. 45, No. 3, pp. 11 - 23, January, 2011 | BibTex
  • J. Bouda, P. Mateus, N. Paunkovic, J. Rasga, On the power of quantum tamper-proof hardware, Intrnl. Journal of Quantum Information, Vol. 6, No. 2, pp. 219 - 236, February, 2008 | BibTex
  • P. Baltazar, R. Chadha, P. Mateus, Quantum computation tree logic - model checking and complete calculus, Intrnl. Journal of Quantum Information, Vol. 6, No. 2, pp. 281 - 302, January, 2008 | BibTex
  • P. Adão, P. Mateus, A process algebra for reasoning about quantum security, Electronic Notes in Theoretical Computer Science, Vol. 170, No., pp. 3 - 21, February, 2007 | BibTex
  • R. Chadha, L. Cruz-Filipe, P. Mateus, A. Sernadas, Reasoning about probabilistic sequential programs, Theoretical Computer Science, Vol. 379, No. 1-2, pp. 142 - 165, February, 2007 | BibTex
  • P. Baltazar, P. Mateus, R. Nagarajan, N. Papanikolaou, Exogenous probabilistic computation tree logic, Electronic Notes in Theoretical Computer Science, Vol. 190, No. 3, pp. 95 - 110, January, 2007 | BibTex
  • P. Adão, P. Mateus, T. Reis, L. Viganò, Towards a quantitative analysis of security protocols, Electronic Notes in Theoretical Computer Science, Vol. 164, No. 3, pp. 3 - 25, June, 2006 | BibTex
  • R. Chadha, P. Mateus, A. Sernadas, Reasoning about quantum imperative programs, Electronic Notes in Theoretical Computer Science, Vol. 158, No. -, pp. 19 - 40, May, 2006 | BibTex
  • P. Mateus, A. Sernadas, Weakly complete axiomatization of exogenous quantum propositional logic, Information and Computation, Vol. 204, No. 5, pp. 771 - 794, April, 2006 | BibTex
  • W. Carnielli, P. Mateus, Selected papers from CombLog'04, Logic Journal of the IGPL, Vol. 13, No. 6, pp. - - -, January, 2005 | BibTex
  • P. Mateus, J. Rasga, C. Sernadas, Modal sequent calculi labelle with truth values: Cut elimination, Logic Journal of the IGPL, Vol. 13, No. 2, pp. 173 - 199, January, 2005 | BibTex
  • C. Hermida, P. Mateus, Paracategories II: Adjunctions, fibrations and examples from probabilistic automata theory, Theoretical Computer Science, Vol. 311, No. -, pp. 71 - 103, January, 2005 | BibTex
  • P. Mateus, A. Sernadas, C. Sernadas, L. Viganò, Modal sequent calculi labelled with truth values: Completeness, duality and analyticity, Logic Journal of the IGPL, Vol. 12, No. 3, pp. 227 - 274, January, 2004 | BibTex
  • C. Hermida, P. Mateus, Paracategories I: Internal paracategories and saturated partial algebras, Theoretical Computer Science, Vol. 309, No., pp. 125 - 156, June, 2003 | BibTex
  • P. Mateus, M. Cabral Morais, C. Nunes, A. Pacheco, A. Sernadas, C. Sernadas, Categorical Foundations for Randomly Timed Automata, Theoretical Computer Science, Vol. 308, No. -, pp. 393 - 427, January, 2003 | BibTex
  • L. Schroeder, P. Mateus, Universal aspects of probabilistic automata, Mathematical Structures in Computer Science, Vol. 12, No. 4, pp. 481 - 512, March, 2002 | BibTex
  • P. Mateus, A. Pacheco, J. Pinto, A. Sernadas, C. Sernadas, Probabilistic situation calculus, Annals of Mathematics and Artificial Intelligence, Vol. 32, No. 1/4, pp. 393 - 431, January, 2001 | BibTex
  • JAP Pinto, A. Sernadas, C. Sernadas, P. Mateus, Non-determinism and uncertainty in the Situation Calculus, Intrnl. Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, Vol. 8, No. 2, pp. 127 - 149, January, 2000 | BibTex
  • P. Mateus, A. Sernadas, C. Sernadas, Precategories for combining probabilistic automata - Early version presented at FIREworks Meeting, Magdeburg, May 15-16, 1998. Presented at CTCS'99, Edinburgh, September 10-12, Electronic Notes in Theoretical Computer Science, Vol. 29, No. -, pp. - - -, January, 1999 | BibTex

Currently running projects3

Acronym Name Funding Agency Start date Ending date
DP-PMI Doctoral Programme in the Physics and Mathematics of Information: Foundations of Future Information Technologies (DP-PMI) FCT 01-01-2014 01-12-2021
PREDICT Personalized therapy for RhEumatic DIseases via machine learning methods FCT 01-01-2019 31-12-2021
QuantumMining Quantum Primitives for Privacy Preserving Data Mining FCT 01-09-2018 31-08-2021

Closed Projects8

Acronym Name Funding Agency Start date Ending date
ComFormCrypt ComFormCrypt - Computational Semantics of Formal Methods in Cryptography FCT/PTDC 01-02-2011 01-07-2014
Confident Confident - Communication Contracts for Distributed Systems Development FCT 01-05-2016 01-05-2019
CV-Quantum Improving Security and Capacity Using Continuous Variables Quantum Communications IT/LA 01-02-2014 01-06-2016
P-Quantum Practical Quantum Communications IT/LA 01-09-2011 01-08-2013
QSec Quantum Security FCT/PTDC 01-11-2007 01-10-2009
QuanLog Logic in Quantum Computation and Information FCT/POCI 01-01-2005 01-12-2007
QuantPrivTel QuantPrivTel: Quantum PrivateTelecommunications FCT/PTDC 01-01-2010 01-06-2013
QuantTel Quantum Secure Telecommunications IT/LA 01-11-2008 01-10-2010
  • P. Mateus, Portuguese IBM Scientific Prize, Análise de sistemas de prova de conhecimento nulo, 01-02-2006
  • N. Paunkovic, J. Bouda, P. Mateus, Quantum Commitments Based on Complementarity - Contract Signing. 9th Central European Quantum Information Processing Workshop 7-10 June 2012, Smolenice, Slovakia, Tutorial, Poster Session, 01-06-2012