Katherine F. Moore

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y. Halpern, Christoph Koch, Katherine F. Moore, Dan Suciu
Causality in Databases. IEEE Data Eng. Bull. 33 (3) (2010)
Alexandra Meliou, Wolfgang Gatterbauer, Katherine F. Moore, Dan Suciu
The Complexity of Causality and Responsibility for Query Answers and non-Answers CoRR (2010)
Alexandra Meliou, Wolfgang Gatterbauer, Katherine F. Moore, Dan Suciu
The Complexity of Causality and Responsibility for Query Answers and non-Answers. Proc. VLDB Endow. 4 (1) (2010)
Alexandra Meliou, Wolfgang Gatterbauer, Katherine F. Moore, Dan Suciu
WHY SO? or WHY NO? Functional Causality for Explaining Query Answers. MUD (2010)
Martín Abadi, Tim Harris, Katherine F. Moore
A model of dynamic separation for transactional memory. Inf. Comput. 208 (10) (2010)
Alexandra Meliou, Wolfgang Gatterbauer, Katherine F. Moore, Dan Suciu
Why so? or Why no? Functional Causality for Explaining Query Answers CoRR (2009)
Katherine F. Moore, Vibhor Rastogi, Christopher Ré, Dan Suciu
Query Containment of Tier-2 Queries over a Probabilistic Database. MUD (2009)
Katherine F. Moore, Dan Grossman
High-level small-step operational semantics for transactions. POPL (2008)
Martín Abadi, Tim Harris, Katherine F. Moore
A Model of Dynamic Separation for Transactional Memory. CONCUR (2008)
Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha
Enforcing isolation and ordering in STM. PLDI (2007)