Paulo Mateus

Citée par

	Toutes	Depuis 2017
Citations	1698	810
indice h	23	13
indice i10	55	26

200

100

150

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120227 17 13 22 52 59 69 38 65 58 46 61 57 89 106 77 94 111 174 135 182 114

Accès public

Tout afficher

49 articles

11 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
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalAdresse e-mail validée de tecnico.ulisboa.pt
André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesAdresse e-mail validée de fc.ul.pt
Lvzhou LiDepartment of Computer Science, Sun Yat-sen UniversityAdresse e-mail validée de mail.sysu.edu.cn
Rohit ChadhaUniversity of MissouriAdresse e-mail validée de missouri.edu
Pedro AdãoInstituto Superior Técnico (IST), University of Lisbon (UL) / Instituto de TelecomunicaçõesAdresse e-mail validée de ist.utl.pt
Armando Nolasco PintoAssociate Professor, University of AveiroAdresse e-mail validée de ua.pt
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 MeraAdvanced Institute for Materials Research (WPI-AIMR), Tohoku UniversityAdresse e-mail validée de tohoku.ac.jp
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	83	2013
Weakly complete axiomatization of exogenous quantum propositional logic P Mateus, A Sernadas Information and Computation 204 (5), 771-794, 2006	78	2006
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	66	2015
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	66	2003
Probabilistic situation calculus P Mateus, A Pacheco, J Pinto, A Sernadas, C Sernadas Annals of Mathematics and Artificial Intelligence 32 (1), 393-431, 2001	63	2001
Reasoning about imperative quantum programs R Chadha, P Mateus, A Sernadas Electronic Notes in Theoretical Computer Science 158, 19-39, 2006	55	2006
Reasoning about probabilistic sequential programs R Chadha, L Cruz-Filipe, P Mateus, A Sernadas Theoretical Computer Science 379 (1-2), 142-165, 2007	48	2007
Exogenous semantics approach to enriching logics P Mateus, A Sernadas, C Sernadas Essays on the Foundations of Mathematics and Logic 1, 165-194, 2005	45	2005
On the complexity of minimizing probabilistic and quantum automata P Mateus, D Qiu, L Li Information and Computation 218, 36-53, 2012	40	2012
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	40	2012
Security of a single-state semi-quantum key distribution protocol W Zhang, D Qiu, P Mateus Quantum Information Processing 17 (6), 1-21, 2018	38	2018
Reasoning about quantum systems P Mateus, A Sernadas European Workshop on Logics in Artificial Intelligence, 239-251, 2004	38	2004
Geometry and dynamics of one-norm geometric quantum discord Z Huang, D Qiu, P Mateus Quantum Information Processing 15 (1), 301-326, 2016	34	2016
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	33	2008
A process algebra for reasoning about quantum security P Adao, P Mateus Electronic Notes in Theoretical Computer Science 170, 3-21, 2007	32	2007
Quantum key distribution with quantum walks C Vlachou, W Krawec, P Mateus, N Paunković, A Souto Quantum Information Processing 17 (11), 1-37, 2018	31	2018
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	29	2013
Exogenous quantum logic P Mateus, A Sernadas Proceedings of CombLog 4, 141-149, 2004	29	2004
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states D Qiu, L Li, X Zou, P Mateus, J Gruska Acta informatica 48 (5), 271-290, 2011	27	2011
Exponentially more concise quantum recognition of non-RMM regular languages D Qiu, L Li, P Mateus, A Sernadas Journal of Computer and System Sciences 81 (2), 359-375, 2015	26	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 les mises à jour de cet auteur

Citée par

Coauteurs