Chinmay Jain

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
j2		Lakshmi Manasa, Shankara Narayanan Krishna, Chinmay Jain: Model Checking Weighted Integer Reset Timed Automata. Theory Comput. Syst. 48(3): 648-679 (2011)
	2009
c1		Ashish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain: Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata. FORMATS 2009: 88-102
	2008
j1		V. Anuradha, Chinmay Jain, Jack Snoeyink, Tibor Szabó: How Long Can a Graph be Kept Planar? Electr. J. Comb. 15(1) (2008)

Coauthor Index

Last update Sat May 25 13:59:42 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page