Lucja Kot's Publications

• Gabriel Bender, Lucja Kot, Johannes Gehrke, Christoph Koch. Fine-Grained Disclosure Control for App Ecosystems. SIGMOD 2013.
• Sudip Roy, Lucja Kot, Christoph Koch. Quantum Databases. CIDR 2013.
• Konstantinos Mamouras, Sigal Oren, Lior Seeman, Lucja Kot, Johannes Gehrke. The Complexity of Social Coordination. VLDB 2012.
• Nitin Gupta, Milos Nikolic, Sudip Roy, Gabriel Bender, Lucja Kot, Johannes Gehrke, Christoph Koch. Entangled Transactions. VLDB 2011.
• Nitin Gupta, Lucja Kot, Sudip Roy, Gabriel Bender, Johannes Gehrke, and Christoph Koch. Entangled queries: enabling declarative data-driven coordination. SIGMOD 2011.
• Nitin Gupta, Lucja Kot, Gabriel Bender, Sudip Roy, Johannes Gehrke, Christoph Koch. Coordination Through Querying in the Youtopia System (Demonstration Paper). SIGMOD 2011.
• Lucja Kot, Nitin Gupta, Sudip Roy, Johannes Gehrke, and Christoph Koch. Beyond Isolation: Research Opportunities in Declarative Data-Driven Coordination. SIGMOD Record, 2010.
• Lucja Kot, Christoph Koch. Cooperative Update Exchange in the Youtopia System. VLDB 2009.
• Jayant Madhavan, David Ko, Lucja Kot, Vignesh Ganapathy, Alex Rasmussen, Alon Halevy. Google's Deep-Web Crawl. VLDB 2008. (Google article and Slashdot article about this project.)
• Lucja Kot, Walker White. Characterization of the Interaction of XML Functional Dependencies with DTDs. ICDT 2007. The long version is Cornell CS Technical Report 2006-2039.
• Lucja Kot, Dexter Kozen. Kleene Algebra and Bytecode Verification. BYTECODE '05.
• Lucja Kot, Dexter Kozen. Second-Order Abstract Interpretation via Kleene Algebra. Cornell CS Technical Report 2004-1971.