Folgen
Paulo Mateus
Paulo Mateus
Professor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugal
Bestätigte E-Mail-Adresse bei math.ist.utl.pt - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Quantum secret sharing with classical Bobs
L Li, D Qiu, P Mateus
Journal of Physics A: Mathematical and Theoretical 46 (4), 045304, 2013
972013
Weakly complete axiomatization of exogenous quantum propositional logic
P Mateus, A Sernadas
Information and Computation 204 (5), 771-794, 2006
792006
Semiquantum key distribution without invoking the classical party’s measurement capability
X Zou, D Qiu, S Zhang, P Mateus
Quantum Information Processing 14, 2981-2996, 2015
722015
Composition of cryptographic protocols in a probabilistic polynomial-time process calculus
P Mateus, J Mitchell, A Scedrov
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
672003
Probabilistic situation calculus
P Mateus, A Pacheco, J Pinto, A Sernadas, C Sernadas
Annals of Mathematics and Artificial Intelligence 32, 393-431, 2001
642001
Reasoning about imperative quantum programs
R Chadha, P Mateus, A Sernadas
Electronic Notes in Theoretical Computer Science 158, 19-39, 2006
582006
Reasoning about probabilistic sequential programs
R Chadha, L Cruz-Filipe, P Mateus, A Sernadas
Theoretical Computer Science 379 (1-2), 142-165, 2007
512007
Exogenous semantics approach to enriching logics
P Mateus, A Sernadas, C Sernadas
Essays on the Foundations of Mathematics and Logic 1, 165-194, 2005
442005
Security of a single-state semi-quantum key distribution protocol
W Zhang, D Qiu, P Mateus
Quantum Information Processing 17, 1-21, 2018
422018
Quantum key distribution with quantum walks
C Vlachou, W Krawec, P Mateus, N Paunković, A Souto
Quantum Information Processing 17, 1-37, 2018
412018
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
412012
On the complexity of minimizing probabilistic and quantum automata
P Mateus, D Qiu, L Li
Information and Computation 218, 36-53, 2012
402012
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
392008
Reasoning about quantum systems
P Mateus, A Sernadas
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004 …, 2004
392004
Geometry and dynamics of one-norm geometric quantum discord
Z Huang, D Qiu, P Mateus
Quantum Information Processing 15, 301-326, 2016
342016
Super modules-based active QR codes for smart trackability and IoT: a responsive-banknotes case study
JFCB Ramalho, SFH Correia, L Fu, LMS Dias, P Adão, P Mateus, ...
npj Flexible Electronics 4 (1), 11, 2020
322020
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
322013
Exogenous quantum logic
P Mateus, A Sernadas
Proceedings of CombLog 4, 141-149, 2004
322004
A process algebra for reasoning about quantum security
P Adao, P Mateus
Electronic Notes in Theoretical Computer Science 170, 3-21, 2007
312007
Quantum walk public-key cryptographic system
C Vlachou, J Rodrigues, P Mateus, N Paunković, A Souto
International Journal of Quantum Information 13 (07), 1550050, 2015
272015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20