| 2004 |
|---|
| 10 | EE | Subrata Mitra,
A. K. Chatterjee:
Leveraging information in multi-echelon inventory systems.
European Journal of Operational Research 152(1): 263-280 (2004) |
| 1999 |
|---|
| 9 | EE | Nachum Dershowitz,
Subrata Mitra:
Jeopardy.
RTA 1999: 16-29 |
| 1996 |
|---|
| 8 | | Dipayan Gangopadhyay,
Subrata Mitra:
Design by Framework Completion.
Autom. Softw. Eng. 3(3/4): 219-237 (1996) |
| 1993 |
|---|
| 7 | EE | Dipayan Gangopadhyay,
Subrata Mitra:
ObjChart: Tangible Specification of Reactive Object Behavior.
ECOOP 1993: 432-457 |
| 6 | | Nachum Dershowitz,
Subrata Mitra:
Higher-Order and Semantic Unification.
FSTTCS 1993: 139-150 |
| 5 | | Dipayan Gangopadhyay,
Subrata Mitra:
ObjChart-Builder: An Environment for Executing Visual Object Models.
TOOLS (11) 1993: 319-334 |
| 1992 |
|---|
| 4 | | Nachum Dershowitz,
Subrata Mitra,
G. Sivakumar:
Decidable Matching for Convergent Systems (Preliminary Version).
CADE 1992: 589-602 |
| 3 | | Nachum Dershowitz,
Subrata Mitra:
Path Orderings for Termination of Associative-Commutative Rewriting.
CTRS 1992: 168-174 |
| 1991 |
|---|
| 2 | | Subrata Mitra,
G. Sivakumar:
AC-Equation Solving.
FSTTCS 1991: 40-56 |
| 1990 |
|---|
| 1 | | Nachum Dershowitz,
Subrata Mitra,
G. Sivakumar:
Equation Solving in Conditional AC-Theories.
ALP 1990: 283-297 |
