| 1992 |
|---|
| 14 | | Abha Moitra:
Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems.
FTRTFT 1992: 87-106 |
| 1989 |
|---|
| 13 | | Gianfranco Bilardi,
Abha Moitra:
Time Lower Bounds For CREW-PRAM Computation Of Monotone Functions.
ICALP 1989: 95-107 |
| 12 | | Abha Moitra,
Richard C. Johnson:
A Parallel Algorithm for Maximum Matching on Interval Graphs.
ICPP (3) 1989: 114-120 |
| 1988 |
|---|
| 11 | EE | Abha Moitra,
S. Sitharama Iyengar,
Farokh B. Bastani,
I-Ling Yen:
Multilevel Data Structures: Models and Performance.
IEEE Trans. Software Eng. 14(6): 858-867 (1988) |
| 1987 |
|---|
| 10 | | Abha Moitra,
S. Sitharama Iyengar:
Parallel Algorithms for Some Computational Problems.
Advances in Computers 26: 93-153 (1987) |
| 9 | | Mathai Joseph,
Abha Moitra,
Neelam Soundararajan:
Proof Rules for Fault Tolerant Distributed Programs.
Sci. Comput. Program. 8(1): 43-67 (1987) |
| 1986 |
|---|
| 8 | | Abha Moitra:
Scheduling of Hard Real-Time Systems.
FSTTCS 1986: 362-381 |
| 7 | | Abha Moitra,
S. Sitharama Iyengar:
Derivation of a Parallel Algorithm for Balancing Binary Trees.
IEEE Trans. Software Eng. 12(3): 442-449 (1986) |
| 1985 |
|---|
| 6 | | Mathai Joseph,
Abha Moitra:
Algebraic Specification Of A Communication Scheduler.
TAPSOFT, Vol.2 1985: 356-370 |
| 5 | | Abha Moitra:
Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs.
Sci. Comput. Program. 5(3): 277-307 (1985) |
| 1983 |
|---|
| 4 | | Mathai Joseph,
Abha Moitra:
Co-Operative Recovery From Faults in Distributed Programs.
IFIP Congress 1983: 481-486 |
| 3 | | Abha Moitra:
Synthesis of Communicating Processes.
PODC 1983: 123-130 |
| 1982 |
|---|
| 2 | | Abha Moitra:
Direct Implementation of Algebraic Specification of Abstract Data Types.
IEEE Trans. Software Eng. 8(1): 12-20 (1982) |
| 1979 |
|---|
| 1 | | A. W. Narwekar,
Abha Moitra:
Design of Software for Text Composition.
Softw., Pract. Exper. 9(4): 313-323 (1979) |
