MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Rajeev Joshi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 25 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Exploiting traces in program analysis  
  • by Alex Groce, Rajeev Joshi — 2006 — In Proc. Tools and Algorithms for the Construction and Analysis of Systems
  • …Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software…
  • Cited by 2 (0 self) – Add To MetaCart
  • Maximally Concurrent Programs  
  • by Rajeev Joshi, Jayadev Misra — 1999 — Formal Aspects of Computing
  • …Maximally Concurrent Programs RAJEEV JOSHI and JAYADEV MISRA The University of Texas at Austin…
  • Cited by 1 (1 self) – Add To MetaCart
  • Seuss: What the Doctor Ordered  
  • by Lorenzo Alvisi, Rajeev Joshi, Calvin Lin, Jayadev Misra — 1997 — In PDSE '97
  • …Seuss: What the Doctor Ordered Lorenzo Alvisi Rajeev Joshi Calvin Lin Jayadev Misra Department…
  • Cited by 1 (0 self) – Add To MetaCart
  • Model-driven software verification  
  • by Gerard J. Holzmann, Rajeev Joshi — 2004 — In Proc. 2001 ACM SIGPLAN–SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE’01
  • …'C Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable…
  • Cited by 37 (8 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB