Towards incorporating human intelligence into online security solutions. - Saman A. Zonouz; Robin Berthier; Negin Arhami (DSN Workshops, 2012)

The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. - Negin Arhami; Geoff Sutcliffe (PAAR@IJCAR, 2014)

Automated Theorem Proving by Translation to Description Logic. - Negin Arhami; Geoff Sutcliffe (LPAR (short papers), 2015)