S. Arun-Kumar
Affiliations:- Indian Institute of Technology Delhi, Department of Computer Science and Engineering, India
According to our database1,
S. Arun-Kumar
authored at least 9 papers
between 2012 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
2016
2017
0
1
2
3
1
1
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017
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
Proceedings of the Relational and Algebraic Methods in Computer Science, 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
2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012