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