Dynamic information transfer and sharing model in agent based evacuation simulations. - Masaru Okaya; Mary Southern; Tomoichi Takahashi (AAMAS, 2013)

Translating Specifications in a Dependently Typed Lambda Calculus into a Predicate Logic Form. - Mary Southern; Gopalan Nadathur (CoRR, 2013)

A Two-Level Logic Approach to Reasoning About Typed Specification Languages. - Mary Southern; Kaustuv Chaudhuri (FSTTCS, 2014)

A Lambda Prolog Based Animation of Twelf Specifications. - Mary Southern; Gopalan Nadathur (CoRR, 2014)

Exploiting Time Series Data for Task Prediction and Diagnosis in an Intelligent Guidance System. - Hayley Borck; Steven Johnston; Mary Southern; Mark S. Boddy (ICCBR Workshops, 2016)

Frankencode: Creating Diverse Programs Using Code Clones. - Hayley Borck; Mark S. Boddy; Ian J. De Silva; Steven A. Harp; Ken Hoyme; Steven Johnston; August Schwerdfeger; Mary Southern (SANER, 2016)

Towards a Logic for Reasoning About LF Specifications. - Mary Southern; Gopalan Nadathur (CoRR, 2018)

A Framework for Reasoning About LF Specifications. - Mary Southern (CoRR, 2021)

A Logic for Reasoning About LF Specifications. - Gopalan Nadathur; Mary Southern (CoRR, 2021)

Adelfa: A System for Reasoning about LF Specifications. - Mary Southern; Gopalan Nadathur (LFMTP, 2021)

On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms. - Gopalan Nadathur; Mary Southern (CoRR, 2021)

A Logic for Formalizing Properties of LF Specifications. - Gopalan Nadathur; Mary Southern (PPDP, 2022)