| 2026 | AAAI | Can You Tell the Difference? Contrastive Explanations for ABox Entailments. | Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo, Balram Tiwari |
| 2026 | AAAI | Structure-Aware Encodings of Argumentation Properties for Clique-width. | Yasir Mahmood, Markus Hecher, Johanna Groven, Johannes Klaus Fichte |
| 2026 | KR | ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics. | Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan |
| 2025 | AAAI | Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases. | Yasir Mahmood, Markus Hecher, Axel-Cyrille Ngonga Ngomo |
| 2025 | IJCAI | Facets in Argumentation: A Formal Approach to Argument Significance. | Johannes Klaus Fichte, Nicolas Frhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson |
| 2024 | ECAI | Rejection in Abstract Argumentation: Harder Than Acceptance? | Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier |
| 2024 | IJCAI | Quantitative Claim-Centric Reasoning in Logic-Based Argumentation. | Markus Hecher, Yasir Mahmood, Arne Meier, Johannes Schmidt |
| 2023 | IJCAI | Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation. | Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier |
| 2023 | JELIA | Logics with Probabilistic Team Semantics and the Boolean Negation. | Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema |
| 2023 | WoLLIC | Parameterized Complexity of Propositional Inclusion and Independence Logic. | Yasir Mahmood, Jonni Virtema |
| 2022 | LFCS | A Parameterized View on the Complexity of Dependence Logic. | Juha Kontinen, Arne Meier, Yasir Mahmood |
| 2021 | AAAI | Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework. | Yasir Mahmood, Arne Meier, Johannes Schmidt |
| 2021 | IJCAI | Decomposition-Guided Reductions for Argumentation and Treewidth. | Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier |
| 2020 | LFCS | Parameterised Complexity of Abduction in Schaefer's Framework. | Yasir Mahmood, Arne Meier, Johannes Schmidt |
| 2014 | AIMSA | Test Case Prioritization for NUnit Based Test Plans in Agile Environment. | Sohail Sarwar, Yasir Mahmood, Zia Ul-Qayyum, Imran Shafi |