Vera Pantelic
About
Vera Pantelic has authored 24 papers that have received a total of 389 indexed citations.
This includes 13 papers in Computational Theory and Mathematics, 12 papers in Software and 5 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (12 papers), Software Testing and Debugging Techniques (9 papers) and Software Reliability and Analysis Research (7 papers). Vera Pantelic is often cited by papers focused on Formal Methods in Verification (12 papers), Software Testing and Debugging Techniques (9 papers) and Software Reliability and Analysis Research (7 papers) and collaborates with scholars based in Canada, United States and Italy. Vera Pantelic's co-authors include Mark Lawford, Alexandre Korobkine, Alan Wassyng, Berker Bilgin and Weisheng Jiang and has published in prestigious journals such as IEEE Transactions on Automatic Control, IEEE Transactions on Vehicular Technology and IEEE Transactions on Software Engineering
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by J. H. Rho are published in Top fields papers by Walter K. Long are about Top authors papers by Samuel A. Talbot are co-authored with Top authors papers by Önder Ofluoğlu are co-authored with Top fields papers by Yixiang Song are about Top journals papers by Robert M. Hoyte are published in Top countries impacted by papers by E Signorini Top authors papers by Angélique Martin are co-authored with