Chinmay Narayan
According to our database1,
Chinmay Narayan
authored at least 9 papers
between 2012 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the 3rd ACM SIGCAS Conference on Computing and Sustainable Societies, 2020
2016
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016
2015
2014
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
2013
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization.
Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012