Miroslav N. Velev
About
Miroslav N. Velev has authored 32 papers that have received a total of 400 indexed citations.
This includes 29 papers in Computational Theory and Mathematics, 17 papers in Hardware and Architecture and 15 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (29 papers), Embedded Systems Design Techniques (13 papers) and Logic, programming, and type systems (11 papers). Miroslav N. Velev is often cited by papers focused on Formal Methods in Verification (29 papers), Embedded Systems Design Techniques (13 papers) and Logic, programming, and type systems (11 papers) and collaborates with scholars based in United States and France. Miroslav N. Velev's co-authors include Randal E. Bryant, Ping Gao, Ping Gao, Steven M. German and John Franco and has published in prestigious journals such as IEEE Transactions on Education, Journal of Symbolic Computation and ACM Transactions on Computational Logic
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Dennis Thomas Top authors papers by Daleng Shen are co-authored with Top countries impacted by papers by Daniel Díaz Top authors papers by Yangyang Xu are co-authored with Top fields papers by Felix Günther are about Top journals papers by Γεώργιος Κολλιόπουλος are published in Top fields papers by Arturo Rankin are about Top fields papers by Hans van der Wal are about