Evgenii Kotelnikov

According to our database, Evgenii Kotelnikov authored at least 8 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Reachability Analysis for AWS-Based Networks.

John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

TFX: The TPTP Extended Typed First-Order Form.

Geoff Sutcliffe, Evgenii Kotelnikov

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

A FOOLish Encoding of the Next State Relations of Imperative Programs.

Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2016

A Clausal Normal Form Translation for FOOL.

Evgenii Kotelnikov, Laura Kovács, Martin Suda, Andrei Voronkov

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

The vampire and the FOOL.

Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

A First Class Boolean Sort in First-Order Theorem Proving and TPTP.

Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

2014

Type-directed language extension for effectful computations.

Evgenii Kotelnikov

Proceedings of the Fifth Annual Scala Workshop, 2014

2012

Embeddable framework for syntax-safe source code generation.

Evgenii Kotelnikov

Proceedings of the Joint International Conference on Human-Centered Computer Environments, 2012