Finding bugs in spreadsheets using reference counting. - Nima Joharizadeh (SPLASH (Companion Volume), 2015)

Counting weak Heyting algebras on finite distributive lattices. - Majid Alizadeh; Nima Joharizadeh (Log. J. IGPL, 2015)

Gridlets: Reusing Spreadsheet Grids. - Nima Joharizadeh; Advait Sarkar; Andrew D. Gordon 001; Jack Williams 001 (CHI Extended Abstracts, 2020)

Higher-Order Spreadsheets with Spilled Arrays. - Jack Williams 001; Nima Joharizadeh; Andrew D. Gordon 001; Advait Sarkar (ESOP, 2020)