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 fields papers by David C. Poskitt are about Top countries impacted by papers by Nikolina Živaljić Top fields papers by Wanqun Yang are about Top authors papers by Karen Burstein are co-authored with Top journals papers by Gladis M. Zinati are published in Top countries impacted by papers by Miao Qi Top fields papers by Munif Alotaibi are about Top fields papers by Devin Razavi‐Shearer are about