Ministry of Education
Vidvan Image

Dr Om P Damani

vidwan id: 51946
Male

Professor, Department of Computer Science and Engineering
Indian Institute of Technology Bombay

Google Scholar Icon 6602611396 Google Scholar Icon lcRCUawAAAAJ

Expertise

  • Computer Science Information Systems

Publications

Total Articles 40
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 373
h-index 11

CrossRef

CrossRef Icon
Citations 31
h-index 3
Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Bio

Program Derivation, Large Scale Systems, Technology for Social Development.

Personal Details

  • Male
  • Professor , Indian Institute of Technology Bombay
  • Indian Institute of Technology Bombay, Powai
Ph.D
Other Institute 1999
Professor Jan 2010 – Present
Indian Institute of Technology Bombay | Department of Computer Science and Engineering
Associate Professor Dec 2004 – Dec 2009
Indian Institute of Technology Bombay | Department of Computer Science and Engineering

Related Profiles

Experts (14089+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

DEEPAK

Mr DEEPAK B N

N/A

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Anjali

Dr Anjali Jadhav

Doctor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisations (592+)

View All
Bharath

Dr Bharath Shekar

Assistant Professor

Sibi Raj B

Dr Sibi Raj B Pillai

Assistant Professor

Vivek Shripad

Dr Vivek Shripad Borkar

Professor

Bhaskaran

Dr Bhaskaran Raman

Professor

BELLIE

Prof BELLIE Siva Kumar

Professor

Bakul

Dr Bakul Rao

Associate Professor

Balasubramaniam

Dr Balasubramaniam Kavaipatti

Assistant Professor

Petety V

Prof Petety V Balaji

Professor

Avishek

Dr Avishek Ranjan

Assistant Professor

Avradeep

Dr Avradeep Pal

Assistant Professor

Co-Authors (9)

Abhishek Kumar

Mr Abhishek Kumar Sinha

Indian Institute of Technology Bombay

Ashutosh

Dr Ashutosh Mahajan

Indian Institute of Technology Bombay

Animesh

Dr Animesh Kumar

Indian Institute of Technology Bombay

Jayendran

Prof Jayendran Venkateswaran

Indian Institute of Technology Bombay

Pradip

Dr Pradip Kalbar

Indian Institute of Technology Bombay

Pooja

Prof Pooja Prasad

Indian Institute of Technology Delhi

Sivakumar

Dr Sivakumar G

Indian Institute of Technology Bombay

Milind

Dr Milind Sohoni

Indian Institute of Technology Bombay

Vaijayanthi

Dr Vaijayanthi Sarma

Indian Institute of Technology Bombay

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Introducing formal methods via program derivation

Open Access
Conference Paper
Year: 2015. Volume: 2015-June , Pages: 266-271 .
Authors: Chaudhari D.;Damani O.
DOI 10.1145/2729094.2742628
3 5

Interference-constrained coverage algorithms in the protocol and SINR models

Open Access
Article
Wireless Networks. Year: 2015. Volume: 21 , Issue: 4 , Pages: 1391-1409 .
Authors: Kapadia P.;Damani O.;Kumar A.
DOI 10.1007/s11276-014-0832-9
1 2

Combining top-down and bottom-up techniques in program derivation

Open Access
Conference Paper
Year: 2015. Volume: 9527 , Pages: 244-258 .
Authors: Chaudhari D.;Damani O.
DOI 10.1007/978-3-319-27436-2_15
1 3

Automated theorem prover assisted program calculations

Open Access
Conference Paper
Year: 2014. Volume: 8739 LNCS , Pages: 205-220 .
Authors: Chaudhari D.;Damani O.
DOI 10.1007/978-3-319-10181-1_13
4 4

Improving Pointwise Mutual Information (PMI) by incorporating significant co-occurrence

Open Access
Conference Paper
Year: 2013. Pages: 20-28 .
Authors: Damani O.P.
14

Appropriately incorporating statistical significance in PMI

Open Access
Conference Paper
Year: 2013. Pages: 163-169 .
Authors: Damani O.P.;Ghonge S.
7

Noun group and verb group identification for hindi

Open Access
Conference Paper
Year: 2012. Pages: 2491-2506 .
Authors: Singh S.;Damani O.P.;Sarma V.M.
2

Re-ordering Source Sentences for SMT

Open Access
Conference Paper
Year: 2012. Pages: 2164-2171 .
Authors: Sangodkar A.;Damani O.P.
2