Embeddable framework for syntax-safe source code generation. - Evgenii Kotelnikov (HCCE, 2012)

Type-directed language extension for effectful computations. - Evgenii Kotelnikov (SCALA@ECOOP, 2014)

A First Class Boolean Sort in First-Order Theorem Proving and TPTP. - Evgenii Kotelnikov; Laura Kovács; Andrei Voronkov (CICM, 2015)

The vampire and the FOOL. - Evgenii Kotelnikov; Laura Kovács; Giles Reger; Andrei Voronkov (CPP, 2016)

A Clausal Normal Form Translation for FOOL. - Evgenii Kotelnikov; Laura Kovács; Martin Suda 001; Andrei Voronkov (GCAI, 2016)

A FOOLish Encoding of the Next State Relations of Imperative Programs. - Evgenii Kotelnikov; Laura Kovács; Andrei Voronkov (IJCAR, 2018)

TFX: The TPTP Extended Typed First-Order Form. - Geoff Sutcliffe; Evgenii Kotelnikov (PAAR@FLoC, 2018)

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 004; et al. (CAV (2), 2019)