Armando Barbot Campos Matos
AuthID: R-000-2GQ
1
TÃTULO: The fixed point problem of a simple reversible language Full Text
AUTORES: Armando B Matos; Luca Paolini; Luca Roversi;
PUBLICAÇÃO: 2020, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 813
AUTORES: Armando B Matos; Luca Paolini; Luca Roversi;
PUBLICAÇÃO: 2020, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 813
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: The fixed point problem for general and for linear SRL programs is undecidable
AUTORES: Matos, AB; Paolini, L; Roversi, L;
PUBLICAÇÃO: 2018, FONTE: 19th Italian Conference on Theoretical Computer Science, ICTCS 2018 in CEUR Workshop Proceedings, VOLUME: 2243
AUTORES: Matos, AB; Paolini, L; Roversi, L;
PUBLICAÇÃO: 2018, FONTE: 19th Italian Conference on Theoretical Computer Science, ICTCS 2018 in CEUR Workshop Proceedings, VOLUME: 2243
INDEXADO EM: Scopus
Scopus3
TÃTULO: Distinguishing Two Probability Ensembles with One Sample from each Ensemble Full Text
AUTORES: Luis Antunes ; Harry Buhrman; Armando Matos; Andre Souto ; Andreia Teixeira ;
PUBLICAÇÃO: 2016, FONTE: THEORY OF COMPUTING SYSTEMS, VOLUME: 59, NÚMERO: 3
AUTORES: Luis Antunes ; Harry Buhrman; Armando Matos; Andre Souto ; Andreia Teixeira ;
PUBLICAÇÃO: 2016, FONTE: THEORY OF COMPUTING SYSTEMS, VOLUME: 59, NÚMERO: 3
4
TÃTULO: The efficiency of primitive recursive functions: A programmer's view Full Text
AUTORES: Armando B Matos;
PUBLICAÇÃO: 2015, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 594
AUTORES: Armando B Matos;
PUBLICAÇÃO: 2015, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 594
5
TÃTULO: Solid luminescent CdSe-thiolated porous phosphate heterostructures. Application in fingermark detection in different surfaces. Cd-Se-thiolated porous phosphate for fingerprint detection Full Text
AUTORES: Algarra, M; Jimenez Jimenez, J; Miranda, MS ; Campos, BB; Moreno Tost, R; Rodriguez Castellon, E; Esteves da Silva, JCGE ;
PUBLICAÇÃO: 2013, FONTE: SURFACE AND INTERFACE ANALYSIS, VOLUME: 45, NÚMERO: 2
AUTORES: Algarra, M; Jimenez Jimenez, J; Miranda, MS ; Campos, BB; Moreno Tost, R; Rodriguez Castellon, E; Esteves da Silva, JCGE ;
PUBLICAÇÃO: 2013, FONTE: SURFACE AND INTERFACE ANALYSIS, VOLUME: 45, NÚMERO: 2
6
TÃTULO: Galois Field Commitment Scheme
AUTORES: Alexandre Pinto; Andre Souto ; Armando Matos; Luis Filipe Coelho Antunes ;
PUBLICAÇÃO: 2006, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2006
AUTORES: Alexandre Pinto; Andre Souto ; Armando Matos; Luis Filipe Coelho Antunes ;
PUBLICAÇÃO: 2006, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2006
INDEXADO EM: 
DBLP
DBLP7
TÃTULO: A matrix model for the flow of control in prolog programs with applications to profiling
AUTORES: Armando B Matos;
PUBLICAÇÃO: 1994, FONTE: Softw: Pract. Exper. - Software: Practice and Experience, VOLUME: 24, NÚMERO: 8
AUTORES: Armando B Matos;
PUBLICAÇÃO: 1994, FONTE: Softw: Pract. Exper. - Software: Practice and Experience, VOLUME: 24, NÚMERO: 8
INDEXADO EM: 
CrossRef
CrossRef8
TÃTULO: Periodic sets of integers Full Text
AUTORES: Armando B Matos;
PUBLICAÇÃO: 1994, FONTE: Theoretical Computer Science, VOLUME: 127, NÚMERO: 2
AUTORES: Armando B Matos;
PUBLICAÇÃO: 1994, FONTE: Theoretical Computer Science, VOLUME: 127, NÚMERO: 2
INDEXADO EM: CrossRef
CrossRef9
TÃTULO: Some results on the complexity of SLD-derivations
AUTORES: Matos, AB;
PUBLICAÇÃO: 1993, FONTE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 727 LNAI
AUTORES: Matos, AB;
PUBLICAÇÃO: 1993, FONTE: 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 727 LNAI
INDEXADO EM: Scopus
Scopus