Nondeterminism and Uncertainty in the Situation Calculus. - Javier Pinto; Amílcar Sernadas; Cristina Sernadas; Paulo Mateus (FLAIRS, 1999)

Realization of Probabilistic Automata: Categorial Approach. - Paulo Mateus; Amílcar Sernadas; Cristina Sernadas (WADT, 1999)

Precategories for combining probabilistic automata. - Paulo Mateus; Amílcar Sernadas; Cristina Sernadas (CTCS, 1999)

Non-Determinism and Uncertainty in the Situation Calculus. - Javier Pinto; Amílcar Sernadas; Cristina Sernadas; Paulo Mateus (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2000)

Combining Logics: Parchments Revisited. - Carlos Caleiro; Paulo Mateus; Jaime Ramos; Amílcar Sernadas (WADT, 2001)

Probabilistic Situation Calculus. - Paulo Mateus; António Pacheco 001; Javier Pinto; Amílcar Sernadas; Cristina Sernadas (Ann. Math. Artif. Intell., 2001)

Observations and the Probabilistic Situation Calculus. - Paulo Mateus; António Pacheco 001; Javier Pinto (KR, 2002)

Universal Aspects of Probabilistic Automata. - Lutz Schröder; Paulo Mateus (Math. Struct. Comput. Sci., 2002)

Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. - Paulo Mateus; John C. Mitchell; Andre Scedrov (CONCUR, 2003)

Paracategories I: internal paracategories and saturated partial algebras. - Claudio Hermida; Paulo Mateus (Theor. Comput. Sci., 2003)

Categorical foundations for randomly timed automata. - Paulo Mateus; Manuel Cabral Morais; Cláudia Nunes; António Pacheco 001; Amílcar Sernadas; Cristina Sernadas (Theor. Comput. Sci., 2003)

Reasoning About Quantum Systems. - Paulo Mateus; Amílcar Sernadas (JELIA, 2004)

Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. - Paulo Mateus; Amílcar Sernadas; Cristina Sernadas; Luca Viganò 001 (Log. J. IGPL, 2004)

Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory. - Claudio Hermida; Paulo Mateus (Theor. Comput. Sci., 2004)

A Process Algebra for Reasoning About Quantum Security. - Pedro Adão; Paulo Mateus (QPL, 2005)

Editorial. - Walter Alexandre Carnielli; Paulo Mateus (Log. J. IGPL, 2005)

Modal Sequent Calculi Labelled with Truth Values: Cut Elimination. - Paulo Mateus; João Rasga; Cristina Sernadas (Log. J. IGPL, 2005)

Quantum Institutions. - Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas (Essays Dedicated to Joseph A. Goguen, 2006)

Reasoning About States of Probabilistic Sequential Programs. - Rohit Chadha; Paulo Mateus; Amílcar Sernadas (CSL, 2006)

Towards a Quantitative Analysis of Security Protocols. - Pedro Adão; Paulo Mateus; Tiago Reis; Luca Viganò 001 (QAPL, 2006)

Reasoning About Imperative Quantum Programs. - Rohit Chadha; Paulo Mateus; Amílcar Sernadas (MFPS, 2006)

Weakly complete axiomatization of exogenous quantum propositional logic. - Paulo Mateus; Amílcar Sernadas (Inf. Comput., 2006)

Towards Model-Checking Quantum Security Protocols. - Pedro Baltazar; Rohit Chadha; Paulo Mateus; Amílcar Sernadas (ICQNM, 2007)

Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations. - Paulo Mateus; Filipe Moura; João Rasga (ICQNM, 2007)

Exogenous Probabilistic Computation Tree Logic. - Pedro Baltazar; Paulo Mateus; Rajagopal Nagarajan; Nikolaos Papanikolaou 001 (QAPL, 2007)

Reasoning about probabilistic sequential programs. - Rohit Chadha; Luís Cruz-Filipe; Paulo Mateus; Amílcar Sernadas (Theor. Comput. Sci., 2007)

Quantum Authentication of Classical Messages with Perfect Security - Francisco Marcos de Assis; Paulo Mateus; Yasser Omar (CoRR, 2008)

On Tamper-Resistance from a Theoretical Viewpoint. - Paulo Mateus; Serge Vaudenay (CHES, 2009)

Temporalization of Probabilistic Propositional Logic. - Pedro Baltazar; Paulo Mateus (LFCS, 2009)

