How to Recover Efficiently and Asynchronously when Optimism Fails. - Om P. Damani; Vijay K. Garg (ICDCS, 1996)

Distributed Recovery with K-Optimistic Logging. - Yi-Min Wang; Om P. Damani; Vijay K. Garg (ICDCS, 1997)

Optimistic Distributed Simulation Based on Transitive Dependency Tracking. - Om P. Damani; Yi-Min Wang; Vijay K. Garg (Workshop on Parallel and Distributed Simulation, 1997)

ONE-IP: Techniques for Hosting a Service on a Cluster of Machines. - Om P. Damani; P. Emerald Chung; Yennun Huang; Chandra M. R. Kintala; Yi-Min Wang (Comput. Networks, 1997)

Fault-Tolerant Distributed Simulation. - Om P. Damani; Vijay K. Garg (Workshop on Parallel and Distributed Simulation, 1998)

Optimistic Recovery in Multi-threaded Distributed Systems. - Om P. Damani; Ashis Tarafdar; Vijay K. Garg (SRDS, 1999)

Distributed recovery with K-optimistic logging. - Om P. Damani; Yi-Min Wang; Vijay K. Garg (J. Parallel Distributed Comput., 2003)

Interference-constrained wireless coverage in a protocol model. - Prateek R. Kapadia; Om P. Damani (MSWiM, 2006)

Hindi and Marathi to English Cross Language Information Retrieval at CLEF 2007. - Manoj Kumar Chinnakotla; Sagar Ranadive; Pushpak Bhattacharyya; Om P. Damani (CLEF (Working Notes), 2007)

Hindi to English and Marathi to English Cross Language Information Retrieval Evaluation. - Manoj Kumar Chinnakotla; Sagar Ranadive; Om P. Damani; Pushpak Bhattacharyya (CLEF, 2007)

Hindi generation from interlingua. - Smriti Singh; Mrugank Dalal; Vishal Vachhani; Pushpak Bhattacharyya; Om P. Damani (MTSummit, 2007)

Hindi and Marathi to English Cross Language Information Retrieval. - Manoj Kumar Chinnakotla; Sagar Ranadive; Om P. Damani; Pushpak Bhattacharyya (IJCNLP, 2008)

Experiences with English-Hindi, English-Tamil and English-Kannada Transliteration Tasks at NEWS 2009. - Manoj Kumar Chinnakotla; Om P. Damani (NEWS@IJCNLP, 2009)

Transliteration for Resource-Scarce Languages. - Manoj Kumar Chinnakotla; Om P. Damani; Avijit Satoskar (ACM Trans. Asian Lang. Inf. Process., 2010)

Lexical Co-occurrence, Statistical Significance, and Word Association. - Dipak L. Chaudhari; Om P. Damani; Srivatsan Laxman (EMNLP, 2011)

Generating Hierarchical State Based Representation From Event-B Models. - Dipak L. Chaudhari; Om P. Damani (B@FM, 2011)

Noun Group and Verb Group Identification for Hindi. - Smriti Singh; Om P. Damani; Vaijayanthi M. Sarma (COLING, 2012)

Re-ordering Source Sentences for SMT. - Amit Sangodkar; Om P. Damani (LREC, 2012)

Improving Pointwise Mutual Information (PMI) by Incorporating Significant Co-occurrence. - Om P. Damani (CoNLL, 2013)

Appropriately Incorporating Statistical Significance in PMI. - Om P. Damani; Shweta Ghonge (EMNLP, 2013)

A Domain-Restricted, Rule Based, English-Hindi Machine Translation System Based on Dependency Parsing. - Pratik Desai; Amit Sangodkar; Om P. Damani (ICON, 2014)

Automated Theorem Prover Assisted Program Calculations. - Dipak L. Chaudhari; Om P. Damani (IFM, 2014)

Introducing Formal Methods via Program Derivation. - Dipak L. Chaudhari; Om P. Damani (ITiCSE, 2015)

Combining Top-Down and Bottom-Up Techniques in Program Derivation. - Dipak L. Chaudhari; Om P. Damani (LOPSTR, 2015)

Building an IDE for the Calculational Derivation of Imperative Programs. - Dipak L. Chaudhari; Om P. Damani (F-IDE, 2015)

Interference-constrained coverage algorithms in the protocol and SINR models. - Prateek R. Kapadia; Om P. Damani; Animesh Kumar (Wirel. Networks, 2015)

Assumption propagation through annotated programs. - Dipak L. Chaudhari; Om P. Damani (Formal Aspects Comput., 2017)

Well Detection in Satellite Images using Convolutional Neural Networks. - Pratik Sanjay Wagh; Debanjan Das; Om P. Damani (GISTAM, 2019)

JalTantra: A System for the Design and Optimization of Rural Piped Water Networks. - Nikhil Hooda; Om P. Damani (INFORMS J. Appl. Anal., 2019)

Aiding Irrigation Census in Developing Countries by Detecting Minor Irrigation Structures from Satellite Imagery. - Chintan Tundia; Pooja Tank; Om P. Damani (GISTAM, 2020)

Cost Optimization of Water Distribution Networks: Model Refinement Is Better Than Problem-Specific Solving Techniques. - Saumya Goyal; Om P. Damani; Ashutosh Mahajan (CoRR, 2021)

The MIS Check-Dam Dataset for Object Detection and Instance Segmentation Tasks. - Chintan Tundia; Rajiv Kumar; Om P. Damani; G. Sivakumar (VISIGRAPP (5: VISAPP), 2022)

FPCD: An Open Aerial VHR Dataset for Farm Pond Change Detection. - Chintan Tundia; Rajiv Kumar; Om P. Damani; G. Sivakumar (VISIGRAPP (5: VISAPP), 2023)