SMACK+Corral: A Modular Verifier - (Competition Contribution). - Arvind Haran; Montgomery Carter; Michael Emmi; Akash Lal; Shaz Qadeer; Zvonimir Rakamaric (TACAS, 2015)

SMACK software verification toolchain. - Montgomery Carter; Shaobo He; Jonathan Whitaker; Zvonimir Rakamaric; Michael Emmi (ICSE (Companion Volume), 2016)

Six general ecosystem properties are more intense in biogeochemical cycling networks than food webs. - Stuart R. Borrett; Montgomery Carter; David E. Hines (J. Complex Networks, 2016)