On properties of edtol and rwdol languages and the constructibility of finite morphic refinements. - J. Harrison (Int. J. Comput. Math., 1995)

Efficient and accurate computation of upper bounds of approximation errors. - Sylvain Chevillard; J. Harrison; Mioara Joldes; Christoph Quirin Lauter (Theor. Comput. Sci., 2011)

A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs. - Alan Burns 001; Leandro Soares Indrusiak; N. Smirnov; J. Harrison (RTAS, 2020)