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 | 69 | 2019 |
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 | 34 | 2016 |
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 | 31 | 2015 |
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 | 27 | 2016 |
TFX: The TPTP Extended Typed First-Order Form G Sutcliffe, E Kotelnikov PAAR @ FLoC, 72-87, 2018 | 13 | 2018 |
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 | 10 | 2018 |
Vampire 4.7-SMT System Description G Reger, M Suda, A Voronkov, L Kovács, A Bhayat, B Gleiss, M Hajdu, ... | 3 | 2022 |
Type-directed language extension for effectful computations E Kotelnikov Proceedings of the Fifth Annual Scala Workshop, 35-43, 2014 | 3 | 2014 |
Automated Theorem Proving with Extensions of First-Order Logic E Kotelnikov Chalmers University of Technology, 2018 | 2 | 2018 |
Embeddable framework for syntax-safe source code generation E Kotelnikov Proceedings of the 2012 Joint International Conference on Human-Centered …, 2012 | | 2012 |