- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c3 |      | Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan: GKLEE: concolic verification and test generation for GPUs. PPOPP 2012: 215-224 |
| 2009 | ||
| j1 | | Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and distributed model checking in Eddy. STTT 11(1): 13-25 (2009) |
| c2 | | Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni: Some resources for teaching concurrency. PADTAD 2009 |
| 2006 | ||
| c1 | | Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125 |
Data released under the ODC-BY 1.0 license — See also our legal information page