Raghavan Raman and Eran Yahav - Free people check

(1 - 10 from 10

)

PeopleExplorer: An Integrated Interactive Exploratory People Search...

crystal.exp.sis.pitt.edu

2 : Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev, Eran Yahav, : Zoran Budimli?, Vincent Cavé, Raghavan Raman, Jun Shirako, Sa?nak ...

Runtime Verification: First International Conference, RV 2010, St....

books.google.de

368 Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev, and Eran Yahav Run-Time Verification of Optimistic Concurrency Ali Sezgin ...

Static Analysis: 17th International Symposium, SAS 2010, Perpignan,...

books.google.nl

455 Martin Vechev, Eran Yahav, Raghavan Raman, and Vivek Sarkar Author Index Time of Time E. Allen Emerson1,

CiteSeerX — Efficient data race detection for async-finish parallelism

citeseerx.ist.psu.edu

BibTeX @INPROCEEDINGS{Raman_efficientdata, author = {Raghavan Raman and Jisheng Zhao and Vivek Sarkar and Martin Vechev and Eran Yahav}, title = {Efficient …

All web results to the name "Raghavan Raman"

Eran Yahav - Citações do Google Acadêmico

scholar.google.com.br

Martin Vechev,; Mooly Sagiv,; Ganesan Ramalingam,; Greta Yorsh,; Stephen Fink,; Thomas Reps,; Sharon Shoham,; Matthew Arnold,; Raghavan Raman,; Ohad ...