Personalized Learning Path Problem Variations: Computational Complexity and AI Approaches.

Mark Reith Mark G. Reith

Sean A. Mochocki Mark G. Reith Brett J. Borghetti Gilbert L. Peterson John D. Jasper Laurence D. Merkle Personalized Learning Path Problem Variations: Computational Complexity and AI Approaches. 574-588 2025 March 6 IEEE Trans. Artif. Intell. 3 https://doi.org/10.1109/TAI.2024.3483190 db/journals/tai/tai6.html#MochockiRBPJM25 streams/journals/tai

Ralucca Gera Mark Reith Sean A. Mochocki Paolo J. Singh Scott Harned From Standardization to Personalization: Leveraging Learner Profiles to Tailor Education. 35-55 2025 HCI (47) https://doi.org/10.1007/978-3-031-92967-0_3 conf/hci/2025-47 db/conf/hci/hci2025-47.html#GeraRMSH25 streams/conf/hci

Nathaniel Flack Alan C. Lin Gilbert L. Peterson Mark Reith Battlespace Next(TM). 49-70 2020 7 Int. J. Serious Games 2 https://doi.org/10.17083/ijsg.v7i2.349 db/journals/ijsg/ijsg7.html#FlackLPR20

Jeffrey Guion Mark Reith Cyber terrain mission mapping: Tools and methodologies. 105-111 2017 CyCon U.S. https://doi.org/10.1109/CYCONUS.2017.8167504 https://doi.ieeecomputersociety.org/10.1109/CYCONUS.2017.8167504 conf/cyconus/2017 db/conf/cyconus/cyconus2017.html#GuionR17

Jianwei Niu 0001 Mark Reith William H. Winsborough Formal verification of security properties in trust management policy. 69-153 2014 22 J. Comput. Secur. 1 https://doi.org/10.3233/JCS-130490 https://www.wikidata.org/entity/Q114944915 db/journals/jcs/jcs22.html#NiuRW14

Mark Reith Jianwei Niu 0001 William H. Winsborough Toward practical analysis for trust management policy. 310-321 2009 AsiaCCS https://doi.org/10.1145/1533057.1533098 conf/ccs/2009asia db/conf/ccs/asiaccs2009.html#ReithNW09 Mark Reith Jianwei Niu 0001 William H. Winsborough Role-based trust management security policy analysis and correction environment (RT-SPACE). 929-930 2008 ICSE Companion https://doi.org/10.1145/1370175.1370192 conf/icse/2008c db/conf/icse/icsec2008.html#ReithNW08 Mark Reith Jianwei Niu 0001 William H. Winsborough Apply Model Checking to Security Analysis in Trust Management. 734-743 2007 conf/icde/2007w ICDE Workshops https://doi.org/10.1109/ICDEW.2007.4401061 https://doi.ieeecomputersociety.org/10.1109/ICDEW.2007.4401061 db/conf/icde/icdew2007.html#ReithNW07 Mark Reith Jianwei Niu 0001 William H. Winsborough Engineering Trust Management into Software Models. 9 2007 MiSE@ICSE https://doi.org/10.1109/MISE.2007.5 https://doi.ieeecomputersociety.org/10.1109/MISE.2007.5 conf/icse/2007mise db/conf/icse/mise2007.html#ReithNW07

Mark Reith Clint Carr Gregg H. Gunsch An Examination of Digital Forensic Models. 2002 1 Int. J. Digit. EVid. 3 http://www.utica.edu/academic/institutes/ecii/publications/articles/A04A40DC-A6F6-F2C1-98F94F16AF57232D.pdf db/journals/ijde/ijde1.html#ReithCG02

Brett J. Borghetti Clint Carr Nathaniel Flack Ralucca Gera Jeffrey Guion Gregg H. Gunsch Scott Harned John D. Jasper Alan C. Lin Larry MerkleLaurence D. Merkle Sean A. Mochocki Jianwei Niu 0001 Gilbert L. Peterson Paolo J. Singh William H. Winsborough