Securing XML Web Services by using a Proxy Web Service Model. - Quratul-ain Mahesar; Asadullah Shah (SCSS (1), 2007)

A Term Rewriting System for Kuratowski's Closure-Complement Problem. - Osama Al-Hassani; Quratul-ain Mahesar; Claudio Sacerdoti Coen; Volker Sorge (RTA, 2012)

Algebraic Theory Exploration: A Comparison of Technologies. - Quratul-ain Mahesar; Volker Sorge (SYNASC, 2012)

Computing relatively large algebraic structures by automated theory exploration. - Quratul-ain Mahesar (2014)

Uncertainty Management for Rule-Based Decision Support Systems. - Quratul-ain Mahesar; Vania Dimitrova; Derek R. Magee; Anthony G. Cohn 001 (ICTAI, 2017)

ATU-DSS: Knowledge-Driven Data Integration and Reasoning for Sustainable Subsurface Inter-asset Management. - Lijun Wei; Heshan Du; Quratul-ain Mahesar; Barry Clarke; Derek R. Magee; Vania Dimitrova; David Gunn; David Entwisle; Helen Reeves; Anthony G. Cohn 001 (ESWC (Satellite Events), 2018)

Computing Argument Preferences and Explanations in Abstract Argumentation. - Quratul-ain Mahesar (ICTAI, 2018)

Automated Reasoning for City Infrastructure Maintenance Decision Support. - Lijun Wei; Derek R. Magee; Vania Dimitrova; Barry Clarke; Heshan Du; Quratul-ain Mahesar; Kareem Al Ammari; Anthony G. Cohn 001 (IJCAI, 2018)

Computing Preferences in Abstract Argumentation. - Quratul-ain Mahesar; Nir Oren; Wamberto Weber Vasconcelos (PRIMA, 2018)

Preference Elicitation in Assumption-Based Argumentation. - Quratul-ain Mahesar; Nir Oren; Wamberto Weber Vasconcelos (PRIMA, 2020)

Building Trust in Human-Machine Partnerships. - Gerard Canal; Rita Borgo; Andrew Coles; Archie Drake; Dong Huynh; Perry Keller; Senka Krivic; Paul Luff; Quratul-ain Mahesar; Luc Moreau 001; Simon Parsons; Menisha Patel; et al. (Comput. Law Secur. Rev., 2020)

Argument Schemes for Explainable Planning. - Quratul-ain Mahesar; Simon Parsons (CoRR, 2020)

A decision support system for urban infrastructure inter-asset management employing domain ontologies and qualitative uncertainty-based reasoning. - Lijun Wei; Heshan Du; Quratul-ain Mahesar; Kareem Al Ammari; Derek R. Magee; Barry Clarke; Vania Dimitrova; David Gunn; David Entwisle; Helen Reeves; Anthony G. Cohn 001 (Expert Syst. Appl., 2020)

Argument Schemes and Dialogue for Explainable Planning. - Quratul-ain Mahesar; Simon Parsons (CoRR, 2021)

Argument Schemes and a Dialogue System for Explainable Planning. - Quratul-ain Mahesar; Simon Parsons (ACM Trans. Intell. Syst. Technol., 2023)

An Extension-based Approach for Computing and Verifying Preferences in Abstract Argumentation. - Quratul-ain Mahesar; Nir Oren; Wamberto Weber Vasconcelos (CoRR, 2024)