Paulo Alexandre Carreira Mateus


AuthID: R-000-E8H

Confirmed Publications: 52



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

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service