A co-contextual formulation of type rules and its application to incremental type checking. - Sebastian Erdweg; Oliver Bracevac; Edlira Kuci; Matthias Krebs; Mira Mezini (OOPSLA, 2015)

Toward incremental type checking for Java. - Edlira Kuci; Sebastian Erdweg; Mira Mezini (SPLASH (Companion Volume), 2015)

A Co-contextual Type Checker for Featherweight Java . - Edlira Kuci; Sebastian Erdweg; Oliver Bracevac; Andi Bejleri; Mira Mezini (ECOOP, 2017)

A Co-contextual Type Checker for Featherweight Java (incl. Proofs). - Edlira Kuci; Sebastian Erdweg; Oliver Bracevac; Andi Bejleri; Mira Mezini (CoRR, 2017)

Incremental overload resolution in object-oriented programming languages. - Tamás Szabó; Edlira Kuci; Matthijs Bijman; Mira Mezini; Sebastian Erdweg (ISSTA/ECOOP Workshops, 2018)

Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking. - Edlira Kuci (2020)