MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Vishwanath Raman" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Pointer Analysis -- A Survey  
  • by Vishwanath Raman Computer, Vishwanath Raman — 2004
  • …Pointer Analysis – A Survey Vishwanath Raman Computer Science University of California, Santa Cruz…
  • Add To MetaCart
  • GAME REFINEMENT RELATIONS AND METRICS  
  • by Luca de Alfaro , Rupak Majumdar , Vishwanath Raman , Marielle Stoelinga — 2008 — LOGICAL METHODS IN COMPUTER SCIENCE
  • … REFINEMENT RELATIONS AND METRICS LUCA DE ALFARO a , RUPAK MAJUMDAR b , VISHWANATH RAMAN c , AND MARIËLLE…
  • Add To MetaCart
  • Algorithms for Game Metrics  
  • by Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman — 2008
  • … Algorithms for Game Metrics* Krishnendu Chatterjee1 Luca de Alfaro1 Rupak Majumdar2 Vishwanath…
  • Add To MetaCart
  • Ticc, a tool for interface compatibility and composition  
  • by B. Thomas Adler, Luca De Alfaro, Ro Dias Da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy — 2006 — In Proceedings 18th International Conference on Computer Aided Verification (CAV), volume 4144 of Lecture Notes in Computer Science
  • … , Leandro Dias Da Silva 2 , Marco Faella 3 , Axel Legay 1,4 , Vishwanath Raman 1 , and Pritam Roy 1 1 School…
  • Cited by 3 (2 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB