Paulo Alexandre Carreira Mateus
AuthID: R-000-E8H
61
TÃTULO: Oblivious transfer based on quantum state computational distinguishability PDF
AUTORES: André Souto; Paulo Mateus; Pedro Adão ; Nikola Paunkovic;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1403.6022
AUTORES: André Souto; Paulo Mateus; Pedro Adão ; Nikola Paunkovic;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1403.6022
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv62
TÃTULO: Quantum Communications [Guest Editorial] Full Text
AUTORES: Sandor Imre; Paulo Mateus; Peter Nagy; Anton Zavriyev;
PUBLICAÇÃO: 2013, FONTE: IEEE Commun. Mag. - IEEE Communications Magazine, VOLUME: 51, NÚMERO: 8
AUTORES: Sandor Imre; Paulo Mateus; Peter Nagy; Anton Zavriyev;
PUBLICAÇÃO: 2013, FONTE: IEEE Commun. Mag. - IEEE Communications Magazine, VOLUME: 51, NÚMERO: 8
63
TÃTULO: Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete
AUTORES: Adao, P; Mateus, P; Vigano, L;
PUBLICAÇÃO: 2013, FONTE: Theoretical Computer Science
AUTORES: Adao, P; Mateus, P; Vigano, L;
PUBLICAÇÃO: 2013, FONTE: Theoretical Computer Science
INDEXADO EM: 
Scopus
Scopus64
TÃTULO: Fair and optimistic quantum contract signing
AUTORES: Paunković, N; Bouda, J; Mateus, P;
PUBLICAÇÃO: 2011, FONTE: Phys. Rev. A - Physical Review A, VOLUME: 84, NÚMERO: 6
AUTORES: Paunković, N; Bouda, J; Mateus, P;
PUBLICAÇÃO: 2011, FONTE: Phys. Rev. A - Physical Review A, VOLUME: 84, NÚMERO: 6
65
TÃTULO: On Tamper-Resistance from a Theoretical Viewpoint
AUTORES: Paulo Mateus; Serge Vaudenay;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science - Cryptographic Hardware and Embedded Systems - CHES 2009
AUTORES: Paulo Mateus; Serge Vaudenay;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science - Cryptographic Hardware and Embedded Systems - CHES 2009
66
TÃTULO: QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS Full Text
AUTORES: BALTAZAR, P; CHADHA, R; MATEUS, P;
PUBLICAÇÃO: 2008, FONTE: International Journal of Quantum Information - Int. J. Quanum Inform., VOLUME: 06, NÚMERO: 02
AUTORES: BALTAZAR, P; CHADHA, R; MATEUS, P;
PUBLICAÇÃO: 2008, FONTE: International Journal of Quantum Information - Int. J. Quanum Inform., VOLUME: 06, NÚMERO: 02
67
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: International Journal of Quantum Information - Int. J. Quanum Inform., VOLUME: 06, NÚMERO: 02
AUTORES: BOUDA, J; MATEUS, P; PAUNKOVIC, N; RASGA, J;
PUBLICAÇÃO: 2008, FONTE: International Journal of Quantum Information - Int. J. Quanum Inform., VOLUME: 06, NÚMERO: 02
68
TÃTULO: Extending Classical Logic for Reasoning About Quantum Systems
AUTORES: Rohit Chadha; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas;
PUBLICAÇÃO: 2008, FONTE: Handbook of Quantum Logic and Quantum Structures: Quantum Logic
AUTORES: Rohit Chadha; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas;
PUBLICAÇÃO: 2008, FONTE: Handbook of Quantum Logic and Quantum Structures: Quantum Logic
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID69
TÃTULO: Quantum Institutions
AUTORES: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2006, FONTE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
AUTORES: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2006, FONTE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
INDEXADO EM: DBLP
DBLP70
TÃTULO: Editorial
AUTORES: Walter Carnielli; Paulo Mateus;
PUBLICAÇÃO: 2005, FONTE: Logic Journal of the IGPL, VOLUME: 13, NÚMERO: 6
AUTORES: Walter Carnielli; Paulo Mateus;
PUBLICAÇÃO: 2005, FONTE: Logic Journal of the IGPL, VOLUME: 13, NÚMERO: 6
