Yakov Novikov
About
Yakov Novikov has authored 6 papers that have received a total of 396 indexed citations.
This includes 4 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 3 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (4 papers), Logic, programming, and type systems (3 papers) and VLSI and Analog Circuit Testing (2 papers). Yakov Novikov is often cited by papers focused on Formal Methods in Verification (4 papers), Logic, programming, and type systems (3 papers) and VLSI and Analog Circuit Testing (2 papers) and collaborates with scholars based in United States, Belarus and Germany. Yakov Novikov's co-authors include E. Goldberg and has published in prestigious journals such as Discrete Applied Mathematics and Advanced materials research
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Janne Seppälä are published in Top fields papers by Edwin van Mirre are about Top authors papers by B. Otto-Bliesner are co-authored with Top journals papers by Birgit Holzwarth are published in Top journals papers by Céline Tellier are published in Top journals papers by Jordan M. VanLare are published in Top fields papers by James C. Capretta are about Top fields papers by Philip Makotyn are about