| Lexical co-occurrence, statistical significance, and word association DL Chaudhari, OP Damani, S Laxman Proceedings of the Conference on Empirical Methods in Natural Language …, 2011 | 31 | 2011 |
| HOUDINI: Lifelong Learning as Program Synthesis L Valkov, D Chaudhari, A Srivastava, C Sutton, S Chaudhuri Advances in Neural Information Processing Systems, 8700-8711, 2018 | 24 | 2018 |
| Introducing Formal Methods via Program Derivation DL Chaudhari, O Damani ACM Conference on Innovation and Technology in Computer Science Education …, 2015 | 5 | 2015 |
| Automated theorem prover assisted program calculations DL Chaudhari, O Damani International Conference on Integrated Formal Methods, 205-220, 2014 | 5 | 2014 |
| Combining Top-Down and Bottom-Up Techniques in Program Derivation DL Chaudhari, O Damani International Symposium on Logic-Based Program Synthesis and Transformation …, 2015 | 2 | 2015 |
| Generating hierarchical state based representation from Event-B models DL Chaudhari, OP Damani Electronic Notes in Theoretical Computer Science 280, 35-46, 2011 | 2 | 2011 |
| Building an IDE for the Calculational Derivation of Imperative Programs DL Chaudhari, O Damani arXiv preprint arXiv:1508.03892, 2015 | 1 | 2015 |
| Wikipedia is a Practical Alternative to the Web for measuring Co-occurrence based Word Association OP Damani, P Chedda, D Chaudhari LANGUAGE & TECHNOLOGY, 9, 2012 | 1 | 2012 |
| Meta-Meta-Classification for One-Shot Learning A Chowdhury, D Chaudhari, S Chaudhuri, C Jermaine arXiv preprint arXiv:2004.08083, 2020 | | 2020 |
| Assumption propagation through annotated programs DL Chaudhari, O Damani Formal Aspects of Computing (2016), 1-36 (doi:10.1007/s00165-016-0395-x), 2016 | | 2016 |
Om P. DamaniProfessor of Computer Science, IIT BombayVerified email at cse.iitb.ac.in
