David Van Horn

Gas–liquid flow and bubble size distribution in stirred tanks

Giuseppina Montante, David Van Horn, Alessandro Paglianti · Chemical Engineering Science · 2008 · 150 citations

Engineering, Chemical Engineering, Mechanical Engineering +16

Abstracting abstract machines

David Van Horn, Matthew Might · 2010 · 140 citations

Computing, Computer Science, Formal Methods +14

Resolving and exploiting the <i>k</i> -CFA paradox

Matthew Might, Yannis Smaragdakis, David Van Horn · 2010 · 80 citations

Computing, Computer Science, Programming Languages +13

Higher-order symbolic execution via contracts

Sam Tobin-Hochstadt, David Van Horn · 2012 · 54 citations

Computing, Computer Science, Formal Methods +8

Types and trace effects of higher order programs

Christian Skalka, Scott F. Smith, David Van Horn · Journal of Functional Programming · 2007 · 54 citations · Full text

Computing, Computer Science, Formal Methods +16