Konstantin Korovin
About
Konstantin Korovin has authored 8 papers that have received a total of 39 indexed citations.
This includes 8 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 1 paper in Molecular Biology. The topics of these papers are Formal Methods in Verification (6 papers), Logic, programming, and type systems (5 papers) and Logic, Reasoning, and Knowledge (2 papers). Konstantin Korovin is often cited by papers focused on Formal Methods in Verification (6 papers), Logic, programming, and type systems (5 papers) and Logic, Reasoning, and Knowledge (2 papers) and collaborates with scholars based in United Kingdom, Israel and Austria. Konstantin Korovin's co-authors include Laura Kovács, Андрей Воронков, Douglas B. Kell, Ross D. King and Zurab Khasidashvili and has published in prestigious journals such as Journal of The Royal Society Interface and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Kim R. Holmes are published in Top authors papers by S. Sánchez are co-authored with Top journals papers by C. H. Mullis are published in Top journals papers by S. Wüstling are published in Top authors papers by S. Watson are co-authored with Top countries impacted by papers by P. Shah Top countries impacted by papers by Yuan Zhuang Top journals papers by Y. S. Gao are published in