Paulo Mateus

According to our database1, Paulo Mateus
  • authored at least 58 papers between 1999 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement.
Quantum Information Processing, 2017

Universality of quantum Turing machines with deterministic control.
J. Log. Comput., 2017

Decision and optimization problems in the unreliable-circuit logic.
Logic Journal of the IGPL, 2017

2016
Geometry and dynamics of one-norm geometric quantum discord.
Quantum Information Processing, 2016

Quantum walks public key cryptographic system.
CoRR, 2016

Decision and optimization problems in the Unreliable-Circuit Logic.
CoRR, 2016

2015
Semiquantum key distribution without invoking the classical party's measurement capability.
Quantum Information Processing, 2015

Exponentially more concise quantum recognition of non-RMM regular languages.
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

Hybrid learning of Bayesian multinets for binary classification.
Pattern Recognition, 2014

Approximate reasoning about logic circuits with single-fan-out unreliable gates.
J. Log. Comput., 2014

Oblivious transfer based on quantum state computational distinguishability.
CoRR, 2014

Oblivious transfer based on single-qubit rotations.
CoRR, 2014

Enhancing Privacy with Quantum Networks.
Proceedings of the Communications and Multimedia Security, 2014

2013
State succinctness of two-way finite automata with quantum and classical states.
Theor. Comput. Sci., 2013

Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers.
Entropy, 2013

Quantum Communications [Guest Editorial].
IEEE Communications Magazine, 2013

A Temporal Logic for Planning under Uncertainty.
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

2012
Quantum Finite Automata.
Proceedings of the Handbook of Finite State Based Models and Applications., 2012

Characterizations of one-way general quantum finite automata.
Theor. Comput. Sci., 2012

Decidability and complexity for ω-regular properties of stochastic systems.
Logic Journal of the IGPL, 2012

On the complexity of minimizing probabilistic and quantum automata.
Inf. Comput., 2012

Improving Classical Authentication over a Quantum Channel.
Entropy, 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 Inf., 2011

2009
On Privacy Losses in the Trusted Agent Model (Abstract).
IACR Cryptology ePrint Archive, 2009

One-way quantum finite automata together with classical states
CoRR, 2009

Temporalization of Probabilistic Propositional Logic.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

On Tamper-Resistance from a Theoretical Viewpoint.
Proceedings of the Cryptographic Hardware and Embedded Systems, 2009

2008
Quantum Authentication of Classical Messages with Perfect Security
CoRR, 2008

2007
Reasoning about probabilistic sequential programs.
Theor. Comput. Sci., 2007

Exogenous Probabilistic Computation Tree Logic.
Electr. Notes Theor. Comput. Sci., 2007

A Process Algebra for Reasoning About Quantum Security.
Electr. Notes Theor. Comput. Sci., 2007

Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations.
Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007

Towards Model-Checking Quantum Security Protocols.
Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007

2006
Weakly complete axiomatization of exogenous quantum propositional logic.
Inf. Comput., 2006

Reasoning About Imperative Quantum Programs.
Electr. Notes Theor. Comput. Sci., 2006

Towards a Quantitative Analysis of Security Protocols.
Electr. Notes Theor. Comput. Sci., 2006

Reasoning About States of Probabilistic Sequential Programs.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006

Quantum Institutions.
Proceedings of the Algebra, Meaning, and Computation, 2006

2005
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.
Logic Journal of the IGPL, 2005

Editorial.
Logic Journal of the IGPL, 2005

Weakly complete axiomatization of exogenous quantum propositional logic
CoRR, 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.
Logic Journal of the IGPL, 2004

Reasoning About Quantum Systems.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003
Categorical foundations for randomly timed automata.
Theor. Comput. Sci., 2003

Paracategories I: internal paracategories and saturated partial algebras.
Theor. Comput. Sci., 2003

Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus.
Proceedings of the CONCUR 2003, 2003

2002
Universal Aspects of Probabilistic Automata.
Mathematical Structures in Computer Science, 2002

Observations and the Probabilistic Situation Calculus.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001
Probabilistic Situation Calculus.
Ann. Math. Artif. Intell., 2001

Combining Logics: Parchments Revisited.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000
Non-Determinism and Uncertainty in the Situation Calculus.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2000

1999
Precategories for combining probabilistic automata.
Electr. Notes Theor. Comput. Sci., 1999

Realization of Probabilistic Automata: Categorial Approach.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Nondeterminism and Uncertainty in the Situation Calculus.
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999


  Loading...