Paulo Mateus
Orcid: 0000-0002-2393-8224Affiliations:
- University of Lisbon, Portugal
According to our database1,
Paulo Mateus
authored at least 96 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
10
1
2
2
4
5
5
8
4
4
2
2
6
3
5
1
2
1
1
1
2
2
2
1
1
1
2
2
1
3
1
1
1
2
3
4
1
1
1
1
1
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Acta Informatica, June, 2024
Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines.
Quantum, January, 2024
2023
A coherence-witnessing game and applications to semi-device-independent quantum key distribution.
Quantum, August, 2023
Proceedings of the 23rd International Conference on Transparent Optical Networks, 2023
Proceedings of the 23rd International Conference on Transparent Optical Networks, 2023
2022
Quantum, September, 2022
IEEE Trans. Inf. Theory, 2022
IEEE Access, 2022
2021
IET Quantum Commun., June, 2021
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2021
Randomized Oblivious Transfer for Secure Multiparty Computation in the Quantum Setting.
Entropy, 2021
2020
Inf. Sci., 2020
IACR Cryptol. ePrint Arch., 2020
Information-Theoretical Criteria for Characterizing the Earliness of Time-Series Data.
Entropy, 2020
Proceedings of the 22nd International Conference on Transparent Optical Networks, 2020
Proceedings of the Logic, 2020
2019
IACR Cryptol. ePrint Arch., 2019
A Framework for Universally Composable Oblivious Transfer from One-Round Key-Exchange.
IACR Cryptol. ePrint Arch., 2019
IACR Cryptol. ePrint Arch., 2019
Generation and Distribution of Quantum Oblivious Keys for Secure Multiparty Computation.
CoRR, 2019
Proceedings of the 21st International Conference on Transparent Optical Networks, 2019
2018
Quantum Inf. Process., 2018
IACR Cryptol. ePrint Arch., 2018
Comput. Methods Programs Biomed., 2018
Proceedings of the Provable Security, 2018
Unambiguous Discrimination Between Mixed Quantum States Based on Programmable Quantum State Discriminators.
Proceedings of the Intelligent Computing Methodologies - 14th International Conference, 2018
Proceedings of the Sailing Routes in the World of Computation, 2018
2017
Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement.
Quantum Inf. Process., 2017
J. Log. Comput., 2017
Log. J. IGPL, 2017
Proceedings of the 25th IEEE International Conference on Network Protocols, 2017
2016
Quantum Inf. Process., 2016
2015
Semiquantum key distribution without invoking the classical party's measurement capability.
Quantum Inf. Process., 2015
J. Comput. Syst. Sci., 2015
2014
Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains.
ACM Trans. Comput. Log., 2014
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete.
Theor. Comput. Sci., 2014
Pattern Recognit., 2014
J. Log. Comput., 2014
CoRR, 2014
Proceedings of the Communications and Multimedia Security, 2014
2013
Theor. Comput. Sci., 2013
Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers.
Entropy, 2013
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013
2012
Proceedings of the Handbook of Finite State Based Models and Applications., 2012
Theor. Comput. Sci., 2012
Log. J. IGPL, 2012
Inf. Comput., 2012
Reducing factorization of a semiprime number to the integration of highly oscillatory functions.
Appl. Math. Lett., 2012
2011
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states.
Acta Informatica, 2011
2009
IACR Cryptol. ePrint Arch., 2009
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009
Proceedings of the Cryptographic Hardware and Embedded Systems, 2009
2008
2007
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007
Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007
Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007
2006
Inf. Comput., 2006
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006
Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
2005
Log. J. IGPL, 2005
Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005
2004
Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory.
Theor. Comput. Sci., 2004
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity.
Log. J. IGPL, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
2003
Theor. Comput. Sci., 2003
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus.
Proceedings of the CONCUR 2003, 2003
2002
Observations and the Probabilistic Situation Calculus.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
2001
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001
2000
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2000
1999
Proceedings of the Conference on Category Theory and Computer Science, 1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999