Paulo Alexandre Carreira Mateus


AuthID: R-000-E8H

Publicações Confirmadas: 52



21
TÍTULO: On the complexity of minimizing probabilistic and quantum automata  Full Text
AUTORES: Paulo Mateus ; Daowen W Qiu ; Lvzhou Z Li;
PUBLICAÇÃO: 2012, FONTE: INFORMATION AND COMPUTATION, VOLUME: 218
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
22
TÍTULO: Reducing factorization of a semiprime number to the integration of highly oscillatory functions  Full Text
AUTORES: Mateus, P ; Vieira, VR ;
PUBLICAÇÃO: 2012, FONTE: APPLIED MATHEMATICS LETTERS, VOLUME: 25, NÚMERO: 11
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
23
TÍTULO: Fair and optimistic quantum contract signing
AUTORES: Paunkovic, N ; Bouda, J; Mateus, P ;
PUBLICAÇÃO: 2011, FONTE: PHYSICAL REVIEW A, VOLUME: 84, NÚMERO: 6
INDEXADO EM: Scopus WOS
NO MEU: ORCID
24
TÍTULO: Multi-letter quantum finite automata: decidability of the equivalence and minimization of states  Full Text
AUTORES: Daowen W Qiu ; Lvzhou Z Li; Xiangfu F Zou; Paulo Mateus ; Jozef Gruska;
PUBLICAÇÃO: 2011, FONTE: ACTA INFORMATICA, VOLUME: 48, NÚMERO: 5-6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
25
TÍTULO: Statistical model for a quantum noiseless subsystem  Full Text
AUTORES: Jose Claudio do Nascimento; Paulo Mateus ;
PUBLICAÇÃO: 2011, FONTE: OPTICS COMMUNICATIONS, VOLUME: 284, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
26
TÍTULO: Extending Classical Logic for Reasoning About Quantum Systems
AUTORES: Chadha, R; Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2009, FONTE: Handbook of Quantum Logic and Quantum Structures
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
27
TÍTULO: On Tamper-Resistance from a Theoretical Viewpoint The Power of Seals
AUTORES: Paulo Mateus ; Serge Vaudenay;
PUBLICAÇÃO: 2009, FONTE: 11th International Workshop on Cryptographic Hardware and Embedded Systems in CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2009, PROCEEDINGS, VOLUME: 5747
INDEXADO EM: Scopus WOS
NO MEU: ORCID
28
TÍTULO: Temporalization of probabilistic propositional logic
AUTORES: Baltazar, P; Mateus, P ;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
29
TÍTULO: On the power of quantum tamper-proof devices  Full Text
AUTORES: Bouda, J; Mateus, P ; Paunkovic, N ; Rasga, J ;
PUBLICAÇÃO: 2008, FONTE: Lisbon Quantum Computation, Information and Logic Meeting on Quantum Cryptography and Security in INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, VOLUME: 6, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID
30
TÍTULO: Quantum computation tree logic - Model checking and complete calculus  Full Text
AUTORES: Baltazar, P; Chadha, R; Mateus, P ;
PUBLICAÇÃO: 2008, FONTE: Lisbon Quantum Computation, Information and Logic Meeting on Quantum Cryptography and Security in INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, VOLUME: 6, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID
Página 3 de 6. Total de resultados: 52.

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

Links Úteis

Ajuda

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