One-way quantum finite automata together with classical states - Daowen Qiu; Paulo Mateus; Xiangfu Zou; Amílcar Sernadas (CoRR, 2009)

On Privacy Losses in the Trusted Agent Model (Abstract). - Paulo Mateus; Serge Vaudenay (IACR Cryptol. ePrint Arch., 2009)

Multi-letter quantum finite automata: decidability of the equivalence and minimization of states. - Daowen Qiu; Lvzhou Li; Xiangfu Zou; Paulo Mateus; Jozef Gruska (Acta Informatica, 2011)

Reducing factorization of a semiprime number to the integration of highly oscillatory functions. - Paulo Mateus; V. R. Vieira (Appl. Math. Lett., 2012)

Improving Classical Authentication over a Quantum Channel. - Francisco Marcos de Assis; Aleksandar Stojanovic 001; Paulo Mateus; Yasser Omar (Entropy, 2012)

On the complexity of minimizing probabilistic and quantum automata. - Paulo Mateus; Daowen Qiu; Lvzhou Li (Inf. Comput., 2012)

Decidability and complexity for ω-regular properties of stochastic systems. - David Henriques; Manuel Biscaia; Pedro Baltazar; Paulo Mateus (Log. J. IGPL, 2012)

Characterizations of one-way general quantum finite automata. - Lvzhou Li; Daowen Qiu; Xiangfu Zou; Lv-Jun Li; Lihua Wu; Paulo Mateus (Theor. Comput. Sci., 2012)

Quantum Finite Automata. - Daowen Qiu; Lvzhou Li; Paulo Mateus; Jozef Gruska (Handbook of Finite State Based Models and Applications, 2012)

A Temporal Logic for Planning under Uncertainty. - Manuel Biscaia; Pedro Baltazar; Paulo Mateus; Rajagopal Nagarajan (FLAIRS, 2013)

Quantum Communications [Guest Editorial]. - Sándor Imre; Paulo Mateus; Peter Nagy; Anton Zavriyev (IEEE Commun. Mag., 2013)

Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers. - Alexandra M. Carvalho; Pedro Adão; Paulo Mateus (Entropy, 2013)

State succinctness of two-way finite automata with quantum and classical states. - Shenggen Zheng; Daowen Qiu; Jozef Gruska; Lvzhou Li; Paulo Mateus (Theor. Comput. Sci., 2013)

Enhancing Privacy with Quantum Networks. - Paulo Mateus; Nikola Paunkovic; João Rodrigues; André Souto (Communications and Multimedia Security, 2014)

Oblivious transfer based on single-qubit rotations. - João Rodrigues; Paulo Mateus; Nikola Paunkovic; André Souto (CoRR, 2014)

Oblivious transfer based on quantum state computational distinguishability. - André Souto; Paulo Mateus; Pedro Adão; Nikola Paunkovic (CoRR, 2014)

Approximate reasoning about logic circuits with single-fan-out unreliable gates. - Amílcar Sernadas; João Rasga; Cristina Sernadas; Paulo Mateus (J. Log. Comput., 2014)

Hybrid learning of Bayesian multinets for binary classification. - Alexandra M. Carvalho; Pedro Adão; Paulo Mateus (Pattern Recognit., 2014)

Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete. - Pedro Adão; Paulo Mateus; Luca Viganò 001 (Theor. Comput. Sci., 2014)

Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains. - Manuel Biscaia; David Henriques; Paulo Mateus (ACM Trans. Comput. Log., 2014)

Exponentially more concise quantum recognition of non-RMM regular languages. - Daowen Qiu; Lvzhou Li; Paulo Mateus; Amílcar Sernadas (J. Comput. Syst. Sci., 2015)

Semiquantum key distribution without invoking the classical party's measurement capability. - Xiangfu Zou; Daowen Qiu; Shengyu Zhang; Paulo Mateus (Quantum Inf. Process., 2015)

Quantum walks public key cryptographic system. - Chrysoula Vlachou; J. Rodrigues; Paulo Mateus; Nikola Paunkovic; André Souto (CoRR, 2016)

Geometry and dynamics of one-norm geometric quantum discord. - Zhiming Huang 001; Daowen Qiu; Paulo Mateus (Quantum Inf. Process., 2016)

Stabilizing BGP through distributed elimination of recurrent routing loops. - João Luis Sobrinho; David Fialho; Paulo Mateus (ICNP, 2017)

