Katherine F. Moore

Enforcing isolation and ordering in STM

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

Computing, Computer Engineering, Computer Science +16

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 · 185 citations

Computing, Computer Science, Algorithms +13

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

Life Sciences, Neurobiology, Neuroscience +17

High-level small-step operational semantics for transactions

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

Computing, Computer Science, Formal Methods +16

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

Computing, Computer Science, Data Management +15