dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Raghavan Komondoor Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, V. Krishna Nandivada, Saurabh Sinha, John Field: Identifying services from legacy batch applications. ISEC 2012: 13-22
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia: Packet flow analysis in IP networks using data-flow analysis. ISEC 2012: 49-52
2011
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRavichandhran Madhavan, Raghavan Komondoor: Null dereference verification via over-approximated weakest pre-conditions analysis. OOPSLA 2011: 1033-1052
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia: Packet flow analysis in IP networks via abstract interpretation CoRR abs/1111.6808: (2011)
2010
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHari S. Gupta, Deepak D'Souza, Raghavan Komondoor, Girish M. Rama: A case study in matching service descriptions to implementations in an existing system. ICSM 2010: 1-10
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHari S. Gupta, Deepak D'Souza, Raghavan Komondoor, Girish M. Rama: A Case Study in Matching Service Descriptions to Implementations in an Existing System CoRR abs/1008.2458: (2010)
2007
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, G. Ramalingam: Recovering Data Models via Guarded Dependences. WCRE 2007: 110-119
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaurabh Sinha, G. Ramalingam, Raghavan Komondoor: Parametric Process Model Inference. WCRE 2007: 21-30
2006
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGanesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha: Semantics-based reverse engineering of object-oriented data models. ICSE 2006: 192-201
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSatish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue: Technical forum: Using logical data models for understanding and transforming legacy business applications. IBM Systems Journal 45(3): 647-655 (2006)
2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field: Dependent Types for Program Understanding. TACAS 2005: 157-173
2003
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, Susan Horwitz: Effective, Automatic Procedure Extraction. IWPC 2003: 33-
2001
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, Susan Horwitz: Tool Demonstration: Finding Duplicated Code Using Program Dependences. ESOP 2001: 383-386
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, Susan Horwitz: Using Slicing to Identify Duplication in Source Code. SAS 2001: 40-56
2000
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaghavan Komondoor, Susan Horwitz: Semantics-Preserving Procedure Extraction. POPL 2000: 155-169
1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuri Breitbart, Raghavan Komondoor, Rajeev Rastogi, S. Seshadri, Abraham Silberschatz: Update Propagation Protocols For Replicated Databases. SIGMOD Conference 1999: 97-108

Coauthor Index

1Sudha Balodia [13] [15]
2Yuri Breitbart [1]
3Satish Chandra [6] [7]
4Deepak D'Souza [11] [12]
5John Field [6] [7] [8] [16]
6Hari S. Gupta [11] [12]
7Howard M. Hess [7]
8Susan Horwitz [2] [3] [4] [5]
9Manivannan Kalidasan [7]
10K. Vasanta Lakshmi [13] [15]
11Ravichandhran Madhavan [14]
12V. Krishna Nandivada [16]
13Frans Nieuwerth [7]
14Girish Maskeri Rama (Girish M. Rama) [11] [12]
15G. Ramalingam (Ganesan Ramalingam) [6] [7] [8] [9] [10]
16Rajeev Rastogi [1]
17Deva P. Seetharam [13] [15]
18S. Seshadri [1]
19Abraham Silberschatz (Avi Silberschatz) [1]
20Saurabh Sinha [8] [9] [16]
21Jackie De Vries [7]
22Justin Xue [7]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page