Ketan Dixit
According to our database1,
Ketan Dixit
authored at least 3 papers
between 2010 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
2010
2011
2012
0
1
2
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
Int. J. Softw. Tools Technol. Transf., 2012
Formal Methods Syst. Des., 2012
2010
Proceedings of the Runtime Verification - First International Conference, 2010