Formal verification of a real-time hardware design. - Zerksis D. Umrigar; Vijay Pitchumani (DAC, 1983)

An Experiment in Programming with Full First-Order Logic. - Zerksis D. Umrigar; Vijay Pitchumani (SLP, 1985)

QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems. - V. S. Subrahmanian; Zerksis D. Umrigar (CADE, 1988)

Finding Advantageous Orders for Argument Unification for the Prolog WAM. - Zerksis D. Umrigar (NACLP, 1990)

Fully static dimensional analysis with C++. - Zerksis D. Umrigar (ACM SIGPLAN Notices, 1994)