Combining SAT Methods with Non-Clausal Decision Heuristics. - Clark W. Barrett; Jacob Donham (D/PDPAR@IJCAR, 2004)

A consistent semantics of self-adjusting computation. - Umut A. Acar; Matthias Blume; Jacob Donham (J. Funct. Program., 2013)

A domain-specific language for microservices. - Jacob Donham (SCALA@ICFP, 2018)