An Experiment Comparing the Performance of Declarative and Procedural Languages. - J. Nelson Rushton; Jarred Blount; Justin Blount (IKE, 2007)

A System for Checking Semi-formal Proofs. - Nachiappan Veerappan Nachiappan; Jarred Blount; J. Nelson Rushton (FECS, 2008)

A type system for the language of effective definitions (LED). - Jarred Blount (2013)

Computational performance of SequenceL coding of the lattice Boltzmann method for multi-particle flow simulations. - Hakan Basagaoglu; Justin Blount; Jarred Blount; Bryant Nelson; Sauro Succi; Phil M. Westhart; John R. Harwell (Comput. Phys. Commun., 2017)