dblp.uni-trier.dewww.uni-trier.de

Subrata Mitra Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
10EESubrata Mitra, A. K. Chatterjee: Leveraging information in multi-echelon inventory systems. European Journal of Operational Research 152(1): 263-280 (2004)
1999
9EENachum 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
7EEDipayan Gangopadhyay, Subrata Mitra: ObjChart: Tangible Specification of Reactive Object Behavior. ECOOP 1993: 432-457
6EENachum 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
4EENachum 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
2EESubrata Mitra, G. Sivakumar: AC-Equation Solving. FSTTCS 1991: 40-56
1990
1EENachum Dershowitz, Subrata Mitra, G. Sivakumar: Equation Solving in Conditional AC-Theories. ALP 1990: 283-297

Coauthor Index

1A. K. Chatterjee [10]
2Nachum Dershowitz [1] [3] [4] [6] [9]
3Dipayan Gangopadhyay [5] [7] [8]
4G. Sivakumar [1] [2] [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)