| Reversible Imperative Parallel Programs and Debugging J Hoey, I Ulidowski International Conference on Reversible Computation, 108-127, 2019 | 20 | 2019 |
| Reversing parallel programs with blocks and procedures J Hoey, I Ulidowski, S Yuen arXiv preprint arXiv:1808.08651, 2018 | 20 | 2018 |
| Software and reversible systems: a survey of recent activities CA Mezzina, R Schlatte, R Glück, T Haulund, J Hoey, MH Cservenka, ... International Conference on Reversible Computation, 41-59, 2020 | 13 | 2020 |
| Reversing imperative parallel programs J Hoey, I Ulidowski, S Yuen arXiv preprint arXiv:1709.00828, 2017 | 12 | 2017 |
| Reversing an imperative concurrent programming language J Hoey Ph. D. thesis, University of Leicester, 2020 | 11 | 2020 |
| A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs J Hoey, I Lanese, N Nishida, I Ulidowski, G Vidal Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020 | 7 | 2020 |
| Towards causal-consistent reversibility of imperative concurrent programs J Hoey, I Ulidowski International Conference on Reversible Computation, 213-223, 2022 | 2 | 2022 |
| Reversibility of Executable Interval Temporal Logic Specifications A Cau, S Kuhn, J Hoey International Conference on Reversible Computation, 214-223, 2021 | | 2021 |
| Reversibility of Executable Interval Temporal Logic Speci cations A Cau, S Kuhn, J Hoey Springer, 2021 | | 2021 |
