Travelled to:1 × France
1 × Germany
1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:N.Dershowitz D.Gangopadhyay G.Sivakumar I.Laguna D.H.Ahn S.Bagchi M.Schulz T.Gamblin
Talks about:object (2) chart (2) obj (2) progress (1) parallel (1) jeopardi (1) behavior (1) tangibl (1) reactiv (1) environ (1)
Person: Subrata Mitra
DBLP: Mitra:Subrata
Contributed to:
2014
1999
1993
1993
1992
1990Wrote 6 papers:
- PLDI-2014-MitraLABSG #analysis #debugging #parallel #scalability
- Accurate application progress analysis for large-scale parallel debugging (SM, IL, DHA, SB, MS, TG), p. 23.
- RTA-1999-DershowitzM
- Jeopardy (ND, SM), pp. 16–29.
- ECOOP-1993-GangopadhyayM #behaviour #named #specification
- ObjChart: Tangible Specification of Reactive Object Behavior (DG, SM), pp. 432–457.
- TOOLS-USA-1993-GangopadhyayM #modelling #named #visual notation
- ObjChart-Builder: An Environment for Executing Visual Object Models (DG, SM), pp. 319–334.
- CADE-1992-DershowitzMS #convergence #decidability
- Decidable Matching for Convergent Systems (ND, SM, GS), pp. 589–602.
- ALP-1990-DershowitzMS #equation
- Equation Solving in Conditional AC-Theories (ND, SM, GS), pp. 283–297.