Evgenii Kotelnikov
Affiliations:- Chalmers University of Technology, Gothenburg, Sweden
According to our database1,
Evgenii Kotelnikov
authored at least 8 papers
between 2012 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2016
Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016
2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
2014
Proceedings of the Fifth Annual Scala Workshop, 2014
2012
Proceedings of the Joint International Conference on Human-Centered Computer Environments, 2012