Timothy Nelson

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Machine Learning

Top Venues

Publications

Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Toward a More Complete Alloy. ABZ (2012)
Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
The Margrave Tool for Firewall Analysis. LISA (2010)