| |
| 2005 | ||
|---|---|---|
| 5 | EE | Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan: Causal Closure for MSC Languages. FSTTCS 2005: 335-347 |
| 2004 | ||
| 4 | EE | Bharat Adsul, Milind A. Sohoni: Asynchronous Automata-Theoretic Characterization of Aperiodic Trace Languages. FSTTCS 2004: 84-96 |
| 2002 | ||
| 3 | EE | Bharat Adsul, Milind A. Sohoni: Local Normal Forms for Logics over Traces. FSTTCS 2002: 47-58 |
| 2 | EE | Bharat Adsul, Milind A. Sohoni: Complete and Tractable Local Linear Time Temporal Logics over Traces. ICALP 2002: 926-937 |
| 2000 | ||
| 1 | EE | Bharat Adsul, Aranyak Mehta, Milind A. Sohoni: Keeping Track of the Latest Gossip in Shared Memory Systems. FSTTCS 2000: 477-488 |
| 1 | K. Narayan Kumar | [5] |
| 2 | Aranyak Mehta | [1] |
| 3 | Madhavan Mukund | [5] |
| 4 | Vasumathi Narayanan | [5] |
| 5 | Milind A. Sohoni | [1] [2] [3] [4] |