Quantum machines with classical control. - Paulo Mateus; Daowen Qiu; Andre Souto (CoRR, 2017)

Decision and optimization problems in the unreliable-circuit logic. - João Rasga; Cristina Sernadas; Paulo Mateus; Amílcar Sernadas (Log. J. IGPL, 2017)

Universality of quantum Turing machines with deterministic control. - Paulo Mateus; Amílcar Sernadas; André Souto (J. Log. Comput., 2017)

Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement. - Wei Zhang; Daowen Qiu; Xiangfu Zou; Paulo Mateus (Quantum Inf. Process., 2017)

Witness Hiding Without Extractors or Simulators. - André Souto; Luís Antunes 002; Paulo Mateus; Andreia Teixeira (CiE, 2018)

Unambiguous Discrimination Between Mixed Quantum States Based on Programmable Quantum State Discriminators. - Daowen Qiu; Hongfeng Gan; Guangya Cai; Paulo Mateus (ICIC (3), 2018)

A Code-Based Linkable Ring Signature Scheme. - Pedro Branco 005; Paulo Mateus (ProvSec, 2018)

Model selection for clustering of pharmacokinetic responses. - Rui P. Guerra; Alexandra M. Carvalho; Paulo Mateus (Comput. Methods Programs Biomed., 2018)

Universally Composable Oblivious Transfer Protocol based on the RLWE Assumption. - Pedro Branco 005; Jintai Ding; Manuel Goulão; Paulo Mateus (IACR Cryptol. ePrint Arch., 2018)

Quantum key distribution with quantum walks. - Chrysoula Vlachou; Walter O. Krawec; Paulo Mateus; Nikola Paunkovic; André Souto (Quantum Inf. Process., 2018)

Security of a single-state semi-quantum key distribution protocol. - Wei Zhang; Daowen Qiu; Paulo Mateus (Quantum Inf. Process., 2018)

On minimal assumptions to obtain a universally composable quantum bit commitment. - Mariano Lemus; Preeti Yadav; Paulo Mateus; Nikola Paunkovic; André Souto (ICTON, 2019)

Time Series Imputation. - Samuel Arcadinho; Paulo Mateus (CoRR, 2019)

Generation and Distribution of Quantum Oblivious Keys for Secure Multiparty Computation. - Mariano Lemus; Mariana F. Ramos; Preeti Yadav; Nuno A. Silva; Nelson J. Muga; Andre Souto; Nikola Paunkovic; Paulo Mateus; Armando N. Pinto (CoRR, 2019)

Quantum Contract Signing with Entangled Pairs. - Preeti Yadav; Paulo Mateus; Nikola Paunkovic; André Souto (Entropy, 2019)

UC-Commitment Schemes with Phase-Adaptive Security from Trapdoor Functions. - Pedro Branco 005; Manuel Goulão; Paulo Mateus (IACR Cryptol. ePrint Arch., 2019)

A Framework for Universally Composable Oblivious Transfer from One-Round Key-Exchange. - Pedro Branco 005; Jintai Ding; Manuel Goulão; Paulo Mateus (IACR Cryptol. ePrint Arch., 2019)

A Traceable Ring Signature Scheme based on Coding Theory. - Pedro Branco 005; Paulo Mateus (IACR Cryptol. ePrint Arch., 2019)

Synthesis of quantum images using phase rotation. - Shiping Du; Daowen Qiu; Jozef Gruska; Paulo Mateus (Quantum Inf. Process., 2019)

Entangling and disentangling in Grover's search algorithm. - Minghua Pan; Daowen Qiu; Paulo Mateus; Jozef Gruska (Theor. Comput. Sci., 2019)

Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL. - Maria Ribeiro; Pedro Adão; Paulo Mateus (Logic, Language, and Security, 2020)

Quantum Enabled Private Recognition of Composite Signals in Genome and Proteins. - Armando N. Pinto; Laura Ortíz; Manuel B. Santos; Ana C. Gomes; Juan Pedro Brito; Nelson J. Muga; Nuno A. Silva; Paulo Mateus; Vicente Martín (ICTON, 2020)

On the minmax regret for statistical manifolds: the role of curvature. - Bruno Mera; Paulo Mateus; Alexandra M. Carvalho (CoRR, 2020)

A Private Quantum Bit String Commitment. - Mariana Gama; Paulo Mateus; André Souto (Entropy, 2020)

