Easy character-stream filters with APL2 defined operators. - Michael Kent (ACM SIGAPL APL Quote Quad, 1991)

A general-arrays implementation of association lists. - Michael Kent (ACM SIGAPL APL Quote Quad, 1993)

A model-based approach to automated testing of access control policies. - Dianxiang Xu; Lijo Thomas; Michael Kent; Tejeddine Mouelhi; Yves Le Traon (SACMAT, 2012)

Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets. - Dianxiang Xu; Michael Kent; Lijo Thomas; Tejeddine Mouelhi; Yves Le Traon (IEEE Trans. Computers, 2015)

An Automated Test Generation Technique for Software Quality Assurance. - Dianxiang Xu; Weifeng Xu; Michael Kent; Lijo Thomas; Linzhang Wang (IEEE Trans. Reliab., 2015)

Seemo: A new tool for early design window view satisfaction evaluation in residential buildings. - Jaeha Kim; Michael Kent; Katharina Kral; Timur Dogan (CoRR, 2022)