A. Finn Hackett

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Cloud Computing

Top Venues

Publications

A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe
Understanding Inconsistency in Azure Cosmos DB with TLA+. ICSE-SEIP (2023)
A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe
Understanding Inconsistency in Azure Cosmos DB with TLA+. CoRR (2022)