Information-Theoretical Criteria for Characterizing the Earliness of Time-Series Data. - Mariano Lemus; João P. Beirão; Nikola Paunkovic; Alexandra M. Carvalho; Paulo Mateus (Entropy, 2020)

Two-Round Oblivious Linear Evaluation from Learning with Errors. - Pedro Branco 005; Nico Döttling; Paulo Mateus (IACR Cryptol. ePrint Arch., 2020)

Using Low-Density Parity-Check codes to improve the McEliece cryptosystem. - Pedro Branco 005; Paulo Mateus; Carlos Salema; André Souto (Inf. Sci., 2020)

Randomized Oblivious Transfer for Secure Multiparty Computation in the Quantum Setting. - Bruno Costa; Pedro Branco 005; Manuel Goulão; Mariano Lemus; Paulo Mateus (Entropy, 2021)

Testing Boolean Functions Properties. - Zhengwei Xie; Daowen Qiu; Guangya Cai; Jozef Gruska; Paulo Mateus (Fundam. Informaticae, 2021)

Mediated semi-quantum secure direct communication. - Zhenbang Rong; Daowen Qiu; Paulo Mateus; Xiangfu Zou (Quantum Inf. Process., 2021)

ROTed: Random Oblivious Transfer for embedded devices. - Pedro Branco 005; Luís Fiolhais; Manuel Goulão; Paulo Martins 002; Paulo Mateus; Leonel Sousa (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2021)

Quantum and classical oblivious transfer: A comparative analysis. - Manuel B. Santos; Armando N. Pinto; Paulo Mateus (IET Quantum Commun., 2021)

Private Computation of Phylogenetic Trees Based on Quantum Technologies. - Manuel B. Santos; Ana C. Gomes; Armando N. Pinto; Paulo Mateus (IEEE Access, 2022)

Quantum Oblivious Transfer: A Short Review. - Manuel B. Santos; Paulo Mateus; Armando N. Pinto (Entropy, 2022)

Model Complexity in Statistical Manifolds: The Role of Curvature. - Bruno Mera; Paulo Mateus; Alexandra M. Carvalho (IEEE Trans. Inf. Theory, 2022)

Experimental Semi-quantum Key Distribution With Classical Users. - Francesco Massa; Preeti Yadav; Amir Moqanaki; Walter O. Krawec; Paulo Mateus; Nikola Paunkovic; André Souto; Philip Walther (Quantum, 2022)

Oblivious Keys for Secure Multiparty Computation Obtained from a CV-QKD. - Armando N. Pinto; Manuel B. Santos; Nuno A. Silva; Nelson J. Muga; Paulo Mateus (ICTON, 2023)

A Network Server for Distributing Quantum Random Numbers. - Nuno A. Silva; Maurício J. Ferreira; André Carvalho; André Souto; Nikola Paunkovic; Paulo Mateus; António Teixeira 002; Armando N. Pinto (ICTON, 2023)

Distributed Shor's algorithm. - Ligang Xiao; Daowen Qiu; Le Luo; Paulo Mateus (Quantum Inf. Comput., 2023)

A coherence-witnessing game and applications to semi-device-independent quantum key distribution. - Mário Silva 001; Ricardo Faleiro; Paulo Mateus; Emmanuel Zambrini Cruzeiro (Quantum, 2023)

Quantum Universally Composable Oblivious Linear Evaluation. - Manuel B. Santos; Paulo Mateus; Chrysoula Vlachou (Quantum, 2024)

Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines. - Mariano Lemus; Ricardo Faleiro; Paulo Mateus; Nikola Paunkovic; André Souto (Quantum, 2024)

Exact distributed quantum algorithm for generalized Simon's problem. - Hao Li; Daowen Qiu; Le Luo; Paulo Mateus (Acta Informatica, 2024)

An Attack to Universally Composable Commitments from Malicious Physically Uncloneable Functions and how to Avoid it. - Lourenço Abecasis; Paulo Mateus; Chrysoula Vlachou (IACR Cryptol. ePrint Arch., 2025)

Semi-Quantum Conference Key Agreement with GHZ-type states. - Rúben Barreiro; Walter O. Krawec; Paulo Mateus; Nikola Paunkovic; André Souto (CoRR, 2025)

Universally Composable Commitments with Communicating Malicious Physically Uncloneable Functions. - Lourenço Abecasis; Paulo Mateus; Chrysoula Vlachou (CoRR, 2025)