Paulo Alexandre Carreira Mateus


AuthID: R-000-E8H

Publicações Confirmadas: 52



11
TÍTULO: A temporal logic for planning under uncertainty
AUTORES: Biscaia, M; Baltazar, P; Mateus, P ; Nagarajan, R;
PUBLICAÇÃO: 2013, FONTE: 26th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2013 in FLAIRS 2013 - Proceedings of the 26th International Florida Artificial Intelligence Research Society Conference
INDEXADO EM: Scopus
NO MEU: ORCID
12
13
TÍTULO: QUANTUM COMMUNICATIONS  Full Text
AUTORES: Sandor Imre; Paulo Mateus ; Peter Nagy; Anton Zavriyev;
PUBLICAÇÃO: 2013, FONTE: IEEE COMMUNICATIONS MAGAZINE, VOLUME: 51, NÚMERO: 8
INDEXADO EM: Scopus WOS
NO MEU: ORCID
14
TÍTULO: Quantum secret sharing with classical Bobs  Full Text
AUTORES: Lvzhou Z Li; Daowen W Qiu ; Paulo Mateus ;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, VOLUME: 46, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
15
TÍTULO: Security Analyses and Improvement of Arbitrated Quantum Signature with an Untrusted Arbitrator  Full Text
AUTORES: Xiangfu F Zou; Daowen W Qiu; Paulo Mateus ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, VOLUME: 52, NÚMERO: 9
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
16
TÍTULO: State succinctness of two-way finite automata with quantum and classical states  Full Text
AUTORES: Shenggen G Zheng; Daowen W Qiu; Jozef Gruska; Lvzhou Z Li; Paulo Mateus ;
PUBLICAÇÃO: 2013, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 499
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
17
TÍTULO: Temporal logics for reasoning about quantum systems
AUTORES: Mateus, P ; Ramos, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2013, FONTE: Semantic Techniques in Quantum Computation
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
18
TÍTULO: Characterizations of one-way general quantum finite automata  Full Text
AUTORES: Lvzhou Z Li; Daowen W Qiu ; Xiangfu F Zou; Lvjun J Li; Lihua H Wu; Paulo Mateus ;
PUBLICAÇÃO: 2012, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 419
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
19
TÍTULO: Decidability and complexity for omega-regular properties of stochastic systems  Full Text
AUTORES: Henriques, D; Biscaia, M; Baltazar, P; Mateus, P ;
PUBLICAÇÃO: 2012, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 20, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
20
TÍTULO: Improving Classical Authentication over a Quantum Channel  Full Text
AUTORES: Francisco M Assis; Aleksandar Stojanovic; Paulo Mateus ; Yasser Omar ;
PUBLICAÇÃO: 2012, FONTE: ENTROPY, VOLUME: 14, NÚMERO: 12
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 2 de 6. Total de resultados: 52.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service