Counting solutions to the View Maintenance Problem. - Ashish Gupta 001; Dinesh Katiyar; Inderpal Singh Mumick (Workshop on Deductive Databases, JICSLP, 1992)

Polymorphism and Subtyping in Interfaces. - Dinesh Katiyar; David C. Luckham; John C. Mitchell (Workshop on Interface Definition Languages, 1994)

A Type System for Prototyping Languages. - Dinesh Katiyar; David C. Luckham; John C. Mitchell (POPL, 1994)

Type systems for modular programming: theory and practice. - Dinesh Katiyar (1994)