Katherine F. Moore

Enforcing isolation and ordering in STM

Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai et al. · 2007 · 205 citations

Engineering, Computer Architecture, Transaction Processing +19

The complexity of causality and responsibility for query answers and non-answers

Alexandra Meliou, Wolfgang Gatterbauer, Katherine F. Moore et al. · Proceedings of the VLDB Endowment · 2010 · 182 citations

Engineering, Relational Query, Communication +21

Induction of the Phase II Detoxification Pathway Suppresses Neuron Loss in<i>Drosophila</i>Models of Parkinson's Disease

Kien Trinh, Katherine F. Moore, Paul D. Wes et al. · Journal of Neuroscience · 2008 · 151 citations · Full text

Mitophagy, Cell Death, Neurochemical Biomarkers +20

High-level small-step operational semantics for transactions

Katherine F. Moore, Dan Grossman · 2008 · 122 citations

Engineering, Computer Architecture, Software Engineering +22

Causality in Databases

Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y. Halpern et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2010 · 88 citations · Full text