| |
| 1994 | ||
|---|---|---|
| 4 | EE | Zerksis D. Umrigar: Fully static dimensional analysis with C++. SIGPLAN Notices 29(9): 135-139 (1994) |
| 1990 | ||
| 3 | Zerksis D. Umrigar: Finding Advantageous Orders for Argument Unification for the Prolog WAM. NACLP 1990: 80-96 | |
| 1988 | ||
| 2 | V. S. Subrahmanian, Zerksis D. Umrigar: QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems. CADE 1988: 746-747 | |
| 1985 | ||
| 1 | Zerksis D. Umrigar, Vijay Pitchumani: An Experiment in Programming with Full First-Order Logic. SLP 1985: 40-47 | |
| 1 | Vijay Pitchumani | [1] |
| 2 | V. S. Subrahmanian | [2] |