A handy meta-analysis tool for IBD research. - Dezsö Módos; John P. Thomas; Tamás Korcsmáros (Nat. Comput. Sci., 2021)

Certification of Safety-Critical Systems. - Nancy G. Leveson; John P. Thomas (Commun. ACM, 2023)

Integrating Vision Systems and STPA for Robust Landing and Take-Off in VTOL Aircraft. - Sandeep Banik; Jinrae Kim; Naira Hovakimyan; Luca Carlone; John P. Thomas; Nancy G. Leveson (CoRR, 2024)