António José dos Reis Morgado
AuthID: R-00K-JMR
1
TITLE: Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
AUTHORS: Yacine Izza; Xuanxiang Huang; Morgado, António; Jordi Planes; Alexey Ignatiev; João Marques Silva;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2405.08297
AUTHORS: Yacine Izza; Xuanxiang Huang; Morgado, António; Jordi Planes; Alexey Ignatiev; João Marques Silva;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2405.08297
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: Checking Robustness of Neural Network Models for the Classification of Malware
AUTHORS: Teresa Alsinet; Josep Argelich; Ramón Béjar; Morgado, António; Jordi Planes;
PUBLISHED: 2024, SOURCE: 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
AUTHORS: Teresa Alsinet; Josep Argelich; Ramón Béjar; Morgado, António; Jordi Planes;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
AUTHORS: Ramos, Frederico; Reis, Diogo Costa; Trigo, Miguel; Morgado, António; Santos, Jose Fragoso;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Ramos, Frederico; Reis, Diogo Costa; Trigo, Miguel; Morgado, António; Santos, Jose Fragoso;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: 
Scopus 
WOS
Scopus WOS4
TITLE: MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
AUTHORS: Frederico Ramos; Diogo Costa Reis; Miguel Trigo; Morgado, António; José Fragoso Santos;
PUBLISHED: 2023, SOURCE: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023
AUTHORS: Frederico Ramos; Diogo Costa Reis; Miguel Trigo; Morgado, António; José Fragoso Santos;
PUBLISHED: 2023, SOURCE: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP5
TITLE: Feature Necessity & Relevancy in ML Classifier Explanations
AUTHORS: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; João Marques Silva;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; João Marques Silva;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP6
TITLE: On Logic-Based Explainability with Partially Specified Inputs
AUTHORS: Ramón Béjar; Morgado, António; Jordi Planes; João Marques Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.15803
AUTHORS: Ramón Béjar; Morgado, António; Jordi Planes; João Marques Silva;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.15803
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP7
TITLE: Computing generating sets of minimal size in finite algebras
AUTHORS: Mikolás Janota; Morgado, António; Petr Vojtechovský;
PUBLISHED: 2023, SOURCE: J. Symb. Comput., VOLUME: 119
AUTHORS: Mikolás Janota; Morgado, António; Petr Vojtechovský;
PUBLISHED: 2023, SOURCE: J. Symb. Comput., VOLUME: 119
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP8
TITLE: Feature Necessity & Relevancy in ML Classifier Explanations
AUTHORS: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; Joao Marques-Silva;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Tools and Algorithms for the Construction and Analysis of Systems
AUTHORS: Xuanxiang Huang; Martin C Cooper; Morgado, António; Jordi Planes; Joao Marques-Silva;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Tools and Algorithms for the Construction and Analysis of Systems
9
TITLE: MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
AUTHORS: Frederico Ramos; Diogo Costa Reis; Miguel Trigo; Morgado, António; José Fragoso Santos;
PUBLISHED: 2023, SOURCE: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
AUTHORS: Frederico Ramos; Diogo Costa Reis; Miguel Trigo; Morgado, António; José Fragoso Santos;
PUBLISHED: 2023, SOURCE: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
