António José dos Reis Morgado
AuthID: R-00K-JMR
1
TÃTULO: Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
AUTORES: Yacine Izza; Xuanxiang Huang; Morgado, António; Jordi Planes; Alexey Ignatiev; João Marques Silva;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2405.08297
AUTORES: Yacine Izza; Xuanxiang Huang; Morgado, António; Jordi Planes; Alexey Ignatiev; João Marques Silva;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2405.08297
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP2
TÃTULO: Checking Robustness of Neural Network Models for the Classification of Malware
AUTORES: Teresa Alsinet; Josep Argelich; Ramón Béjar; Morgado, António; Jordi Planes;
PUBLICAÇÃO: 2024, FONTE: Artificial Intelligence Research and Development - Proceedings of the 26th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2024, Barcelona, Spain, 2-4 October 2024., VOLUME: 390
AUTORES: Teresa Alsinet; Josep Argelich; Ramón Béjar; Morgado, António; Jordi Planes;
PUBLICAÇÃO: 2024, FONTE: Artificial Intelligence Research and Development - Proceedings of the 26th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2024, Barcelona, Spain, 2-4 October 2024., VOLUME: 390
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP3
TÃTULO: MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
AUTORES: Ramos, Frederico; Reis, Diogo Costa; Trigo, Miguel; Morgado, António; Santos, Jose Fragoso;
PUBLICAÇÃO: 2023, FONTE: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) in PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023
AUTORES: Ramos, Frederico; Reis, Diogo Costa; Trigo, Miguel; Morgado, António; Santos, Jose Fragoso;
PUBLICAÇÃO: 2023, FONTE: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) in PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023
INDEXADO EM: 
Scopus 
WOS
Scopus WOS4
TÃTULO: MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
AUTORES: Frederico Ramos; Diogo Costa Reis; Miguel Trigo; Morgado, António; José Fragoso Santos;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023
AUTORES: Frederico Ramos; Diogo Costa Reis; Miguel Trigo; Morgado, António; José Fragoso Santos;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: Feature Necessity & Relevancy in ML Classifier Explanations
AUTORES: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; João Marques Silva;
PUBLICAÇÃO: 2023, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I, VOLUME: 13993
AUTORES: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; João Marques Silva;
PUBLICAÇÃO: 2023, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I, VOLUME: 13993
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP6
TÃTULO: On Logic-Based Explainability with Partially Specified Inputs
AUTORES: Ramón Béjar; Morgado, António; Jordi Planes; João Marques Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2306.15803
AUTORES: Ramón Béjar; Morgado, António; Jordi Planes; João Marques Silva;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2306.15803
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP7
TÃTULO: Computing generating sets of minimal size in finite algebras
AUTORES: Mikolás Janota; Morgado, António; Petr Vojtechovský;
PUBLICAÇÃO: 2023, FONTE: J. Symb. Comput., VOLUME: 119
AUTORES: Mikolás Janota; Morgado, António; Petr Vojtechovský;
PUBLICAÇÃO: 2023, FONTE: J. Symb. Comput., VOLUME: 119
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP8
TÃTULO: Feature Necessity & Relevancy in ML Classifier Explanations
AUTORES: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; Joao Marques-Silva;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Tools and Algorithms for the Construction and Analysis of Systems
AUTORES: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; Joao Marques-Silva;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Tools and Algorithms for the Construction and Analysis of Systems
9
TÃTULO: MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
AUTORES: Frederico Ramos; Diogo Costa Reis; Miguel Trigo; Morgado, António; José Fragoso Santos;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
AUTORES: Frederico Ramos; Diogo Costa Reis; Miguel Trigo; Morgado, António; José Fragoso Santos;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
