An Examination of Digital Forensic Models. - Mark Reith; Clint Carr; Gregg H. Gunsch (Int. J. Digit. EVid., 2002)

Apply Model Checking to Security Analysis in Trust Management. - Mark Reith; Jianwei Niu 001; William H. Winsborough (ICDE Workshops, 2007)

Engineering Trust Management into Software Models. - Mark Reith; Jianwei Niu 001; William H. Winsborough (MiSE@ICSE, 2007)

Role-based trust management security policy analysis and correction environment (RT-SPACE). - Mark Reith; Jianwei Niu 001; William H. Winsborough (ICSE Companion, 2008)

Toward practical analysis for trust management policy. - Mark Reith; Jianwei Niu 001; William H. Winsborough (AsiaCCS, 2009)

Formal verification of security properties in trust management policy. - Jianwei Niu 001; Mark Reith; William H. Winsborough (J. Comput. Secur., 2014)

Cyber terrain mission mapping: Tools and methodologies. - Jeffrey Guion; Mark Reith (CyCon U.S., 2017)

Battlespace Next(TM). - Nathaniel Flack; Alan C. Lin; Gilbert L. Peterson; Mark Reith (Int. J. Serious Games, 2020)

From Standardization to Personalization: Leveraging Learner Profiles to Tailor Education. - Ralucca Gera; Mark Reith; Sean A. Mochocki; Paolo J. Singh; Scott Harned (HCI (47), 2025)

Personalized Learning Path Problem Variations: Computational Complexity and AI Approaches. - Sean A. Mochocki; Mark G. Reith; Brett J. Borghetti; Gilbert L. Peterson; John D. Jasper; Laurence D. Merkle (IEEE Trans. Artif. Intell., 2025)