Towards an Isabelle/HOL formalisation of core Erlang. - Joseph R. Harrison (Erlang Workshop, 2017)

Automatic detection of core Erlang message passing errors. - Joseph R. Harrison (Erlang Workshop, 2018)

Runtime type safety for erlang/otp behaviours. - Joseph R. Harrison (Erlang Workshop, 2019)

Robust communications in Erlang - Joseph R. Harrison (2020)

A Hierarchical Database of One Million Websites. - Jack B. Harrison; Joseph R. Harrison; Madison G. Boswell; Alan J. Michaels (SecDev, 2022)