Academic position:
Associate Professor
Joining date:
31-12-2006
Role in IT: Researcher Scientific Area: Networks and Multimedia
Group: Security and Quantum Information –Lx
Degrees
- Agregação, Instituto Superior Técnico, 13-11-2006 - PhD, Instituto Superior Técnico, 12-01-2001
Affiliations
- Instituto Superior Técnico, Professor, 01-09-1998
- Quantum Adiabatic Computation, PhD, Ricardo Loura, 1-2015, Instituto Superior Técnico
- Quantum Walks, PhD, João Rodrigues, 1-2015, Instituto Superior Técnico
- Model-checking for security, PhD, David Henriques, 1-2014, Instituto Superior Técnico
- Probabilistic Model-checking, PhD, Manuel Biscaia, 1-2014, Instituto Superior Técnico
- Model Checking of Quantum Security Protocols, PhD, Pedro Alexandre Cardoso Baltazar , 7-2009, Instituto Superior Técnico
- Formal Methods for the Analysis of Security Protocols, PhD, Pedro Miguel dos Santos Alves Madeira Adão , 12-2006, Instituto Superior Técnico
Publications
Book Chapters [14]
- Qiu, D. Qiu; L. Li; Mateus, P.; "Quantum finite automata" - Chapter in Handbook on Finite State based Models and Applications, J. Wang, CRC Press, ,
2012.
- Sernadas, A.; Sernadas, C.; Rasga, J.; Mateus, P.; "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.
- Mateus, P.; Ramos, J.; Sernadas, A.; Sernadas, C.; "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; Mateus, P.; Sernadas, A.; Sernadas, C.; "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.
- Baltazar, P.; Mateus, P.; "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.
- Sernadas, A.; Mateus, P.; Omar, Y.; "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.
- Mateus, P.; Omar, Y.; "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.
- Caleiro, C.; Mateus, P.; Sernadas, A.; Sernadas, C.; "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.
- R. Chadha; Mateus, P.; Sernadas, A.; "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.
- Mateus, P.; Sernadas, A.; Sernadas, C.; "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.
- Mateus, P.; Sernadas, A.; "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.
- Mateus, P.; 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.
- Caleiro, C.; Mateus, P.; Ramos, J.; Sernadas, A.; "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.
- Mateus, P.; Sernadas, A.; Sernadas, C.; "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.
Papers in Journals [27]
- L. Li; Qiu, D. Qiu; Mateus, P.; "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; Baltazar, P.; Mateus, P.; "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; Mateus, P.; Omar, Y.; "Improving classical authentication over a quantum channel", Entropy , Vol. 14, No. 12, pp. 2531 - 2549, December, 2012.
| BibTex
- Mateus, P.; 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
- L. Z. Zhou; Qiu, D. Qiu; L. Li; L. Wu; Mateus, P.; "Characterizations of one-way general quantum finite automata", Theoretical Computer Science, Vol. 419, No. 1, pp. 73 - 91, March, 2012.
| BibTex
- Mateus, P.; Qiu, D. 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
- Paunkovic, N.; J. Bouda; Mateus, P.; "Fair and Optimistic Quantum Contract Signing", Physical Review A, Vol. 84, No. 6, pp. 062331 - 062331, December, 2011.
| BibTex
- Qiu, D. Qiu; L. Li; X. Zou; Mateus, P.; 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; Mateus, P.; "Statistical Model for a Quantum Noiseless Subsystem", Optics Communications, Vol. 45, No. 3, pp. 11 - 23, January, 2011.
| BibTex
- J. Bouda; Mateus, P.; Paunkovic, N.; Rasga, J.; "On the power of quantum tamper-proof hardware", Intrnl. Journal of Quantum Information, Vol. 6, No. 2, pp. 219 - 236, February, 2008.
| BibTex
- Baltazar, P.; R. Chadha; Mateus, P.; "Quantum computation tree logic - model checking and complete calculus", Intrnl. Journal of Quantum Information, Vol. 6, No. 2, pp. 281 - 302, January, 2008.
| BibTex
- Adão, P.; Mateus, P.; "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; Mateus, P.; Sernadas, A.; "Reasoning about probabilistic sequential programs", Theoretical Computer Science, Vol. 379, No. 1-2, pp. 142 - 165, February, 2007.
| BibTex
- Baltazar, P.; Mateus, P.; 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
- Adão, P.; Mateus, P.; 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; Mateus, P.; Sernadas, A.; "Reasoning about quantum imperative programs", Electronic Notes in Theoretical Computer Science, Vol. 158, No. -, pp. 19 - 40, May, 2006.
| BibTex
- Mateus, P.; Sernadas, A.; "Weakly complete axiomatization of exogenous quantum propositional logic", Information and Computation, Vol. 204, No. 5, pp. 771 - 794, April, 2006.
| BibTex
- Mateus, P.; Rasga, J.; Sernadas, C.; "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; Mateus, P.; "Paracategories II: Adjunctions, fibrations and examples from probabilistic automata theory", Theoretical Computer Science, Vol. 311, No. -, pp. 71 - 103, January, 2005.
| BibTex
- W. Carnielli ; Mateus, P.; "Selected papers from CombLog'04", Logic Journal of the IGPL, Vol. 13, No. 6, pp. - - -, January, 2005.
| BibTex
- Mateus, P.; Sernadas, A.; Sernadas, C.; 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; Mateus, P.; "Paracategories I: Internal paracategories and saturated partial algebras", Theoretical Computer Science, Vol. 309, No. , pp. 125 - 156, June, 2003.
| BibTex
- Mateus, P.; M. Cabral Morais; C. Nunes; A. Pacheco; Sernadas, A.; Sernadas, C.; "Categorical Foundations for Randomly Timed Automata", Theoretical Computer Science, Vol. 308, No. -, pp. 393 - 427, January, 2003.
| BibTex
- L. Schroeder; Mateus, P.; "Universal aspects of probabilistic automata", Mathematical Structures in Computer Science, Vol. 12, No. 4, pp. 481 - 512, March, 2002.
| BibTex
- Mateus, P.; A. Pacheco; J. Pinto; Sernadas, A.; Sernadas, C.; "Probabilistic situation calculus", Annals of Mathematics and Artificial Intelligence, Vol. 32, No. 1/4, pp. 393 - 431, January, 2001.
| BibTex
- JAP Pinto; Sernadas, A.; Sernadas, C.; Mateus, P.; "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
- Mateus, P.; Sernadas, A.; Sernadas, C.; "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
Papers in Conference Proceedings [6]
- Omar, Y.; Mateus, P.; "Quantum Tags for the Authentication of Classical Public Messages", Proc Conf. on Telecommunications - ConfTele, St Maria da Feira, Portugal, Vol. 09, pp. 000 - 003, May, 2009.
Abstract
| BibTex
- Baltazar, P.; R. Chadha; Mateus, P.; Sernadas, A.; "Towards model-checking quantum security protocols", Proc Workshop on Quantum Security - QSEC, Guadeloupe, French Polynesia, Vol. -, pp. 0014 - -, January, 2007.
| BibTex
- Mateus, P.; F.M. Moura; Rasga, J.; "Transferring proofs of zero-knowledge systems with quantum", Proc Workshop on Quantum Security - QSEC, Guadeloupe, France, Vol. -, pp. 0009 - 0014, January, 2007.
| BibTex
- Mateus, P.; Sernadas, A.; "Exogenous quantum logic", Proc Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 141 - 149, January, 2004.
| BibTex
- Mateus, P.; A. Pacheco; J. Pinto; "Observations and the probabilistic situation calculus", Proc Eighth International Conf. on Principles of Knowledge Representation and Reasoning - KR2002, Toulouse, France, Vol. -, pp. 327 - 338, April, 2002.
| BibTex
- J. Pinto; Sernadas, A.; Sernadas, C.; Mateus, P.; "Non-determinism and uncertainty in the Situation Calculus", Proc International Florida AI Research Symp. - FLAIRS, Florida, United States, Vol. -, pp. 454 - 460, January, 1999.
| BibTex
- Mateus, P.;
"Portuguese IBM Scientific Prize", Análise de sistemas de prova de conhecimento nulo, 01-02-2006.
Short Courses And Seminars
- Mateus, P.;
"
Minimizing probabilistic and quantum automata
",
United Kingdom
",
Warwick
",
9-2011
. Abstract
- Qiu, D. Qiu; L. Li; Mateus, P.;
"
Quantum finite automata: equivalence and minimization. Pseudo-Hermitian Hamiltonians in Quantum Physics IX,
",
China
",
Hangzhou
",
6-2010
.
- Mateus, P.;
"
How to change I & C with mathematics - First Anual CMU Portugal Conference
",
Portugal
",
Porto
",
6-2009
.
- Adão, P.; Mateus, P.; T. Reis; L. Viganò;
"
Towards a Quantitative Analysis of Security Protocols
",
Austria
",
Vienna
",
4-2006
.
Full text (PDF 162KB)
- Adão, P.; Mateus, P.;
"
A Process Algebra for Reasoning About Quantum Security
",
United States
",
Chicago
",
6-2005
. Abstract | Full text (PDF 193KB)
- Sernadas, A.; Mateus, P.;
"
Exogeneous quantum logic
",
Portugal
",
Workshop on Compbination of Logics - Theory and Ap
",
7-2004
.
