Montgomery Carter

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 2

Top Topics

Closely Related

Linear Programming

Top Venues

J. Complex Networks

ICSE (Companion Volume)

Publications

Stuart R. Borrett, Montgomery Carter, David E. Hines
Six general ecosystem properties are more intense in biogeochemical cycling networks than food webs. J. Complex Networks 4 (4) (2016)
Montgomery Carter, Shaobo He, Jonathan Whitaker, Zvonimir Rakamaric, Michael Emmi
SMACK software verification toolchain. ICSE (Companion Volume) (2016)
Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
SMACK+Corral: A Modular Verifier - (Competition Contribution). TACAS (2015)