Paulo Mateus

Cituota

	Visi	Nuo 2019
Šaltiniai	2222	1115
h-rodyklė	26	16
i10-rodyklė	69	38

240

120

180

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 17 14 23 55 59 65 38 66 56 49 61 56 90 111 74 98 117 176 145 166 228 212 187

Viešas pasiekiamumas

Peržiūrėti viską

55 straipsniai

11 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaPatvirtintas el. paštas tecnico.ulisboa.pt
Nikola PaunkovicInstituto de TelecomunicaçõesPatvirtintas el. paštas math.ist.utl.pt
André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de TelecomunicaçõesPatvirtintas el. paštas fc.ul.pt
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalPatvirtintas el. paštas tecnico.ulisboa.pt
Lvzhou LiDepartment of Computer Science, Sun Yat-sen UniversityPatvirtintas el. paštas mail.sysu.edu.cn
Armando Nolasco PintoAssociate Professor, University of AveiroPatvirtintas el. paštas ua.pt
Pedro AdãoInstituto Superior Técnico (IST), University of Lisbon (UL) / Instituto de TelecomunicaçõesPatvirtintas el. paštas ist.utl.pt
Rohit ChadhaUniversity of MissouriPatvirtintas el. paštas missouri.edu
Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonPatvirtintas el. paštas ist.utl.pt
Alexandra M CarvalhoAssistant Professor, Instituto Superior Técnico, Technical University of LisbonPatvirtintas el. paštas tecnico.ulisboa.pt
Paulo AndréIST - Lisbon University (Instituto de Telecomunicações and Department Department of Electrical andPatvirtintas el. paštas lx.it.pt
João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaPatvirtintas el. paštas tecnico.ulisboa.pt
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegePatvirtintas el. paštas kcl.ac.uk
Bruno MeraInstituto de Telecomunicacões and Instituto Superior TécnicoPatvirtintas el. paštas tecnico.ulisboa.pt
Daowen QiuSun Yat-sen University

Stebėti

Paulo Mateus

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

Patvirtintas el. paštas math.ist.utl.pt - Pagrindinis puslapis

Applied Logic Quantum Information


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Quantum secret sharing with classical Bobs L Li, D Qiu, P Mateus Journal of Physics A: Mathematical and Theoretical 46 (4), 045304, 2013	111	2013
Weakly complete axiomatization of exogenous quantum propositional logic P Mateus, A Sernadas Information and Computation 204 (5), 771-794, 2006	81	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	76	2015
Reasoning about imperative quantum programs R Chadha, P Mateus, A Sernadas Electronic Notes in Theoretical Computer Science 158, 19-39, 2006	70	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	66	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	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
Quantum key distribution with quantum walks C Vlachou, W Krawec, P Mateus, N Paunković, A Souto Quantum Information Processing 17 (11), 288, 2018	54	2018
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	45	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	40	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	40	2008
Reasoning about quantum systems P Mateus, A Sernadas European Workshop on Logics in Artificial Intelligence, 239-251, 2004	40	2004
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	38	2015
On the complexity of minimizing probabilistic and quantum automata P Mateus, D Qiu, L Li Information and Computation 218, 36-53, 2012	38	2012
Geometry and dynamics of one-norm geometric quantum discord Z Huang, D Qiu, P Mateus Quantum Information Processing 15, 301-326, 2016	36	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
Exogenous quantum logic P Mateus, A Sernadas Proceedings of CombLog 4, 141-149, 2004	34	2004
A process algebra for reasoning about quantum security P Adao, P Mateus Electronic Notes in Theoretical Computer Science 170, 3-21, 2007	33	2007

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai