Kleene Algebra and Bytecode Verification. - Lucja Kot; Dexter Kozen (Bytecode@ETAPS, 2005)

Characterization of the Interaction of XML Functional Dependencies with DTDs. - Lucja Kot; Walker M. White (ICDT, 2007)

Google's Deep Web crawl. - Jayant Madhavan; David Ko; Lucja Kot; Vignesh Ganapathy; Alex Rasmussen; Alon Y. Halevy (Proc. VLDB Endow., 2008)

Cooperative Update Exchange in the Youtopia System. - Lucja Kot; Christoph Koch 001 (Proc. VLDB Endow., 2009)

Beyond isolation: research opportunities in declarative data-driven coordination. - Lucja Kot; Nitin Gupta 003; Sudip Roy 002; Johannes Gehrke; Christoph Koch 001 (SIGMOD Rec., 2010)

Youtopia: A community Database Management System. - Lucja Kot (2010)

Coordination through querying in the youtopia system. - Nitin Gupta 003; Lucja Kot; Gabriel Bender; Sudip Roy 002; Johannes Gehrke; Christoph Koch 001 (SIGMOD Conference, 2011)

Entangled Transactions. - Nitin Gupta 003; Milos Nikolic 001; Sudip Roy 002; Gabriel Bender; Lucja Kot; Johannes Gehrke; Christoph Koch 001 (Proc. VLDB Endow., 2011)

The Complexity of Social Coordination. - Konstantinos Mamouras; Sigal Oren; Lior Seeman; Lucja Kot; Johannes Gehrke (Proc. VLDB Endow., 2012)

Entangled queries: Enabling declarative data-driven coordination. - Nitin Gupta 003; Lucja Kot; Sudip Roy 002; Gabriel Bender; Johannes Gehrke; Christoph Koch 001 (ACM Trans. Database Syst., 2012)

Quantum Databases. - Sudip Roy 002; Lucja Kot; Christoph Koch 001 (CIDR, 2013)

Fine-grained disclosure control for app ecosystems. - Gabriel Bender; Lucja Kot; Johannes Gehrke; Christoph Koch 001 (SIGMOD Conference, 2013)

Explainable security for relational databases. - Gabriel Bender; Lucja Kot; Johannes Gehrke (SIGMOD Conference, 2014)

Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency. - Sudip Roy 002; Lucja Kot; Nate Foster; Johannes Gehrke; Hossein Hojjat; Christoph Koch 001 (CoRR, 2014)

Tracking Personal Data Use: Provenance and Trust. - Lucja Kot (CIDR, 2015)

Centiman: elastic, high performance optimistic concurrency control by watermarking. - Bailu Ding; Lucja Kot; Alan J. Demers; Johannes Gehrke (SoCC, 2015)

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis. - Sudip Roy 002; Lucja Kot; Gabriel Bender; Bailu Ding; Hossein Hojjat; Christoph Koch 001; Nate Foster; Johannes Gehrke (SIGMOD Conference, 2015)

Improving Optimistic Concurrency Control Through Transaction Batching and Operation Reordering. - Bailu Ding; Lucja Kot; Johannes Gehrke (Proc. VLDB Endow., 2018)

SARIF-enabled tooling to encourage gradual technical debt reduction. - Paul Anderson 001; Lucja Kot; Neil Gilmore; David Vitek (TechDebt@ICSE, 2019)

Automated Customized Bug-Benchmark Generation. - Vineeth Kashyap; Jason Ruchti; Lucja Kot; Emma Turetsky; Rebecca Swords; Shih An Pan; Julien Henry; David Melski; Eric M. Schulte (SCAM, 2019)

Automated Customized Bug-Benchmark Generation. - Vineeth Kashyap; Jason Ruchti; Lucja Kot; Emma Turetsky; Rebecca Swords; David Melski; Eric M. Schulte (CoRR, 2019)

API analytics for curating static analysis rules. - Vineeth Kashyap; Roger Scott; Joseph Ranieri; David Melski; Lucja Kot (TAPAS@SPLASH, 2020)

Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments. - Roger Scott; Joseph Ranieri; Lucja Kot; Vineeth Kashyap (SCAM, 2020)