Evgenii Kotelnikov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2019
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CAV | 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 |
| 2018 | CADE | A FOOLish Encoding of the Next State Relations of Imperative Programs. | Evgenii Kotelnikov, Laura Kovcs, Andrei Voronkov |
| 2018 | CADE | TFX: The TPTP Extended Typed First-Order Form. | Geoff Sutcliffe, Evgenii Kotelnikov |
| 2016 | CPP | The vampire and the FOOL. | Evgenii Kotelnikov, Laura Kovcs, Giles Reger, Andrei Voronkov |
| 2014 | ECOOP | Type-directed language extension for effectful computations. | Evgenii Kotelnikov |