Paulo Mateus
Paulo Mateus
Associate Professor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugal
Email confirmado em math.ist.utl.pt - Página inicial
TítuloCitado porAno
Weakly complete axiomatization of exogenous quantum propositional logic
P Mateus, A Sernadas
Information and Computation 204 (5), 771-794, 2006
742006
Probabilistic situation calculus
P Mateus, A Pacheco, J Pinto, A Sernadas, C Sernadas
Annals of Mathematics and Artificial Intelligence 32 (1-4), 393-431, 2001
582001
Composition of cryptographic protocols in a probabilistic polynomial-time process calculus
P Mateus, J Mitchell, A Scedrov
International Conference on Concurrency Theory, 327-349, 2003
562003
Exogenous semantics approach to enriching logics
P Mateus, A Sernadas, C Sernadas
Essays on the Foundations of Mathematics and Logic 1, 165-194, 2005
422005
Reasoning about probabilistic sequential programs
R Chadha, L Cruz-Filipe, P Mateus, A Sernadas
Theoretical Computer Science 379 (1-2), 142-165, 2007
412007
Quantum secret sharing with classical Bobs
L Li, D Qiu, P Mateus
Journal of Physics A: Mathematical and Theoretical 46 (4), 045304, 2013
372013
Characterizations of one-way general quantum finite automata
L Li, D Qiu, X Zou, L Li, L Wu, P Mateus
Theoretical Computer Science 419, 73-91, 2012
352012
Reasoning about quantum systems
P Mateus, A Sernadas
European Workshop on Logics in Artificial Intelligence, 239-251, 2004
352004
Reasoning about imperative quantum programs
R Chadha, P Mateus, A Sernadas
Electronic Notes in Theoretical Computer Science 158, 19-39, 2006
322006
On the complexity of minimizing probabilistic and quantum automata
P Mateus, D Qiu, L Li
Information and Computation 218, 36-53, 2012
292012
Exogenous quantum logic
P Mateus, A Sernadas
Proceedings of CombLog 4, 141-149, 2004
292004
Enterprise-wide adoption patterns of inventory management practices and information systems
E Rabinovich, PT Evers
Transportation Research Part E: Logistics and Transportation Review 38 (6 …, 2002
292002
Quantum computation tree logic—model checking and complete calculus
P Baltazar, R Chadha, P Mateus
International Journal of Quantum Information 6 (02), 219-236, 2008
282008
A process algebra for reasoning about quantum security
P Adao, P Mateus
Electronic Notes in Theoretical Computer Science 170, 3-21, 2007
282007
Geometry and dynamics of one-norm geometric quantum discord
Z Huang, D Qiu, P Mateus
Quantum Information Processing 15 (1), 301-326, 2016
272016
Semiquantum key distribution without invoking the classical party’s measurement capability
X Zou, D Qiu, S Zhang, P Mateus
Quantum Information Processing 14 (8), 2981-2996, 2015
262015
Quantum institutions
C Caleiro, P Mateus, A Sernadas, C Sernadas
Algebra, Meaning, and Computation, 50-64, 2006
242006
State succinctness of two-way finite automata with quantum and classical states
S Zheng, D Qiu, J Gruska, L Li, P Mateus
Theoretical Computer Science 499, 98-112, 2013
232013
Non-determinism and uncertainty in the Situation Calculus
J Pinto, A Sernadas, C Sernadas, P Mateus
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems …, 2000
212000
Extending classical logic for reasoning about quantum systems
R Chadha, P Mateus, A Sernadas, C Sernadas
Handbook of Quantum Logic and Quantum Structures: Quantum Logic, 325-372, 2009
202009
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20