Arist Kojevnikov

9 papers and 85 indexed citations i.

Arist Kojevnikov has authored 9 papers that have received a total of 85 indexed citations. This includes 6 papers in Computational Theory and Mathematics, 5 papers in Artificial Intelligence and 4 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (3 papers), Logic, programming, and type systems (2 papers) and Computational Geometry and Mesh Generation (2 papers). Arist Kojevnikov is often cited by papers focused on Formal Methods in Verification (3 papers), Logic, programming, and type systems (2 papers) and Computational Geometry and Mesh Generation (2 papers) and collaborates with scholars based in Russia, France and United States. Arist Kojevnikov's co-authors include Edward Hirsch, Alexander S. Kulikov, G. E. Mints, Grigory Yaroslavtsev and Dmitry Grigoriev and has published in prestigious journals such as Information Processing Letters, Annals of Pure and Applied Logic and Annals of Mathematics and Artificial Intelligence