Paulo Mateus

Citado por

	Todos	Desde 2018
Citações	2020	1036
Índice h	25	14
Índice i10	64	36

240

120

180

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 17 14 23 51 59 64 39 65 58 48 65 58 85 114 69 97 115 176 145 173 235 189

Acesso público

Ver tudo

53 artigos

10 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaEmail confirmado em tecnico.ulisboa.pt
Nikola PaunkovicInstituto de TelecomunicaçõesEmail confirmado em math.ist.utl.pt
André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesEmail confirmado em fc.ul.pt
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalEmail confirmado em tecnico.ulisboa.pt
Lvzhou LiDepartment of Computer Science, Sun Yat-sen UniversityEmail confirmado em mail.sysu.edu.cn
Armando Nolasco PintoAssociate Professor, University of AveiroEmail confirmado em ua.pt
Pedro AdãoInstituto Superior Técnico (IST), University of Lisbon (UL) / Instituto de TelecomunicaçõesEmail confirmado em ist.utl.pt
Rohit ChadhaUniversity of MissouriEmail confirmado em missouri.edu
Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonEmail confirmado em ist.utl.pt
Alexandra M CarvalhoAssistant Professor, Instituto Superior Técnico, Technical University of LisbonEmail confirmado em tecnico.ulisboa.pt
Paulo AndréIST - Lisbon University (Instituto de Telecomunicações and Department Department of Electrical andEmail confirmado em lx.it.pt
João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaEmail confirmado em tecnico.ulisboa.pt
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeEmail confirmado em kcl.ac.uk
Claudio HermidaUniversity of Birmingham, Computer ScienceEmail confirmado em cs.bham.ac.uk
Bruno MeraInstituto de Telecomunicacões and Instituto Superior TécnicoEmail confirmado em tecnico.ulisboa.pt
Daowen QiuSun Yat-sen University

Seguir

Paulo Mateus

Professor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugal

Email confirmado em math.ist.utl.pt - Página inicial

Applied Logic Quantum Information


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Quantum secret sharing with classical Bobs L Li, D Qiu, P Mateus Journal of Physics A: Mathematical and Theoretical 46 (4), 045304, 2013	101	2013
Weakly complete axiomatization of exogenous quantum propositional logic P Mateus, A Sernadas Information and Computation 204 (5), 771-794, 2006	80	2006
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	74	2015
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	67	2003
Probabilistic situation calculus P Mateus, A Pacheco, J Pinto, A Sernadas, C Sernadas Annals of Mathematics and Artificial Intelligence 32, 393-431, 2001	65	2001
Reasoning about imperative quantum programs R Chadha, P Mateus, A Sernadas Electronic Notes in Theoretical Computer Science 158, 19-39, 2006	62	2006
Reasoning about probabilistic sequential programs R Chadha, L Cruz-Filipe, P Mateus, A Sernadas Theoretical Computer Science 379 (1-2), 142-165, 2007	50	2007
Quantum key distribution with quantum walks C Vlachou, W Krawec, P Mateus, N Paunković, A Souto Quantum Information Processing 17, 1-37, 2018	49	2018
Security of a single-state semi-quantum key distribution protocol W Zhang, D Qiu, P Mateus Quantum Information Processing 17, 1-21, 2018	47	2018
Exogenous semantics approach to enriching logics P Mateus, A Sernadas, C Sernadas Essays on the Foundations of Mathematics and Logic 1, 165-194, 2005	44	2005
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	43	2012
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	40	2008
On the complexity of minimizing probabilistic and quantum automata P Mateus, D Qiu, L Li Information and Computation 218, 36-53, 2012	39	2012
Reasoning about quantum systems P Mateus, A Sernadas European Workshop on Logics in Artificial Intelligence, 239-251, 2004	39	2004
Geometry and dynamics of one-norm geometric quantum discord Z Huang, D Qiu, P Mateus Quantum Information Processing 15, 301-326, 2016	35	2016
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	32	2020
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	32	2013
Exogenous quantum logic P Mateus, A Sernadas Proceedings of CombLog 4, 141-149, 2004	32	2004
A process algebra for reasoning about quantum security P Adao, P Mateus Electronic Notes in Theoretical Computer Science 170, 3-21, 2007	31	2007
Mediated semi-quantum secure direct communication Z Rong, D Qiu, P Mateus, X Zou Quantum Information Processing 20, 1-13, 2021	28	2021

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores