Paulo Alexandre Carreira Mateus

Paulo Mateus

Academic position:	Full 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

https://www.orcid.org/0000-0002-2393-8224

SCHOLAR

Scientific Achievements

Degrees

Agregação, Instituto Superior Técnico, 13-11-2006
PhD, Instituto Superior Técnico, 12-01-2001

Affiliations

Instituto Superior Técnico, 01-09-1998, Assistant Professor with Habilitation

Academic Activities

Supervision of theses

12PhD Student

Post-quantum cryptography based on code theory , PhD Student, Pedro de Melo Branco, Expected conclusion 10-2022
Post-quantum multiparty computation, PhD Student, Manuel João Duarte Serejo Goulão, Expected conclusion 05-2021
Entanglement and applications to quantum games, PhD Student, Ricardo André Faleiro Miguel, Expected conclusion 02-2021
Quantum correlations and applications to cryptography, PhD Student, Mariano Hernandez Lemus, Expected conclusion 02-2020
Quantum privacy, PhD Student, Preeti Yadav, Expected conclusion 02-2020
Learning of quantum density operators, PhD Student, Serena Di Giorgio, Expected conclusion 02-2020
Quantum walks in cryptography and finite-temperature topological phase transitions, PhD Student, Chrysoula Vlachou, Defended 09-2018
Quantum Adiabatic Computation, PhD Student, Ricardo Loura, Defended 04-2017
Quantum oblivious transfer, PhD Student, João Paulo do Amaral de Jesus Rodrigues, Defended 03-2017
Formal Reasoning About Temporal Properties in Dynamic Stochastic Systems., PhD Student, David João Barros Henriques, Defended 09-2016
Interplay between Probabilistic and Temporal Reasoning, PhD Student, Manuel Biscaia, Defended 06-2016
Model Checking of Quantum Security Protocols, PhD Student, Pedro Alexandre Cardoso Baltazar, Defended 07-2010

Co-Supervision of theses

1PhD Student

Quantum Oblivious Key Distribution, PhD Student, Mariana Ferreira Ramos, Expected conclusion 12-2021

4MSc Student

Time series analysis using restricted Boltzmann machines and dynamic Bayesian networks, MSc Student, João Henrique Fialho Rodrigues, Concluded 12-2019
Multivariate Correlations for Early Classification, MSc Student, João Pedro Carriço Beirão, Concluded 05-2018
Advances in Probabilistic Graphical Models, MSc Student, Margarida Nunes de Almeida Rodrigues de Sousa, Concluded 12-2017
Model Selection for Clustering of Pharmacokinetic Responses with the Minimum Description Length, MSc Student, Rui Pedro Pimentel de Almeida Guerra, Concluded 11-2017

Publications

2Books

D. Gomes, A. Sernadas, C. Sernadas, J. Rasga, P. Mateus, A Mathematical Primer on Linear Optimization, College Publications, London, 2019,
| BibTex
C. Caleiro, F. Dionísio, M.P.G. Gouveia, P. Mateus, J. Rasga, Logic and Computation -- Essays in Honour of Amilcar Sernadas, College Publications, London, 2017,
| BibTex

16Books Chapters

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

60Papers in Journals

P. Branco, P. Mateus, C. Salema, A. Souto, Using Low-Density Parity-Check codes to improve the McEliece cryptosystem, Information Sciences, Vol. 510, No. -, pp. 243 - 255, February, 2020,
| Abstract | BibTex
M. Lemus, J. Beirão, N. Paunkovic, A. M. Carvalho, P. Mateus, Information-Theoretical Criteria for Characterizing the Earliness of Time-Series Data, Entropy, Vol. 22, No. 1, pp. 49 - 49, December, 2019 | BibTex
S. Du, D. Qiu Qiu, P. Mateus, J. Gruska, Synthesis of quantum images using phase rotation, Quantum Information Processing, Vol. 18, No. 1, pp. 286 - 286, September, 2019 | BibTex
P. Yadav, P. Mateus, N. Paunkovic, A. Souto, Quantum contract signing with entangled pairs., Entropy, Vol. 21, No. 9, pp. 821 - 821, August, 2019 | BibTex
S. Du, D. Qiu Qiu, P. Mateus, J. Gruska, Enhanced double random phase encryption of quantum images, Results in Physics, Vol. 13, No. 1, pp. 102161 - 102161, August, 2019 | BibTex
M. Pan, D. Qiu Qiu, P. Mateus, J. Gruska, Entangling and disentangling in Grover's search algorithm, Theoretical Computer Science, Vol. 773, No. 1, pp. 138 - 138, January, 2019 | 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, International 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, International 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 - Atomic, Molecular, and Optical Physics, 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 - Atomic, Molecular, and Optical Physics, Vol. 91, No. 1, pp. 042306 - 042306, April, 2015,
| Abstract | BibTex
A. Souto, J. Ribeiro, P. Mateus, Quantum blind signature with an offline repository, International 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 Transactions 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 - Atomic, Molecular, and Optical Physics, 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 - Atomic, Molecular, and Optical Physics, 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, International 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, International 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, 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, 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, Theoretical Computer Science, Vol. 164, No. 3, pp. 3 - 25, June, 2006 | BibTex
R. Chadha, P. Mateus, A. Sernadas, Reasoning about quantum imperative programs, 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, International Journal of Uncertainty, Fuzziness and Knowlege-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, Theoretical Computer Science, Vol. 29, No. -, pp. - - -, January, 1999 | BibTex

