Evgenii Kotelnikov

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 8

Top Topics

Quantifier Elimination

First Order Logic

Theorem Proving

Reachability Analysis

Top Venues

Publications

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
Reachability Analysis for AWS-Based Networks. CAV (2) (2019)
Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov
A FOOLish Encoding of the Next State Relations of Imperative Programs. IJCAR (2018)
Geoff Sutcliffe, Evgenii Kotelnikov
TFX: The TPTP Extended Typed First-Order Form. PAAR@FLoC (2018)
Evgenii Kotelnikov, Laura Kovács, Martin Suda, Andrei Voronkov
A Clausal Normal Form Translation for FOOL. GCAI (2016)
Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov
The vampire and the FOOL. CPP (2016)
Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov
The Vampire and the FOOL. CoRR (2015)
Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov
A First Class Boolean Sort in First-Order Theorem Proving and TPTP. CICM (2015)
Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov
A First Class Boolean Sort in First-Order Theorem Proving and TPTP. CoRR (2015)
Evgenii Kotelnikov
Type-directed language extension for effectful computations. SCALA@ECOOP (2014)
Evgenii Kotelnikov
Embeddable framework for syntax-safe source code generation. HCCE (2012)