Paulo Mateus

Citée par

	Toutes	Depuis 2018
Citations	1974	993
indice h	25	14
indice i10	63	34

240

120

180

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 17 14 23 51 59 64 39 65 58 48 65 58 85 114 69 95 116 174 145 171 238 148

Accès public

Tout afficher

53 articles

10 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

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

Suivre

Paulo Mateus

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

Adresse e-mail validée de math.ist.utl.pt - Page d'accueil

Applied Logic Quantum Information


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Quantum secret sharing with classical Bobs L Li, D Qiu, P Mateus Journal of Physics A: Mathematical and Theoretical 46 (4), 045304, 2013	98	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	73	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	61	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	46	2018
Security of a single-state semi-quantum key distribution protocol W Zhang, D Qiu, P Mateus Quantum Information Processing 17, 1-21, 2018	45	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
On the complexity of minimizing probabilistic and quantum automata P Mateus, D Qiu, L Li Information and Computation 218, 36-53, 2012	39	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	39	2008
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
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	27	2015

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs