Paulo Mateus

Hivatkozott rá

	Összes	2020 óta
Hivatkozások	2372	1064
h-index	27	16
i10-index	76	37

260

130

195

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 18 13 24 55 57 65 42 70 58 51 64 56 91 106 80 98 118 181 148 177 232 217 258 32

Nyilvános hozzáférés

Összes megtekintése

59 cikk

9 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaE-mail megerősítve itt: tecnico.ulisboa.pt
Nikola PaunkovicInstituto de TelecomunicaçõesE-mail megerősítve itt: math.ist.utl.pt
André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesE-mail megerősítve itt: fc.ul.pt
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalE-mail megerősítve itt: tecnico.ulisboa.pt
Lvzhou LiDepartment of Computer Science, Sun Yat-sen UniversityE-mail megerősítve itt: mail.sysu.edu.cn
Armando Nolasco PintoAssociate Professor, University of AveiroE-mail megerősítve itt: ua.pt
Pedro AdãoInstituto Superior Técnico (IST), University of Lisbon (UL) / Instituto de TelecomunicaçõesE-mail megerősítve itt: ist.utl.pt
Rohit ChadhaUniversity of MissouriE-mail megerősítve itt: missouri.edu
Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonE-mail megerősítve itt: ist.utl.pt
Alexandra M CarvalhoAssistant Professor, Instituto Superior Técnico, Technical University of LisbonE-mail megerősítve itt: tecnico.ulisboa.pt
Paulo AndréIST - Lisbon University (Instituto de Telecomunicações and Department Department of Electrical andE-mail megerősítve itt: lx.it.pt
João RasgaAssociate Professor with Habilitation, Instituto Superior Técnico, U LisboaE-mail megerősítve itt: tecnico.ulisboa.pt
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeE-mail megerősítve itt: kcl.ac.uk
Bruno MeraInstituto de Telecomunicacões and Instituto Superior TécnicoE-mail megerősítve itt: tecnico.ulisboa.pt
Daowen QiuSun Yat-sen University

Követés

Paulo Mateus

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

E-mail megerősítve itt: math.ist.utl.pt - Kezdőlap

Applied Logic Quantum Information


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
Quantum secret sharing with classical Bobs L Li, D Qiu, P Mateus Journal of Physics A: Mathematical and Theoretical 46 (4), 045304, 2013	119	2013
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	82	2015
Weakly complete axiomatization of exogenous quantum propositional logic P Mateus, A Sernadas Information and Computation 204 (5), 771-794, 2006	82	2006
Reasoning about imperative quantum programs R Chadha, P Mateus, A Sernadas Electronic Notes in Theoretical Computer Science 158, 19-39, 2006	72	2006
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	66	2001
Security of a single-state semi-quantum key distribution protocol W Zhang, D Qiu, P Mateus Quantum Information Processing 17, 1-21, 2018	61	2018
Quantum key distribution with quantum walks C Vlachou, W Krawec, P Mateus, N Paunković, A Souto Quantum Information Processing 17 (11), 288, 2018	58	2018
Reasoning about probabilistic sequential programs R Chadha, L Cruz-Filipe, P Mateus, A Sernadas Theoretical Computer Science 379 (1-2), 142-165, 2007	56	2007
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	48	2012
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
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	43	2020
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	43	2008
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	42	2015
Reasoning about quantum systems P Mateus, A Sernadas European Workshop on Logics in Artificial Intelligence, 239-251, 2004	41	2004
On the complexity of minimizing probabilistic and quantum automata P Mateus, D Qiu, L Li Information and Computation 218, 36-53, 2012	39	2012
Geometry and dynamics of one-norm geometric quantum discord Z Huang, D Qiu, P Mateus Quantum Information Processing 15, 301-326, 2016	37	2016
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	34	2013
A process algebra for reasoning about quantum security P Adao, P Mateus Electronic Notes in Theoretical Computer Science 170, 3-21, 2007	34	2007
Exogenous quantum logic P Mateus, A Sernadas Proceedings of CombLog 4, 141-149, 2004	34	2004

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők