Paulo Mateus

Citée par

	Toutes	Depuis 2016
Citations	1440	641
indice h	21	12
indice i10	47	23

180

135

2001200220032004200520062007200820092010201120122013201420152016201720182019202020217 17 13 22 45 60 69 38 67 57 46 58 59 86 104 73 93 110 172 145 48

Accès public

Tout afficher

33 articles

7 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
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é 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
Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonAdresse e-mail validée de ist.utl.pt
Armando Nolasco PintoAssociate Professor, University of AveiroAdresse e-mail validée de ua.pt
Alexandra M CarvalhoAssistant Professor, Instituto Superior Técnico, Technical University of LisbonAdresse e-mail validée de tecnico.ulisboa.pt
João RasgaAssistant Professor of Logic and Computation, Department of Mathematics, Instituto Superior TécnicoAdresse 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
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 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	69	2013
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	63	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	62	2001
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	50	2015
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
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
Reasoning about imperative quantum programs R Chadha, P Mateus, A Sernadas Electronic Notes in Theoretical Computer Science 158, 19-39, 2006	42	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	34	2012
Geometry and dynamics of one-norm geometric quantum discord Z Huang, D Qiu, P Mateus Quantum Information Processing 15 (1), 301-326, 2016	32	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	32	2008
Exogenous quantum logic P Mateus, A Sernadas Proceedings of CombLog 4, 141-149, 2004	30	2004
Security of a single-state semi-quantum key distribution protocol W Zhang, D Qiu, P Mateus Quantum Information Processing 17 (6), 1-21, 2018	29	2018
A process algebra for reasoning about quantum security P Adao, P Mateus Electronic Notes in Theoretical Computer Science 170, 3-21, 2007	29	2007
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	26	2013
Quantum institutions C Caleiro, P Mateus, A Sernadas, C Sernadas Algebra, Meaning, and Computation, 50-64, 2006	25	2006
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	23	2000
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

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