On computing with types. - Paul Tarau; David Haraburda (SAC, 2012)

Binary trees as a computational framework. - David Haraburda; Paul Tarau (Comput. Lang. Syst. Struct., 2013)

Evaluating Text Summarization Systems with a Fair Baseline from Multiple Reference Summaries. - Fahmida Hamid; David Haraburda; Paul Tarau (ECIR, 2016)