Follow
Evgenii Kotelnikov
Title
Cited by
Cited by
Year
Reachability Analysis for AWS-based Networks
J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ...
31st International Conference on Computer-Aided Verification, 2019
652019
The Vampire and the FOOL
E Kotelnikov, L Kovács, G Reger, A Voronkov
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016
342016
A First Class Boolean Sort in First-Order Theorem Proving and TPTP
E Kotelnikov, L Kovács, A Voronkov
Intelligent Computer Mathematics, 71-86, 2015
312015
A Clausal Normal Form Translation for FOOL
E Kotelnikov, L Kovács, M Suda, A Voronkov
GCAI 2016. 2nd Global Conference on Artificial Intelligence 41, 53-71, 2016
262016
TFX: The TPTP Extended Typed First-Order Form
G Sutcliffe, E Kotelnikov
PAAR @ FLoC, 72-87, 2018
132018
A FOOLish encoding of the next state relations of imperative programs
E Kotelnikov, L Kovács, A Voronkov
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
102018
Vampire 4.7-SMT System Description
G Reger, M Suda, A Voronkov, L Kovács, A Bhayat, B Gleiss, M Hajdu, ...
32022
Type-directed language extension for effectful computations
E Kotelnikov
Proceedings of the Fifth Annual Scala Workshop, 35-43, 2014
32014
Automated Theorem Proving with Extensions of First-Order Logic
E Kotelnikov
Chalmers University of Technology, 2018
22018
Embeddable framework for syntax-safe source code generation
E Kotelnikov
Proceedings of the 2012 Joint International Conference on Human-Centered …, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–10