Paulo Mateus - Google Scholar

Citée par

	Toutes	Depuis 2015
Citations	1375	664
indice h	21	14
indice i10	45	23

180

135

200120022003200420052006200720082009201020112012201320142015201620172018201920207 18 13 22 50 60 67 38 70 57 49 65 60 89 107 71 106 107 174 97

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
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalAdresse e-mail validée de tecnico.ulisboa.pt
Nikola PaunkovicInstituto de TelecomunicaçõesAdresse e-mail validée de math.ist.utl.pt
André SoutoInformática, Faculdade de Ciências, Universidade de Lisboa, LASIGE and 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
Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonAdresse e-mail validée de ist.utl.pt
João RasgaAssistant Professor of Logic and Computation, Department of Mathematics, Instituto Superior TécnicoAdresse e-mail validée de tecnico.ulisboa.pt
Luca ViganòProfessor of Computer Science and Head of the Cybersecurity Group, Department of Informatics, King'sAdresse e-mail validée de kcl.ac.uk
Armando Nolasco PintoAssociate Professor, University of AveiroAdresse e-mail validée de ua.pt
Paulo AndréIST - Lisbon University (Instituto de Telecomunicações and Department Department of Electrical andAdresse e-mail validée de lx.it.pt
Alexandra M CarvalhoAssistant Professor, Instituto Superior Técnico, Technical University of LisbonAdresse e-mail validée de kdbio.inesc-id.pt
Claudio HermidaUniversity of Birmingham, Computer ScienceAdresse e-mail validée de cs.bham.ac.uk
Bruno MeraPost-doctoral fellow, Instituto de Telecomunicações; Instituto Superior Técnico, Universidade deAdresse e-mail validée de tecnico.ulisboa.pt
Daowen QiuSun Yat-sen University

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
Weakly complete axiomatization of exogenous quantum propositional logic P Mateus, A Sernadas Information and Computation 204 (5), 771-794, 2006	78	2006
Quantum secret sharing with classical Bobs L Li, D Qiu, P Mateus Journal of Physics A: Mathematical and Theoretical 46 (4), 045304, 2013	61	2013
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	61	2001
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	59	2003
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	44	2015
Reasoning about probabilistic sequential programs R Chadha, L Cruz-Filipe, P Mateus, A Sernadas Theoretical Computer Science 379 (1-2), 142-165, 2007	44	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	44	2005
Reasoning about imperative quantum programs R Chadha, P Mateus, A Sernadas Electronic Notes in Theoretical Computer Science 158, 19-39, 2006	40	2006
Reasoning about quantum systems P Mateus, A Sernadas European Workshop on Logics in Artificial Intelligence, 239-251, 2004	37	2004
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	36	2012
On the complexity of minimizing probabilistic and quantum automata P Mateus, D Qiu, L Li Information and Computation 218, 36-53, 2012	35	2012
Geometry and dynamics of one-norm geometric quantum discord Z Huang, D Qiu, P Mateus Quantum Information Processing 15 (1), 301-326, 2016	31	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	31	2008
Exogenous quantum logic P Mateus, A Sernadas Proceedings of CombLog 4, 141-149, 2004	30	2004
A process algebra for reasoning about quantum security P Adao, P Mateus Electronic Notes in Theoretical Computer Science 170, 3-21, 2007	28	2007
Security of a single-state semi-quantum key distribution protocol W Zhang, D Qiu, P Mateus Quantum Information Processing 17 (6), 135, 2018	26	2018
State succinctness of two-way finite automata with quantum and classical states. S Zheng, D Qiu, J Gruska, L Li, P Mateus Theor. Comput. Sci. 499, 98-112, 2013	26	2013
Quantum institutions C Caleiro, P Mateus, A Sernadas, C Sernadas Algebra, Meaning, and Computation, 50-64, 2006	25	2006
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-6), 271, 2011	22	2011
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	22	2000

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

Importer un PDF

Suivre les mises à jour de cet auteur

Citée par

Coauteurs