Termination of rewriting in the Calculus of Constructions. - Daria Walukiewicz-Chrzaszcz (J. Funct. Program., 2003)

Towards Rewriting in Coq. - Jacek Chrzaszcz; Daria Walukiewicz-Chrzaszcz (Rewriting, Computation and Proof, 2007)

Consistency and Completeness of Rewriting in the Calculus of Constructions. - Daria Walukiewicz-Chrzaszcz; Jacek Chrzaszcz (Log. Methods Comput. Sci., 2008)

The Non-Interference Protection in BML. - Aleksy Schubert; Daria Walukiewicz-Chrzaszcz (BYTECODE@ETAPS, 2009)

Inductive Consequences in the Calculus of Constructions. - Daria Walukiewicz-Chrzaszcz; Jacek Chrzaszcz (ITP, 2010)

Restricted Positive Quantification Is Not Elementary. - Aleksy Schubert; Pawel Urzyczyn; Daria Walukiewicz-Chrzaszcz (TYPES, 2014)

Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic. - Marcin Benke; Aleksy Schubert; Daria Walukiewicz-Chrzaszcz (FSCD, 2016)

How Hard Is Positive Quantification? - Aleksy Schubert; Pawel Urzyczyn; Daria Walukiewicz-Chrzaszcz (ACM Trans. Comput. Log., 2016)