Publications

In progress

• A new method for reducing algebraic programs to polynomial programs
  Under review
  Maaz M and Strzebonski A.
  [arXiv]
• Formal verification of Markov processes with learned parameters
  Under review
  Maaz M and Chan TCY.
  [arXiv] [CODE]
• Exact sensitivity analysis of Markov reward processes via algebraic geometry
  Under review
  Chan TCY and Maaz M.
  [arXiv] [CODE]
  Winner, Lee B Lusted Award for best student paper, 2024 Society for Medical Decision Making

Peer-reviewed

• Abundant neighborhoods, two-sided markets, and maximal matchings
  Naval Research Logistics 2025 Apr
  Maaz M.
  [DOI]
• Cost-effectiveness of drone-delivered automated external defibrillators for cardiac arrest
  Resuscitation 2025;209:110552
  Maaz M, Leung KHB, Boutilier JJ, Suen S, Dorian P, Morrison LJ, Scales DC, Cheskes S, Chan TCY.
  [DOI]
• Committees: an alternative financing method from South Asia
  Mathematics Magazine Accepted
  Maaz M.
• How to optimize the systematic review process using AI tools
  JCPP Advances 2024;e12234
  Fabiano N, Gupta A, Bhambra N, Luu B, Wong S, Maaz M, Fiedorowicz JG, Smith AL, Solmi M.
  [DOI]
• On orderings of probability vectors and unsupervised performance estimation
  Proceedings of 32nd International Joint Conference on Artificial Intelligence (IJCAI), Workshop on Generalizing from Limited Resources in the Open World 2023
  Maaz M, Qiao R, Zhou Y, Zhang R.
  [arXiv] [CODE]
• Pharmacotherapy of impulse control disorders: A systematic review
  Psychiatry Research 2022 May;311:114499
  Tahir T, Wong MM, Maaz M, Naufal R, Tahir R, Naidoo Y.
  [DOI]
• Saturating stable matchings
  Operations Research Letters 2021;49(4):597-601
  Maaz M.
  [DOI] [arXiv]
• Matching with compatibility constraints: the case of the Canadian medical residency match
  Journal of Mechanism and Institution Design 2020;5(1):99-117
  Maaz M and Papanastasiou A.
  [DOI] [PDF]
• Determining the optimal capacity and occupancy rate in a hospital: a theoretical model using queuing theory and marginal cost analysis
  Managerial and Decision Economics 2020;41:1305-11
  Maaz M and Papanastasiou A.
  [DOI] [PDF (Manuscript)]
• A primer on the game theory behind the National Resident Matching Program for the medical educator and student
  Medical Science Educator 2020;30:965-9
  Maaz M.
  [DOI] [PDF (Manuscript)] [PDF (Journal - view only)]
• Management of frailty: A Systematic Review and Network Meta-analysis of Randomized Controlled Trials
  Journal of the American Medical Directors Association 2019;20(10):1190-8
  Kennedy C, Thabane L, Veroniki A A, Adachi R, Richardson J, Cameron I, Giangregorio A, Petropoulou M, Alsaad S, Alzahrani J, Maaz M, Ahmed MM, Kim E, Tehfe H, Dima R, Sabanayagam K, Hewston P, Alrob H, Papaioannou A.
  [DOI]
• A systematic review of comparisons between protocols or registrations and full reports in primary biomedical research
  BMC Medical Research Methodology 2018 Dec;18(1):9
  Li G, Abbade LP, Nwosu I, Jin Y, Leenus A, Maaz M, Wang M, Bhatt M, Zielinski L, Sanger N, Bantoto B.
  [DOI]
• A systematic survey of control groups in behavioral and social science trials
  Research on Social Work Practice 2018 Jul;28(5):538-45
  Wang M, Sun G, Chang Y, Jin Y, Leenus A, Maaz M, Li G, Bhatt M, Abbade LP, Nwosu I, Zielinski L.
  [DOI]
• Does the medical literature remain inadequately described despite having reporting guidelines for 21 years?–A systematic review of reviews: an update
  Journal of multidisciplinary healthcare 2018;11:495
  Jin Y, Sanger N, Shams I, Luo C, Shahid H, Li G, Bhatt M, Zielinski L, Bantoto B, Wang M, Abbade LP, Nwosu I, Leenus A, Mbuagbaw L, Maaz M, Chang Y, Sun G, Levine MA, Adachi JD, Thabane L, Samaan Z.
  [DOI]
• A scoping review of comparisons between abstracts and full reports in primary biomedical research
  BMC Medical Research Methodology 2017 Dec;17(1):181
  Li G, Abbade LP, Nwosu I, Jin Y, Leenus A, Maaz M, Wang M, Bhatt M, Zielinski L, Sanger N, Bantoto B.
  [DOI]

Working papers

• Heterogeneity in the Support for Mandatory Masks Unveiled
  Maaz M., Papanastasiou A., Ruffle B.J., and Zheng A.L.
  [PDF]
• Viability of machine learning to reduce workload in systematic review screenings in the health sciences: a working paper
  arXiv arXiv:1908.08610 (2019 Aug 22)
  Maaz M.
  [arXiv]

PhD Thesis

• Automated Reasoning of Uncertain Markov Processes
  University of Toronto
  [PDF]

Bachelor's Thesis

• Matching with Compatibility Constraints: The Case of the Canadian Residency Matching Service
  McMaster University
  Note: this thesis has since been revised (and corrected) and published. See above for a link to the journal paper.
  [PDF]