| 2026 | AAAI | Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures. | Mohammad Hossein Karimian, Shakil M. Khan, Yves Lesprance |
| 2025 | AAAI | Reasoning About Actual Causes in Nondeterministic Domains. | Shakil M. Khan, Yves Lesprance, Maryam Rostamigiv |
| 2025 | AI | On the Semantics of Actual Causality in Situation Calculus Concurrent Game Structures. | Mohammad Hossein Karimian, Shakil M. Khan, Yves Lesprance |
| 2025 | IJCAI | Reasoning About Causal Knowledge in Nondeterministic Domains. | Shakil M. Khan, Yves Lesprance, Maryam Rostamigiv |
| 2024 | AAAI | Abstraction of Situation Calculus Concurrent Game Structures. | Yves Lesprance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan |
| 2024 | AI | Towards a Definition of Primary Cause in Hybrid Dynamic Domains. | Asim Mehmood, Shakil M. Khan |
| 2024 | ER | Generating Secure Workflow Designs from Requirements Goal Models Using Patterns. | Sotirios Liaskos, Ibrahim Jaouhar, Syed Muhammad Danish, Shakil M. Khan |
| 2024 | ER | Model-Driven Design and Generation of Training Simulators for Reinforcement Learning. | Sotirios Liaskos, Shakil M. Khan, John Mylopoulos, Reza Golipour |
| 2024 | ER | Modeling and Reasoning About Explanation Requirements Using Goal Models. | Sotirios Liaskos, John Mylopoulos, Alexander Borgida, Shakil M. Khan |
| 2024 | EUMAS | A Logic of Actual Cause for Nondeterministic Domains. | Maryam Rostamigiv, Shakil M. Khan, Yves Lesprance, Mriana Yadkoo |
| 2023 | ECAI | On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind. | Shakil M. Khan, Maryam Rostamigiv |
| 2023 | ER | Towards model-driven generation of secure workflow designs using patterns (short paper). | Sotirios Liaskos, Ibrahim Jaouhar, Shakil M. Khan |
| 2022 | AAAI | From Actions to Programs as Abstract Actual Causes. | Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski |
| 2021 | ER | Empirically Evaluating the Semantic Qualities of Language Vocabularies. | Sotirios Liaskos, John Mylopoulos, Shakil M. Khan |
| 2021 | ICLP | When is a Program an Actual Cause? | Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski |
| 2020 | ECAI | Necessary and Sufficient Conditions for Actual Root Causes. | Shakil M. Khan, Mikhail Soutchanski |
| 2019 | AI | Towards Causal Analysis of Protocol Violations. | Shakil M. Khan, Mikhail Soutchanski |
| 2016 | KR | Infinite Paths in the Situation Calculus: Axiomatization and Properties. | Shakil M. Khan, Yves Lesprance |
| 2013 | ER | Modeling and Reasoning with Decision-Theoretic Goals. | Sotirios Liaskos, Shakil M. Khan, Mikhail Soutchanski, John Mylopoulos |
| 2003 | ICDM | Objective and Subjective Algorithms for Grouping Association Rules. | Aijun An, Shakil M. Khan, Xiangji Huang |
| 2002 | SMC | Temporal relevance in dynamic decision networks with sparse evidence. | Ahmed Y. Tawfik, Shakil M. Khan |