MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Supratik Mukhopadhyay" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Model Checking for Timed Logic Processes  
  • by Supratik Mukhopadhyay, Andreas Podelski — 2000 — In Proceedings of the First International Conference on Computational Logic (CL), volume 1861 of LNAI
  • …Model Checking for Timed Logic Processes Supratik Mukhopadhyay Andreas Podelski Max Planck…
  • Cited by 3 (3 self) – Add To MetaCart
  • Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata  
  • by Supratik Mukhopadhyay And, Supratik Mukhopadhyay, Andreas Podelski — 1999 — 19th International Conference on the Foundations of Software Technology and Theoretical Computer Science, volume 1738 of LNCS
  • …Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata Supratik Mukhopadhyay and Andreas…
  • Add To MetaCart
  • The Stratified µ-Calculus  
  • by Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
  • …The Stratied -Calculus Witold Charatonik Supratik Mukhopadhyay Andreas Podelski Max…
  • Add To MetaCart
  • The complexity of model checking mobile ambients  
  • by Witold Charatonik, Silvano Dal, Zilio Andrew, D. Gordon, Supratik Mukhopadhyay — 2001 — In Proceedings FoSSaCS’01, volume 2030 of LNCS
  • … D. Gordon3 Supratik Mukhopadhyay1 Jean-Marc Talbot1;4 May 2001 Technical Report MSR-TR-2001…
  • Cited by 5 (3 self) – Add To MetaCart
  • Dynamic Message Sequence Charts  
  • by Martin Leucker Madhusudan, Martin Leucker, Supratik Mukhopadhyay — 2002 — In Proceedings of the 22nd Conference on Bibliography 133 Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), Kanpur, India
  • …Dynamic Message Sequence Charts Martin Leucker 1,2# , P. Madhusudan 2## , Supratik Mukhopadhyay…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB