Reversing Imperative Parallel Programs. - James Hoey; Irek Ulidowski; Shoji Yuen (EXPRESS/SOS, 2017)

Reversing Parallel Programs with Blocks and Procedures. - James Hoey; Irek Ulidowski; Shoji Yuen (EXPRESS/SOS, 2018)

Reversible Imperative Parallel Programs and Debugging. - James Hoey; Irek Ulidowski (RC, 2019)

Reversing an imperative concurrent programming language. - James Hoey (2020)

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. - James Hoey; Ivan Lanese; Naoki Nishida 001; Irek Ulidowski; Germán Vidal (Selected Results of the COST Action IC1405, 2020)

Software and Reversible Systems: A Survey of Recent Activities. - Claudio Antares Mezzina; Rudolf Schlatte; Robert Glück; Tue Haulund; James Hoey; Martin Holm Cservenka; Ivan Lanese; Torben Æ. Mogensen; Harun Siljak; Ulrik Pagh Schultz; Irek Ulidowski (Selected Results of the COST Action IC1405, 2020)

Reversibility of Executable Interval Temporal Logic Specifications. - Antonio Cau; Stefan Kuhn 001; James Hoey (RC, 2021)

Executable Interval Temporal Logic Specifications. - Antonio Cau; Stefan Kuhn 001; James Hoey (CoRR, 2021)

Towards Causal-Consistent Reversibility of Imperative Concurrent Programs. - James Hoey; Irek Ulidowski (RC, 2022)

Reversing an imperative concurrent programming language. - James Hoey; Irek Ulidowski (Sci. Comput. Program., 2022)