MathSeer: A Math-Aware Search Interface with Intuitive Formula Editing, Reuse, and Lookup. - Gavin Nishizawa; Jennifer Liu; Yancarlos Diaz; Abishai Dmello; Wei Zhong; Richard Zanibbi (ECIR (2), 2020)

The MathDeck Formula Editor: Interactive Formula Entry Combining LaTeX , Structure Editing, and Search. - Yancarlos Diaz; Gavin Nishizawa; Behrooz Mansouri; Kenny Davila; Richard Zanibbi (CHI Extended Abstracts, 2021)