default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaulo Mateus
Person information
- affiliation: University of Lisbon, Portugal
Other persons with a similar name
- Paulo Mendes 0002
![[0000-0003-2177-7321]](https://dblp.org/img/orcid-mark.12x12.png "0000-0003-2177-7321")
(aka: Paulo Mateus Mendes, Paulo M. Mendes 0002) — University of Minho, Department of Industrial Electronics - Paulo Mateus Moura da Silva
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j52]Hao Li, Daowen Qiu, Le Luo, Paulo Mateus:
Exact distributed quantum algorithm for generalized Simon's problem. Acta Informatica 61(2): 131-159 (2024)- [j51]Mariano Lemus, Ricardo Faleiro, Paulo Mateus, Nikola Paunkovic, André Souto:
Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines. Quantum 8: 1230 (2024) - 2023
- [j50]Ligang Xiao, Daowen Qiu, Le Luo, Paulo Mateus:
Distributed Shor's algorithm. Quantum Inf. Comput. 23(1&2): 27-44 (2023) - [j49]Mário Silva, Ricardo Faleiro, Paulo Mateus, Emmanuel Zambrini Cruzeiro:
A coherence-witnessing game and applications to semi-device-independent quantum key distribution. Quantum 7: 1090 (2023) - [c31]Armando N. Pinto, Manuel B. Santos, Nuno A. Silva, Nelson J. Muga, Paulo Mateus:
Oblivious Keys for Secure Multiparty Computation Obtained from a CV-QKD. ICTON 2023: 1-4 - [c30]Nuno A. Silva, Maurício J. Ferreira, André Carvalho, André Souto, Nikola Paunkovic, Paulo Mateus, António Teixeira, Armando N. Pinto:
A Network Server for Distributing Quantum Random Numbers. ICTON 2023: 1-4 - [i20]Mariano Lemus, Ricardo Faleiro, Paulo Mateus, Nikola Paunkovic, André Souto:
Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines. CoRR abs/2305.14252 (2023) - 2022
- [j48]Manuel B. Santos, Ana C. Gomes, Armando N. Pinto, Paulo Mateus:
Private Computation of Phylogenetic Trees Based on Quantum Technologies. IEEE Access 10: 38065-38088 (2022) - [j47]Manuel B. Santos, Paulo Mateus, Armando N. Pinto:
Quantum Oblivious Transfer: A Short Review. Entropy 24(7): 945 (2022) - [j46]Francesco Massa, Preeti Yadav, Amir Moqanaki, Walter O. Krawec, Paulo Mateus, Nikola Paunkovic, André Souto, Philip Walther:
Experimental Semi-quantum Key Distribution With Classical Users. Quantum 6: 819 (2022) - [j45]Bruno Mera, Paulo Mateus, Alexandra M. Carvalho:
Model Complexity in Statistical Manifolds: The Role of Curvature. IEEE Trans. Inf. Theory 68(9): 5619-5636 (2022) - [c29]Pedro Branco, Nico Döttling, Paulo Mateus:
Two-Round Oblivious Linear Evaluation from Learning with Errors. Public Key Cryptography (1) 2022: 379-408 - 2021
- [j44]Bruno Costa, Pedro Branco, Manuel Goulão, Mariano Lemus, Paulo Mateus:
Randomized Oblivious Transfer for Secure Multiparty Computation in the Quantum Setting. Entropy 23(8): 1001 (2021) - [j43]Zhengwei Xie, Daowen Qiu, Guangya Cai, Jozef Gruska, Paulo Mateus:
Testing Boolean Functions Properties. Fundam. Informaticae 182(4): 321-344 (2021) - [j42]Manuel B. Santos, Armando N. Pinto, Paulo Mateus:
Quantum and classical oblivious transfer: A comparative analysis. IET Quantum Commun. 2(2): 42-53 (2021) - [j41]Zhenbang Rong, Daowen Qiu, Paulo Mateus, Xiangfu Zou:
Mediated semi-quantum secure direct communication. Quantum Inf. Process. 20(2): 58 (2021) - [j40]Pedro Branco, Luís Fiolhais, Manuel Goulão, Paulo Martins, Paulo Mateus, Leonel Sousa:
ROTed: Random Oblivious Transfer for embedded devices. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2021(4): 215-238 (2021) - [i19]Pedro Branco, Luís Fiolhais, Manuel Goulão, Paulo Martins, Paulo Mateus, Leonel Sousa:
ROTed: Random Oblivious Transfer for embedded devices. IACR Cryptol. ePrint Arch. 2021: 935 (2021) - 2020
- [j39]Mariano Lemus, João P. Beirão, Nikola Paunkovic, Alexandra M. Carvalho, Paulo Mateus:
Information-Theoretical Criteria for Characterizing the Earliness of Time-Series Data. Entropy 22(1): 49 (2020) - [j38]Mariana Gama, Paulo Mateus, André Souto:
A Private Quantum Bit String Commitment. Entropy 22(3): 272 (2020) - [j37]Pedro Branco, Paulo Mateus, Carlos Salema, André Souto:
Using Low-Density Parity-Check codes to improve the McEliece cryptosystem. Inf. Sci. 510: 243-255 (2020) - [c28]Maria Ribeiro, Pedro Adão, Paulo Mateus:
Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL. Logic, Language, and Security 2020: 71-97 - [c27]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:
Quantum Enabled Private Recognition of Composite Signals in Genome and Proteins. ICTON 2020: 1-4 - [i18]Mariana Gama, Paulo Mateus, André Souto:
A Private Quantum Bit String Commitment. CoRR abs/2001.11911 (2020) - [i17]Bruno Mera, Paulo Mateus, Alexandra M. Carvalho:
On the minmax regret for statistical manifolds: the role of curvature. CoRR abs/2007.02904 (2020) - [i16]Pedro Branco, Nico Döttling, Paulo Mateus:
Two-Round Oblivious Linear Evaluation from Learning with Errors. IACR Cryptol. ePrint Arch. 2020: 635 (2020)
2010 – 2019
- 2019
- [j36]Preeti Yadav, Paulo Mateus, Nikola Paunkovic, André Souto:
Quantum Contract Signing with Entangled Pairs. Entropy 21(9): 821 (2019) - [j35]Shiping Du, Daowen Qiu, Jozef Gruska, Paulo Mateus:
Synthesis of quantum images using phase rotation. Quantum Inf. Process. 18(9): 286 (2019) - [j34]Minghua Pan, Daowen Qiu, Paulo Mateus, Jozef Gruska:
Entangling and disentangling in Grover's search algorithm. Theor. Comput. Sci. 773: 138-152 (2019) - [c26]Mariano Lemus, Preeti Yadav, Paulo Mateus, Nikola Paunkovic, André Souto:
On minimal assumptions to obtain a universally composable quantum bit commitment. ICTON 2019: 1-4 - [c25]Pedro Branco, Jintai Ding, Manuel Goulão, Paulo Mateus:
A Framework for Universally Composable Oblivious Transfer from One-Round Key-Exchange. IMACC 2019: 78-101 - [c24]Pedro Branco, Paulo Mateus:
A Traceable Ring Signature Scheme Based on Coding Theory. PQCrypto 2019: 387-403 - [i15]Samuel Arcadinho, Paulo Mateus:
Time Series Imputation. CoRR abs/1903.09732 (2019) - [i14]Mariano Lemus, Mariana F. Ramos, Preeti Yadav, Nuno A. Silva, Nelson J. Muga, Andre Souto, Nikola Paunkovic, Paulo Mateus, Armando N. Pinto:
Generation and Distribution of Quantum Oblivious Keys for Secure Multiparty Computation. CoRR abs/1909.11701 (2019) - [i13]Pedro Branco, Paulo Mateus:
A Traceable Ring Signature Scheme based on Coding Theory. IACR Cryptol. ePrint Arch. 2019: 324 (2019) - [i12]Pedro Branco, Manuel Goulão, Paulo Mateus:
UC-Commitment Schemes with Phase-Adaptive Security from Trapdoor Functions. IACR Cryptol. ePrint Arch. 2019: 529 (2019) - [i11]Pedro Branco, Jintai Ding, Manuel Goulão, Paulo Mateus:
A Framework for Universally Composable Oblivious Transfer from One-Round Key-Exchange. IACR Cryptol. ePrint Arch. 2019: 726 (2019) - 2018
- [j33]Rui P. Guerra, Alexandra M. Carvalho, Paulo Mateus:
Model selection for clustering of pharmacokinetic responses. Comput. Methods Programs Biomed. 162: 11-18 (2018) - [j32]Wei Zhang, Daowen Qiu, Paulo Mateus:
Security of a single-state semi-quantum key distribution protocol. Quantum Inf. Process. 17(6): 135 (2018) - [j31]Chrysoula Vlachou, Walter O. Krawec, Paulo Mateus, Nikola Paunkovic, André Souto:
Quantum key distribution with quantum walks. Quantum Inf. Process. 17(11): 288 (2018) - [c23]André Souto, Luís Antunes, Paulo Mateus, Andreia Teixeira:
Witness Hiding Without Extractors or Simulators. CiE 2018: 397-409 - [c22]Daowen Qiu, Hongfeng Gan, Guangya Cai, Paulo Mateus:
Unambiguous Discrimination Between Mixed Quantum States Based on Programmable Quantum State Discriminators. ICIC (3) 2018: 700-709 - [c21]Pedro Branco, Paulo Mateus:
A Code-Based Linkable Ring Signature Scheme. ProvSec 2018: 203-219 - [i10]Pedro Branco, Jintai Ding, Manuel Goulão, Paulo Mateus:
Universally Composable Oblivious Transfer Protocol based on the RLWE Assumption. IACR Cryptol. ePrint Arch. 2018: 1155 (2018) - 2017
- [j30]João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas:
Decision and optimization problems in the unreliable-circuit logic. Log. J. IGPL 25(3): 283-308 (2017) - [j29]Paulo Mateus, Amílcar Sernadas, André Souto:
Universality of quantum Turing machines with deterministic control. J. Log. Comput. 27(1): 1-19 (2017) - [j28]Wei Zhang, Daowen Qiu, Xiangfu Zou, Paulo Mateus:
Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement. Quantum Inf. Process. 16(6): 150 (2017) - [c20]João Luis Sobrinho, David Fialho, Paulo Mateus:
Stabilizing BGP through distributed elimination of recurrent routing loops. ICNP 2017: 1-10 - [i9]Paulo Mateus, Daowen Qiu, Andre Souto:
Quantum machines with classical control. CoRR abs/1709.01387 (2017) - 2016
- [j27]Zhiming Huang, Daowen Qiu, Paulo Mateus:
Geometry and dynamics of one-norm geometric quantum discord. Quantum Inf. Process. 15(1): 301-326 (2016) - [i8]Chrysoula Vlachou, J. Rodrigues, Paulo Mateus, Nikola Paunkovic, André Souto:
Quantum walks public key cryptographic system. CoRR abs/1602.01404 (2016) - [i7]João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas:
Decision and optimization problems in the Unreliable-Circuit Logic. CoRR abs/1608.00533 (2016) - 2015
- [j26]Daowen Qiu, Lvzhou Li, Paulo Mateus, Amílcar Sernadas:
Exponentially more concise quantum recognition of non-RMM regular languages. J. Comput. Syst. Sci. 81(2): 359-375 (2015) - [j25]Xiangfu Zou, Daowen Qiu, Shengyu Zhang, Paulo Mateus:
Semiquantum key distribution without invoking the classical party's measurement capability. Quantum Inf. Process. 14(8): 2981-2996 (2015) - 2014
- [j24]Amílcar Sernadas, João Rasga, Cristina Sernadas, Paulo Mateus:
Approximate reasoning about logic circuits with single-fan-out unreliable gates. J. Log. Comput. 24(5): 1023-1069 (2014) - [j23]Alexandra M. Carvalho, Pedro Adão, Paulo Mateus:
Hybrid learning of Bayesian multinets for binary classification. Pattern Recognit. 47(10): 3438-3450 (2014) - [j22]Pedro Adão, Paulo Mateus, Luca Viganò:
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete. Theor. Comput. Sci. 538: 2-15 (2014) - [j21]Manuel Biscaia, David Henriques, Paulo Mateus:
Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains. ACM Trans. Comput. Log. 16(1): 4:1-4:17 (2014) - [c19]Paulo Mateus, Nikola Paunkovic, João Rodrigues, André Souto:
Enhancing Privacy with Quantum Networks. Communications and Multimedia Security 2014: 147-153 - [i6]André Souto, Paulo Mateus, Pedro Adão, Nikola Paunkovic:
Oblivious transfer based on quantum state computational distinguishability. CoRR abs/1403.6022 (2014) - [i5]João Rodrigues, Paulo Mateus, Nikola Paunkovic, André Souto:
Oblivious transfer based on single-qubit rotations. CoRR abs/1407.8146 (2014) - 2013
- [j20]Sándor Imre, Paulo Mateus, Peter Nagy, Anton Zavriyev:
Quantum Communications [Guest Editorial]. IEEE Commun. Mag. 51(8) (2013) - [j19]Alexandra M. Carvalho, Pedro Adão, Paulo Mateus:
Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers. Entropy 15(7): 2716-2735 (2013) - [j18]Shenggen Zheng, Daowen Qiu, Jozef Gruska, Lvzhou Li, Paulo Mateus:
State succinctness of two-way finite automata with quantum and classical states. Theor. Comput. Sci. 499: 98-112 (2013) - [c18]Manuel Biscaia, Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan:
A Temporal Logic for Planning under Uncertainty. FLAIRS 2013 - 2012
- [j17]Paulo Mateus, V. R. Vieira:
Reducing factorization of a semiprime number to the integration of highly oscillatory functions. Appl. Math. Lett. 25(11): 1790-1794 (2012) - [j16]Francisco Marcos de Assis, Aleksandar Stojanovic, Paulo Mateus, Yasser Omar:
Improving Classical Authentication over a Quantum Channel. Entropy 14(12): 2531-2549 (2012) - [j15]Paulo Mateus, Daowen Qiu, Lvzhou Li:
On the complexity of minimizing probabilistic and quantum automata. Inf. Comput. 218: 36-53 (2012) - [j14]David Henriques, Manuel Biscaia, Pedro Baltazar, Paulo Mateus:
Decidability and complexity for ω-regular properties of stochastic systems. Log. J. IGPL 20(6): 1175-1201 (2012) - [j13]Lvzhou Li, Daowen Qiu, Xiangfu Zou, Lvjun Li, Lihua Wu, Paulo Mateus:
Characterizations of one-way general quantum finite automata. Theor. Comput. Sci. 419: 73-91 (2012) - [r1]Daowen Qiu, Lvzhou Li, Paulo Mateus, Jozef Gruska:
Quantum Finite Automata. Handbook of Finite State Based Models and Applications 2012: 113-144 - 2011
- [j12]Daowen Qiu, Lvzhou Li, Xiangfu Zou, Paulo Mateus, Jozef Gruska:
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states. Acta Informatica 48(5-6): 271-290 (2011)
2000 – 2009
- 2009
- [c17]Paulo Mateus, Serge Vaudenay:
On Tamper-Resistance from a Theoretical Viewpoint. CHES 2009: 411-428 - [c16]Pedro Baltazar, Paulo Mateus:
Temporalization of Probabilistic Propositional Logic. LFCS 2009: 46-60 - [i4]Daowen Qiu, Paulo Mateus, Xiangfu Zou, Amílcar Sernadas:
One-way quantum finite automata together with classical states. CoRR abs/0909.1428 (2009) - [i3]Paulo Mateus, Serge Vaudenay:
On Privacy Losses in the Trusted Agent Model (Abstract). IACR Cryptol. ePrint Arch. 2009: 286 (2009) - 2008
- [i2]Francisco Marcos de Assis, Paulo Mateus, Yasser Omar:
Quantum Authentication of Classical Messages with Perfect Security. CoRR abs/0806.1231 (2008) - 2007
- [j11]Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas:
Reasoning about probabilistic sequential programs. Theor. Comput. Sci. 379(1-2): 142-165 (2007) - [c15]Paulo Mateus, Filipe Moura, João Rasga:
Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations. ICQNM 2007: 9 - [c14]Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas:
Towards Model-Checking Quantum Security Protocols. ICQNM 2007: 14 - [c13]Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou:
Exogenous Probabilistic Computation Tree Logic. QAPL 2007: 95-110 - 2006
- [j10]Paulo Mateus, Amílcar Sernadas:
Weakly complete axiomatization of exogenous quantum propositional logic. Inf. Comput. 204(5): 771-794 (2006) - [c12]Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas:
Quantum Institutions. Essays Dedicated to Joseph A. Goguen 2006: 50-64 - [c11]Rohit Chadha, Paulo Mateus, Amílcar Sernadas:
Reasoning About States of Probabilistic Sequential Programs. CSL 2006: 240-255 - [c10]Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò:
Towards a Quantitative Analysis of Security Protocols. QAPL 2006: 3-25 - [c9]Rohit Chadha, Paulo Mateus, Amílcar Sernadas:
Reasoning About Imperative Quantum Programs. MFPS 2006: 19-39 - 2005
- [j9]Paulo Mateus, João Rasga, Cristina Sernadas:
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination. Log. J. IGPL 13(2): 173-199 (2005) - [j8]Walter Alexandre Carnielli, Paulo Mateus:
Editorial. Log. J. IGPL 13(6): 611-614 (2005) - [c8]Pedro Adão, Paulo Mateus:
A Process Algebra for Reasoning About Quantum Security. QPL 2005: 3-21 - [i1]Paulo Mateus, Amílcar Sernadas:
Weakly complete axiomatization of exogenous quantum propositional logic. CoRR abs/math/0503453 (2005) - 2004
- [j7]Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò:
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. Log. J. IGPL 12(3): 227-274 (2004) - [j6]Claudio Hermida, Paulo Mateus:
Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory. Theor. Comput. Sci. 311(1-3): 71-103 (2004) - [c7]Paulo Mateus, Amílcar Sernadas:
Reasoning About Quantum Systems. JELIA 2004: 239-251 - 2003
- [j5]Paulo Mateus, Manuel Cabral Morais, Cláudia Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas:
Categorical foundations for randomly timed automata. Theor. Comput. Sci. 308(1-3): 393-427 (2003) - [j4]Claudio Hermida, Paulo Mateus:
Paracategories I: internal paracategories and saturated partial algebras. Theor. Comput. Sci. 309(1-3): 125-156 (2003) - [c6]Paulo Mateus, John C. Mitchell, Andre Scedrov:
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. CONCUR 2003: 323-345 - 2002
- [j3]Lutz Schröder, Paulo Mateus:
Universal Aspects of Probabilistic Automata. Math. Struct. Comput. Sci. 12(4): 481-512 (2002) - [c5]Paulo Mateus, António Pacheco, Javier Pinto:
Observations and the Probabilistic Situation Calculus. KR 2002: 327-340 - 2001
- [j2]Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas:
Probabilistic Situation Calculus. Ann. Math. Artif. Intell. 32(1-4): 393-431 (2001) - [c4]Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas:
Combining Logics: Parchments Revisited. WADT 2001: 48-70 - 2000
- [j1]Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus:
Non-Determinism and Uncertainty in the Situation Calculus. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 8(2): 127-150 (2000)
1990 – 1999
- 1999
- [c3]Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus:
Nondeterminism and Uncertainty in the Situation Calculus. FLAIRS 1999: 454-460 - [c2]Paulo Mateus, Amílcar Sernadas, Cristina Sernadas:
Realization of Probabilistic Automata: Categorial Approach. WADT 1999: 237-251 - [c1]Paulo Mateus, Amílcar Sernadas, Cristina Sernadas:
Precategories for combining probabilistic automata. CTCS 1999: 169-186
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
