METTEL textsc{Met hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. - Dmitry Tishkovsky; Renate A. Schmidt; Mohammad Khodadadi (TABLEAUX, 2011)

Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. - Stefan Minica; Mohammad Khodadadi; Renate A. Schmidt; Dmitry Tishkovsky (PAAR@IJCAR, 2012)

MetTeL2: Towards a Tableau Prover Generation Platform. - Dmitry Tishkovsky; Renate A. Schmidt; Mohammad Khodadadi (PAAR@IJCAR, 2012)

An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting. - Mohammad Khodadadi; Renate A. Schmidt; Dmitry Tishkovsky (Description Logics, 2012)

The Tableau Prover Generator MetTeL2. - Dmitry Tishkovsky; Renate A. Schmidt; Mohammad Khodadadi (JELIA, 2012)

A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI. - Mohammad Khodadadi; Renate A. Schmidt; Dmitry Tishkovsky (Description Logics, 2013)

A Refined Tableau Calculus with Controlled Blocking for the Description Logic. - Mohammad Khodadadi; Renate A. Schmidt; Dmitry Tishkovsky (TABLEAUX, 2013)

The OWA Weights of Improved Minimax Disparity Model. - Ghasem Tohidi; Mohammad Khodadadi (Int. J. Intell. Syst., 2015)

Exploration of variations of unrestricted blocking for description logics. - Mohammad Khodadadi (2015)

Supporting Digital Healthcare Services Using Semantic Web Technologies. - Gintaras Barisevicius; Martin Coste; David Geleta; Damir Juric; Mohammad Khodadadi; Giorgos Stoilos; Ilya Zaihrayeu (ISWC (2), 2018)

Reasoning with Textual Queries: A Case of Medical Text. - Damir Juric; Giorgos Stoilos; Szymon Wartak; Mohammad Khodadadi (ISWC (P&D/Industry/BlueSky), 2018)

Medical knowledge graph construction by aligning large biomedical datasets. - Michael Röder; Giorgos Stoilos; David Geleta; Jetendr Shamdasani; Mohammad Khodadadi (OM@ISWC, 2018)

A Novel Approach and Practical Algorithms for Ontology Integration. - Giorgos Stoilos; David Geleta; Jetendr Shamdasani; Mohammad Khodadadi (ISWC (1), 2018)

Methods and Metrics for Knowledge Base Engineering and Integration. - Giorgos Stoilos; David Geleta; Szymon Wartak; Sheldon Hall; Mohammad Khodadadi; Yizheng Zhao; Ghadah Alghamdi; Renate A. Schmidt (WOP@ISWC, 2018)

Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach. - Yizheng Zhao; Ghadah Alghamdi; Renate A. Schmidt; Hao Feng; Giorgos Stoilos; Damir Juric; Mohammad Khodadadi (AAAI, 2019)

Tracking Logical Difference in Industrial-Scale Ontologies. - Yizheng Zhao; Ghadah Alghamdi; Renate A. Schmidt; Hao Feng; Giorgos Stoilos; Damir Juric; Mohammad Khodadadi (Description Logics, 2019)

An Ontology-Based Interactive System for Understanding User Queries. - Giorgos Stoilos; Szymon Wartak; Damir Juric; Jonathan Moore; Mohammad Khodadadi (ESWC, 2019)

Babylon Health's Medical Knowledge Graph: Why, What, and How. - Claudia Schulz 001; Damir Juric; Jetendr Shamdasani; Martin Coste; Szymon Wartak; Aleksandar Savkov; Nils Hammerla; Mohammad Khodadadi (SWAT4HCLS, 2019)

PCB-Based Magnetometer as a Platform for Quantification of Lateral-Flow Assays. - Mohammad Khodadadi; Long Chang; João R. C. Trabuco; Binh Vu; Katerina Kourentzi; Richard C. Willson; Dmitri Litvinov (Sensors, 2019)

A System for Medical Information Extraction and Verification from Unstructured Text. - Damir Juric; Giorgos Stoilos; André Melo; Jonathan Moore; Mohammad Khodadadi (AAAI, 2020)

Hybrid Reasoning Over Large Knowledge Bases Using On-The-Fly Knowledge Extraction. - Giorgos Stoilos; Damir Juric; Szymon Wartak; Claudia Schulz 001; Mohammad Khodadadi (ESWC, 2020)

HyMo: Vulnerability Detection in Smart Contracts using a Novel Multi-Modal Hybrid Model. - Mohammad Khodadadi; Jafar Tahmoresnezhad (CoRR, 2023)

LLMs in the Loop: Leveraging Large Language Model Annotations for Active Learning in Low-Resource Languages. - Nataliia Kholodna; Sahib Julka; Mohammad Khodadadi; Muhammed Nurullah Gumus; Michael Granitzer (ECML/PKDD (10), 2024)