Paulo Alexandre Carreira Mateus


AuthID: R-000-E8H

Confirmed Publications: 52



21
TITLE: On the complexity of minimizing probabilistic and quantum automata  Full Text
AUTHORS: Paulo Mateus ; Daowen W Qiu ; Lvzhou Z Li;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 218
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
22
TITLE: Reducing factorization of a semiprime number to the integration of highly oscillatory functions  Full Text
AUTHORS: Mateus, P ; Vieira, VR ;
PUBLISHED: 2012, SOURCE: APPLIED MATHEMATICS LETTERS, VOLUME: 25, ISSUE: 11
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
23
TITLE: Fair and optimistic quantum contract signing
AUTHORS: Paunkovic, N ; Bouda, J; Mateus, P ;
PUBLISHED: 2011, SOURCE: PHYSICAL REVIEW A, VOLUME: 84, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID
24
TITLE: Multi-letter quantum finite automata: decidability of the equivalence and minimization of states  Full Text
AUTHORS: Daowen W Qiu ; Lvzhou Z Li; Xiangfu F Zou; Paulo Mateus ; Jozef Gruska;
PUBLISHED: 2011, SOURCE: ACTA INFORMATICA, VOLUME: 48, ISSUE: 5-6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
25
TITLE: Statistical model for a quantum noiseless subsystem  Full Text
AUTHORS: Jose Claudio do Nascimento; Paulo Mateus ;
PUBLISHED: 2011, SOURCE: OPTICS COMMUNICATIONS, VOLUME: 284, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
26
TITLE: Extending Classical Logic for Reasoning About Quantum Systems
AUTHORS: Chadha, R; Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2009, SOURCE: Handbook of Quantum Logic and Quantum Structures
INDEXED IN: Scopus CrossRef
IN MY: ORCID
27
TITLE: On Tamper-Resistance from a Theoretical Viewpoint The Power of Seals
AUTHORS: Paulo Mateus ; Serge Vaudenay;
PUBLISHED: 2009, SOURCE: 11th International Workshop on Cryptographic Hardware and Embedded Systems in CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2009, PROCEEDINGS, VOLUME: 5747
INDEXED IN: Scopus WOS
IN MY: ORCID
28
TITLE: Temporalization of probabilistic propositional logic
AUTHORS: Baltazar, P; Mateus, P ;
PUBLISHED: 2009, SOURCE: International Symposium on Logical Foundations of Computer Science, LFCS 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5407 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
29
TITLE: On the power of quantum tamper-proof devices  Full Text
AUTHORS: Bouda, J; Mateus, P ; Paunkovic, N ; Rasga, J ;
PUBLISHED: 2008, SOURCE: Lisbon Quantum Computation, Information and Logic Meeting on Quantum Cryptography and Security in INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, VOLUME: 6, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID
30
TITLE: Quantum computation tree logic - Model checking and complete calculus  Full Text
AUTHORS: Baltazar, P; Chadha, R; Mateus, P ;
PUBLISHED: 2008, SOURCE: Lisbon Quantum Computation, Information and Logic Meeting on Quantum Cryptography and Security in INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, VOLUME: 6, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 3 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