Paulo Alexandre Carreira Mateus
AuthID: R-000-E8H
31
TITLE: Oblivious transfer based on quantum state computational distinguishability PDF
AUTHORS: André Souto; Paulo Mateus; Pedro Adão ; Nikola Paunkovic;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1403.6022
AUTHORS: André Souto; Paulo Mateus; Pedro Adão ; Nikola Paunkovic;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1403.6022
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv32
TITLE: Quantum Communications [Guest Editorial] Full Text
AUTHORS: Sandor Imre; Paulo Mateus; Peter Nagy; Anton Zavriyev;
PUBLISHED: 2013, SOURCE: IEEE Commun. Mag. - IEEE Communications Magazine, VOLUME: 51, ISSUE: 8
AUTHORS: Sandor Imre; Paulo Mateus; Peter Nagy; Anton Zavriyev;
PUBLISHED: 2013, SOURCE: IEEE Commun. Mag. - IEEE Communications Magazine, VOLUME: 51, ISSUE: 8
33
TITLE: Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete
AUTHORS: Adao, P; Mateus, P; Vigano, L;
PUBLISHED: 2013, SOURCE: Theoretical Computer Science
AUTHORS: Adao, P; Mateus, P; Vigano, L;
PUBLISHED: 2013, SOURCE: Theoretical Computer Science
INDEXED IN: 
Scopus
Scopus34
TITLE: Fair and optimistic quantum contract signing
AUTHORS: Paunković, N; Bouda, J; Mateus, P;
PUBLISHED: 2011, SOURCE: Phys. Rev. A - Physical Review A, VOLUME: 84, ISSUE: 6
AUTHORS: Paunković, N; Bouda, J; Mateus, P;
PUBLISHED: 2011, SOURCE: Phys. Rev. A - Physical Review A, VOLUME: 84, ISSUE: 6
35
TITLE: On Tamper-Resistance from a Theoretical Viewpoint
AUTHORS: Paulo Mateus; Serge Vaudenay;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science - Cryptographic Hardware and Embedded Systems - CHES 2009
AUTHORS: Paulo Mateus; Serge Vaudenay;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science - Cryptographic Hardware and Embedded Systems - CHES 2009
36
TITLE: QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS Full Text
AUTHORS: BALTAZAR, P; CHADHA, R; MATEUS, P;
PUBLISHED: 2008, SOURCE: International Journal of Quantum Information - Int. J. Quanum Inform., VOLUME: 06, ISSUE: 02
AUTHORS: BALTAZAR, P; CHADHA, R; MATEUS, P;
PUBLISHED: 2008, SOURCE: International Journal of Quantum Information - Int. J. Quanum Inform., VOLUME: 06, ISSUE: 02
37
TITLE: ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES Full Text
AUTHORS: BOUDA, J; MATEUS, P; PAUNKOVIC, N; RASGA, J;
PUBLISHED: 2008, SOURCE: International Journal of Quantum Information - Int. J. Quanum Inform., VOLUME: 06, ISSUE: 02
AUTHORS: BOUDA, J; MATEUS, P; PAUNKOVIC, N; RASGA, J;
PUBLISHED: 2008, SOURCE: International Journal of Quantum Information - Int. J. Quanum Inform., VOLUME: 06, ISSUE: 02
38
TITLE: Quantum Institutions
AUTHORS: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2006, SOURCE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
AUTHORS: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2006, SOURCE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
INDEXED IN: DBLP
DBLP39
TITLE: Combining Logics: Parchments Revisited
AUTHORS: Carlos Caleiro; Paulo Mateus; Jaime Ramos; Amílcar Sernadas;
PUBLISHED: 2001, SOURCE: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, VOLUME: 2267
AUTHORS: Carlos Caleiro; Paulo Mateus; Jaime Ramos; Amílcar Sernadas;
PUBLISHED: 2001, SOURCE: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, VOLUME: 2267
INDEXED IN: DBLP
DBLP40
TITLE: Realization of probabilistic automata: Categorical approach
AUTHORS: Mateus, P; Sernadas, A; Sernadas, C;
PUBLISHED: 2000, SOURCE: 14th International Workshop on Algebraic Development Techniques, WADT 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1827
AUTHORS: Mateus, P; Sernadas, A; Sernadas, C;
PUBLISHED: 2000, SOURCE: 14th International Workshop on Algebraic Development Techniques, WADT 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1827
INDEXED IN: Scopus
Scopus