eCommons@Cornell: Browsing eCommons

Browsing by Author Kot, Lucja

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 4 of 4

Issue Date	Title	Author(s)
31-Jul-2006	Characterization of XML Functional Dependencies and their Interaction with DTDs	Kot, Lucja; White, Walker
20-Dec-2004	Kleene Algebra and Bytecode Verification	Kot, Lucja; Kozen, Dexter
20-Dec-2004	Second-Order Abstract Interpretation via Kleene Algebra	Kot, Lucja; Kozen, Dexter
9-Apr-2010	Youtopia: A Community Database Management System	Kot, Lucja

Showing results 1 to 4 of 4