MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Mayank Saksena" – 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
  • Insights to Angluin's Learning  
  • by Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena — 2003 — In International Workshop on Software Verification and Validation (SVV
  • …Insights to Angluin's Learning Therese Berg, Bengt Jonsson, Martin Leucker and Mayank Saksena…
  • Cited by 9 (2 self) – Add To MetaCart
  • Proving Liveness by Backwards Reachability  
  • by Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena — 2006 — In CONCUR, LNCS
  • …, and Mayank Saksena Dept. of Information Technology, P.O. Box 337, S-751 05 Uppsala, Sweden {parosh,bengt,rahmed,mayanks…
  • Cited by 2 (1 self) – Add To MetaCart
  • A survey of regular model checking  
  • by Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena — 2004 — In Proc. of CONCUR’04, volume 3170 of LNCS
  • … Saksena Dept. of Information Technology, P.O. Box 337, S-751 05 Uppsala, Sweden {parosh,bengt,marcusn,mayanks…
  • Cited by 15 (5 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB