|
DSpace at IIT Bombay >
Browsing by Author ADSUL, B
Showing results 1 to 6 of 6
| Issue Date | Title | Author(s) | | 2004 | Asynchronous automata-theoretic characterization of aperiodic trace languages | ADSUL, B; SOHONI, M |
| 2002 | Complete and tractable local linear time temporal logics over traces | ADSUL, B; SOHONI, M |
| 2000 | Keeping track of the latest gossip in shared memory systems | ADSUL, B; MEHTA, A; SOHONI, M |
| 2002 | Local normal forms for logics over traces | ADSUL, B; SOHONI, M |
| 2010 | Nash equilibria in fisher market | ADSUL, B; BABU, CS; GARG, J; MEHTA, R; SOHONI, M |
| 2010 | A simplex-like algorithm for fisher markets | ADSUL, B; BABU, CS; GARG, J; MEHTA, R; SOHONI, M |
Showing results 1 to 6 of 6
|