1. An empirical study of optimization for maximizing diffusion in networks;Ahmadizadeh,2010
2. The Traveling Salesman Problem: A Computational Study;Applegate,2006
3. Exploiting structure for scalable software verification;Babić,2008
4. Structural abstraction of software verification conditions;Babić,2007
5. Spear theorem prover. Solver description;Babić,2007