James Hoey

dblp:206/6084 · DBLP profile ↗
← Back
4ranked-venue papers
3as first author
3since 2021 · last 2022
0000-0003-1877-666XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 2 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 3 · 2 first-author · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2022 Towards Causal-Consistent Reversibility of Imperative Concurrent Programs
James Hoey, Irek Ulidowski
RC1
2022 Reversing an imperative concurrent programming language
James Hoey, Irek Ulidowski
Sci. Comput. Program.1
2021 Reversibility of Executable Interval Temporal Logic Specifications
Antonio Cau, Stefan Kuhn 0001, James Hoey
RC3
2019 Reversible Imperative Parallel Programs and Debugging
James Hoey, Irek Ulidowski
RC1