Ivan S. Zapreev
About
Ivan S. Zapreev has authored 3 papers that have received a total of 91 indexed citations.
This includes 3 papers in Computational Theory and Mathematics, 3 papers in Software and 1 paper in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (3 papers), Software Reliability and Analysis Research (2 papers) and Embedded Systems Design Techniques (1 paper). Ivan S. Zapreev is often cited by papers focused on Formal Methods in Verification (3 papers), Software Reliability and Analysis Research (2 papers) and Embedded Systems Design Techniques (1 paper) and collaborates with scholars based in The Netherlands and Germany. Ivan S. Zapreev's co-authors include Joost-Pieter Katoen, Manuel Mazo, Ernst Moritz Hahn, David N. Jansen and Holger Hermanns and has published in prestigious journals such as Performance Evaluation and IFAC-PapersOnLine.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by James Mann are published in Top authors papers by Benjamin Greenstein are co-authored with Top fields papers by Steve Hatfield Dodds are about Top authors papers by Alexei Zamyatin are co-authored with Top fields papers by Raghu Arunachalam are about Top authors papers by Anne‐Sophie Schneck are co-authored with Top countries impacted by papers by J. Coss Top countries impacted by papers by Allison Joyce