From Languages to Systems: Understanding Practical Application Development in Security-typed Languages. - Boniface Hicks; Kiyan Ahmadizadeh; Patrick D. McDaniel (ACSAC, 2006)

Markovian Network Interdiction and the Four Color Theorem - Alexander Gutfraind; Kiyan Ahmadizadeh (CoRR, 2009)

An Empirical Study of Optimization for Maximizing Diffusion in Networks. - Kiyan Ahmadizadeh; Bistra Dilkina; Carla P. Gomes; Ashish Sabharwal (CP, 2010)

Embedding System Dynamics in Agent Based Models for Complex Adaptive Systems. - Maarika Teose; Kiyan Ahmadizadeh; Eoin O'Mahony; Rebecca L. Smith; Zhao Lu; Stephen P. Ellner; Carla P. Gomes; Yrjö T. Gröhn (IJCAI, 2011)

Evader interdiction: algorithms, complexity and collateral damage. - Matthew P. Johnson 001; Alexander Gutfraind; Kiyan Ahmadizadeh (Ann. Oper. Res., 2014)