People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Deepak D'Souza, Raj Mohan M. and Pavithra Prabhakar Partial Flow Sensitivity Subhajit Roy and Y.N. Srikant Computing the Stopping Distance of a Tanner Graph is NP-hard
The Department of Computer Science and Automation (CSA) is a pioneering academic ... January 05, Pavithra Prabhakar Verifying Tolerant Systems using Polynomial ...
Thesis Defence Name of the Candidate : Pavithra Prabhakar Title of the Thesis : On the expressiveness of Metric Temporal Logic Date ...
(with Fabrice Chevalier, Raj Mohan M, and Pavithra Prabhakar) in Annals of Pure and Applied Logic, Volume 161, Issue 3, December 2009, Pages 324-336.Definitive version
Speaker Bio: Pavithra Prabhakar is a PhD student at the University of Illinois at Urbana-Champaign, and an alumnus of CSA department IISc.
The Department of Computer Science and Automation (CSA) is a pioneering ... January 05, Pavithra Prabhakar Verifying Tolerant Systems using Polynomial ...
Speaker Bio: Pavithra Prabhakar is a PhD student at the University of Illinois at Urbana-Champaign, and an alumnus of CSA department IISc.
Deepak Bhardwaj (MS), Pavithra Prabhakar (MS), Subhasree M. (ME), Raveendra Holla (ME), Deepak Vankadaru (ME), Rakesh Kumar (ME), Deepak Lukose (ME), Joy Chakraborty ...
Peter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu: Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. IPDPS 2008: 1-8 ...
Ahmed Sobeih (co-advised by Jennifer Hou); Pavithra Prabhakar. past. Abhay Vardhan (co-advised by Gul Agha). Currently at Google. ...
Friends: Mihir Baxi, Anushree Murthy, Somnath Bhattacharyya, Shreesh Tiwari, Anit SinhaPavithra Prabhakar is on Facebook. Join Facebook to connect with Pavithra Prabhakar and others you may know. Facebook gives people the power to share and ...
Pavithra Prabhakar. We extend some of the classical connections between automata and logic due to Büchi [B¨60] and McNaughton and Papert [MP71], ...
File Format: PDF/Adobe Acrobat -
"Verifying tolerant systems using polynomial approximations", Pavithra ...
"Automata and logics over finitely varying functions", Fabrice Chevalier ...
View the profiles of professionals named Pavithra Prabhakar on LinkedIn. There are 4 professionals named Pavithra Prabhakar, who use LinkedIn to exchange ...
Bengaluru Area, India - Flex at SoftwareView Pavithra Prabhakar's (India) professional profile on LinkedIn. LinkedIn ...
Linkedin