Ashish Chiplunkar Research Scholar Department of Computer Science and Engineering IITB Mail:

Home Publications Ph. D. Photo Gallery Other Interests

Publications in Refereed International Conference Proceedings

• Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata
  with Shankara Narayanan Krishna and Chinmay Jain at FORMATS 2009

Technical Reports

• "At least one" caching
• General Caching with Lifetimes