Paulo Alexandre Carreira Mateus
AuthID: R-000-E8H
22
TÃTULO: Information-Theoretical Criteria for Characterizing the Earliness of Time-Series Data Full Text
AUTORES: Lemus, M; Beirao, JP; Paunkovic, N; Carvalho, AM; Mateus, P;
PUBLICAÇÃO: 2020, FONTE: ENTROPY, VOLUME: 22, NÚMERO: 1
AUTORES: Lemus, M; Beirao, JP; Paunkovic, N; Carvalho, AM; Mateus, P;
PUBLICAÇÃO: 2020, FONTE: ENTROPY, VOLUME: 22, NÚMERO: 1
24
TÃTULO: Recoverability from direct quantum correlations
AUTORES: Di Giorgio, S; Mateus, P; Mera, B;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, VOLUME: 53, NÚMERO: 18
AUTORES: Di Giorgio, S; Mateus, P; Mera, B;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, VOLUME: 53, NÚMERO: 18
25
TÃTULO: Generation and Distribution of Quantum Oblivious Keys for Secure Multiparty Computation
AUTORES: Lemus, M; Ramos, MF; Yadav, P; Silva, NA; Muga, NJ; Souto, A ; Paunkovic, N; Mateus, P; Pinto, AN;
PUBLICAÇÃO: 2020, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 10, NÚMERO: 12
AUTORES: Lemus, M; Ramos, MF; Yadav, P; Silva, NA; Muga, NJ; Souto, A ; Paunkovic, N; Mateus, P; Pinto, AN;
PUBLICAÇÃO: 2020, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 10, NÚMERO: 12
26
TÃTULO: Super modules-based active QR codes for smart trackability and IoT: a responsive-banknotes case study
AUTORES: Ramalho, JFCB; Correia, SFH; Fu, LS; Dias, LMS; Adao, P; Mateus, P; Ferreira, RAS; Andre, PS;
PUBLICAÇÃO: 2020, FONTE: NPJ FLEXIBLE ELECTRONICS, VOLUME: 4, NÚMERO: 1
AUTORES: Ramalho, JFCB; Correia, SFH; Fu, LS; Dias, LMS; Adao, P; Mateus, P; Ferreira, RAS; Andre, PS;
PUBLICAÇÃO: 2020, FONTE: NPJ FLEXIBLE ELECTRONICS, VOLUME: 4, NÚMERO: 1
28
TÃTULO: Quantum enabled private recognition of composite signals in genome and proteins
AUTORES: Pinto, AN; Ortiz, L; Santos, M; Gomes, AC; Brito, JP; Muga, NJ; Silva, NA; Mateus, P; Martin, V;
PUBLICAÇÃO: 2020, FONTE: 22nd International Conference on Transparent Optical Networks, ICTON 2020 in International Conference on Transparent Optical Networks, VOLUME: 2020-July
AUTORES: Pinto, AN; Ortiz, L; Santos, M; Gomes, AC; Brito, JP; Muga, NJ; Silva, NA; Mateus, P; Martin, V;
PUBLICAÇÃO: 2020, FONTE: 22nd International Conference on Transparent Optical Networks, ICTON 2020 in International Conference on Transparent Optical Networks, VOLUME: 2020-July
29
TÃTULO: Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL
AUTORES: Ribeiro, M; Adão, P; Mateus, P;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12300 LNCS
AUTORES: Ribeiro, M; Adão, P; Mateus, P;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12300 LNCS