10Papers in Conferences

N. Paunkovic, M. Lemus, P. Yadav, P. Mateus, A. Souto, On minimal assumptions to obtain a universally composable quantum bit commitment, International Conference of Transparent Optical Network (ICTON), Angers, France, Vol., pp. -, June, 2019 | BibTex
J. L. S. Sobrinho, D. Fialho, P. Mateus, Stabilizing BGP through distributed elimination of recurrent routing loops, IEEE International Conference on Network Protocols ICNP, Toronto, Canada, Vol., pp. -, October, 2017,
| Abstract | BibTex
A. Almeida, R. Loura Loura, P.S André, A. N. Pinto, P. Mateus, N. Paunkovic, Noise and Measurement Errors in a Practical Two-State Quantum Bit Commitment Protocol in Optical Fibers, Conf. on Quantum Cryptography - QCRYPT, Paris, France, Vol. 1, pp. 1 - 3, September, 2014,
| Abstract | BibTex
A. Almeida, R. Loura Loura, N. Paunkovic, N. A. Silva, N. J. Muga, P. Mateus, P.S André, A. N. Pinto, A brief review on quantum bit commitment, International Conf. on Applications of Optics and Photonics - AOP, Aveiro, Portugal, Vol. 1, pp. 1 - 8, May, 2014 | BibTex
Y. Omar, P. Mateus, Quantum Tags for the Authentication of Classical Public Messages, Conf. on Telecommunications - ConfTele, St Maria da Feira, Portugal, Vol. 09, pp. 000 - 003, May, 2009,
| Abstract | BibTex
P. Baltazar, R. Chadha, P. Mateus, A. Sernadas, Towards model-checking quantum security protocols, Workshop on Quantum Security - QSEC, Guadeloupe, French Polynesia, Vol. -, pp. 0014 - -, January, 2007 | BibTex
P. Mateus, F. Moura, J. Rasga, Transferring proofs of zero-knowledge systems with quantum, Workshop on Quantum Security - QSEC, Guadeloupe, France, Vol. -, pp. 0009 - 0014, January, 2007 | BibTex
P. Mateus, A. Sernadas, Exogenous quantum logic, Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 141 - 149, January, 2004 | BibTex
P. Mateus, A. Pacheco, J. Pinto, Observations and the probabilistic situation calculus, International Conf. on Principles of Knowledge Representation and Reasoning - KR, Toulouse, France, Vol. -, pp. 327 - 338, April, 2002 | BibTex
J. Pinto, A. Sernadas, C. Sernadas, P. Mateus, Non-determinism and uncertainty in the Situation Calculus, International Florida AI Research Symp. - FLAIRS, Florida, United States, Vol. -, pp. 454 - 460, January, 1999 | BibTex

Projects

Currently running projects4

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
QuRunner	Development of a quantum random number generator network server	IT	01-02-2020	31-01-2022

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

Other Scientific Achievements

1Awards

P. Mateus, Portuguese IBM Scientific Prize, Análise de sistemas de prova de conhecimento nulo, 01-02-2006

1Miscellaneous

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

14Short Courses and Seminars

P. Mateus, Enhancing privacy with quantum networks, Portugal, Lisbon, 10-2014
P. Mateus, On the complexity of minimizing probabilistic and quantum automata, United States, Pittsburgh, 02-2014
P. Mateus, Emulations of Quantum Turing Machines as Morphisms, Portugal, Coimbra, 01-2014
P. Adão, P. Mateus, A. Souto, A Quantum Digital Signature Scheme, Portugal, Lisboa, 05-2013
P. Mateus, Minimizing probabilistic and quantum automata, United Kingdom, Warwick, 09-2011
D. Qiu Qiu, L. Li, P. Mateus, Quantum finite automata: equivalence and minimization. Pseudo-Hermitian Hamiltonians in Quantum Physics IX,, China, Hangzhou, 06-2010
P. Mateus, How to change I & C with mathematics - First Anual CMU Portugal Conference, Portugal, Porto, 06-2009
P. Adão, P. Mateus, T. Reis, L. Viganò, Towards a Quantitative Analysis of Security Protocols, Austria, Vienna, 04-2006
P. Adão, P. Mateus, A Process Algebra for Reasoning About Quantum Security, United States, Chicago, 06-2005
A. Sernadas, P. Mateus, Exogeneous quantum logic, Portugal, Workshop on Compbination of Logics - Theory and Ap, 07-2004
A. Sernadas, P. Mateus, C. Sernadas, Exogeneous Probabilistic Logic, Portugal, Portuguese Category Seminar 03, Coimbra, 05-2003
A. Sernadas, P. Mateus, C. Sernadas, Combining Probabilistic Automata, Portugal, Segundo Encontro ACL, Figueira da Foz, 06-1998
A. Sernadas, P. Mateus, C. Sernadas, Aggregation and Interconnection of Probabilistic Automata, Portugal, 13th WADT, Lisboa, 04-1998
A. Sernadas, P. Mateus, C. Sernadas, Composição Categorial de Sistemas Estocásticos, Portugal, Encontro ESCOLA-ACL, Coimbra, 01-1998

IT Member Profile