James Hoey

From MaRDI portal
Person:2097432



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Towards causal-consistent reversibility of imperative concurrent programs2022-11-11Paper
scientific article; zbMATH DE number 7447775 (Why is no real title available?)2021-12-17Paper
scientific article; zbMATH DE number 7447775 (Why is no real title available?)
(available as arXiv preprint)
2021-12-17Paper
Reversing imperative parallel programs2021-12-08Paper
Reversing imperative parallel programs
(available as arXiv preprint)
2021-12-08Paper
Reversibility of Executable Interval Temporal Logic Specifications
Reversible Computation
2021-11-03Paper
Reversible Imperative Parallel Programs and Debugging
Reversible Computation
2019-10-17Paper


Research outcomes over time


This page was built for person: James Hoey