Raghavan V. Komondoor and Research - Free people check

(1 - 22 from 22

)

Etaps programme: TACAS.html

www.etaps05.inf.ed.ac.uk

Raghavan Komondoor (IBM T.J. Watson Research Center, Yorktown Heights, USA), G. Ramalingam (IBM India, Bangalore, India), Satish Chandra (IBM India Research ... › Programme › TACAS

G. Ramalingam at Microsoft Research

www.microsoft.com

Raghavan Komondoor, G. Ramalingam, Satish Chandra, John Field. International Conference on Tools and Algorithms for the Construction and Analysis of Systems ... › grama › publications

Etaps programme: TACAS.html

www-verimag.imag.fr

Raghavan Komondoor (IBM T.J. Watson Research Center, Yorktown Heights, USA), G. Ramalingam (IBM India, Bangalore, India), Satish Chandra (IBM India ...

ResearchGate

www.researchgate.net

ResearchGate is a network dedicated to science and research. Connect, collaborate and discover scientific publications, jobs and conferences. All for free.

ICSE Austin :: Other Committees

2016.icse.cs.txstate.edu

ICSE is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent...

Research and Advanced Technology for Digital Libraries: 4th ...

books.google.be

[2] Yuri Breitbart, Raghavan Komondoor, Rajeev Rastogi, S. Seshadri, and Avi Silberschatz. Update propagation protocols for replicated databases.

Tools and Algorithms for the Construction and Analysis of Systems:...

books.google.com.ua

Dependent Types for Program Understanding Raghavan Komondoor⋆, G. Ramalingam, Satish Chandra, and John Field IBM Research Abstract. Weakly-typed ...

Raghavan Komondoor - researchr alias

researchr.org

via Term-Rewriting and Abstract InterpretationRaghavan Komondoor.

[ ] Checking Observational Purity of Procedures

arxiv.org

Authors:Himanshu Arora (1), Raghavan Komondoor (1), G. Ramalingam (2) ((1) Indian Institute of Science, Bangalore, (2) Microsoft Research).

Download PDF - Microsoft

www.microsoft.com

Raghavan Komondoor. IBM India Research Lab .com. G. Ramalingam. Microsoft Research India∗ . Abstract.

Recovering Data Models Via Guarded Dependences - Microsoft Research

www.microsoft.com

Recovering Data Models Via Guarded Dependences October 1, Download PDF BibTex Authors Raghavan Komondoor G. Ramalingam; Published In. Proceedings of the 14th ...

Parametric Process Model Inference - Microsoft Research

www.microsoft.com

Saurabh Sinha, G. Ramalingam, and Raghavan Komondoor ... PDF file. In Proceedings of the 14th Working Conference on Reverse Engineering (WCRE)

Schloss Dagstuhl : Participant List

www.dagstuhl.de

... CA); Ahmed E. Hassan (University of Waterloo, CA); Andy Kellens (Free University of Brussels, BE); Raghavan Komondoor (IBM India Research Lab.

Yahoo! Groups

groups.yahoo.com

Purandar Bhaduri (IIT Guwahati) Raghavan Komondoor (IISc) Rajeev Gupta (IBM Research) Sachindra Joshi (IBM Research) Sanjeev K Aggarwal (IIT Kanpur)

Chemistry Tree - Similar researchers to Raghavan Komondoor

academictree.org

› chemistry › peoplelist

Centre for Research in Evolution, Search & Testing: The 32nd COW ::...

crest.cs.ucl.ac.uk

CREST Open Workshop (COW) Past Events. Comments. Register. CREST's on-going Collaborations with China. GDPR ... Raghavan Komondoor, Indian Institute of Science, India.

Research Track

isr.uci.edu

Semantics-Based Reverse Engineering of Object-Oriented Data Models, G. Ramalingam, Raghavan Komondoor, John Field, IBM Research, USA; Saurabh Sinha

US System and method for serializing lazy updates in a...

search.wellspringsoftware.net

Aggregating the world's patents, patent applications, research grants, technology and inventors allowing universities and companies to showcase and share...