Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

38 results for Kavitha Srinivas

SABER: Smart analysis based error reduction
- - Darrell Reimer
  - Edith Schonberg
  - et al.
- 2004
- ISSTA 2004
Validating structural properties of nested objects
- - Darrell Reimer
  - Edith Schonberg
  - et al.
- 2004
- OOPSLA 2004
Coordinating social care and healthcare using semanticweb technologies
- - Spyros Kotoulas
  - Vanessa Lopez
  - et al.
- 2013
- ISWC 2013
Collective ontology alignment
- - Jason B. Ellis
  - Oktie Hassanzadeh
  - et al.
- 2013
- ISWC 2013
Efficient reasoning on large SHIN Aboxes in relational databases
- - Julian Dolby
  - Achille Fokoue
  - et al.
- 2009
- ISWC 2009
Learning to Guide a Saturation-Based Theorem Prover
- - Ibrahim Abdelaziz
  - Maxwell Crouse
  - et al.
- 2021
- IEEE TPAMI
Exploring big data with Helix: Finding needles in a big haystack
- - Jason Ellis
  - Achille Fokoue
  - et al.
- 2015
- SIGMOD Record
Scalable highly expressive reasoner (SHER)
- - Julian Dolby
  - Achille Fokoue
  - et al.
- 2009
- Journal of Web Semantics