Theodore W. Manikas
About
Theodore W. Manikas has authored 21 papers that have received a total of 187 indexed citations.
This includes 7 papers in Electrical and Electronic Engineering, 6 papers in Computational Theory and Mathematics and 6 papers in Software. The topics of these papers are Software Reliability and Analysis Research (6 papers), Formal Methods in Verification (5 papers) and Robotic Path Planning Algorithms (4 papers). Theodore W. Manikas is often cited by papers focused on Software Reliability and Analysis Research (6 papers), Formal Methods in Verification (5 papers) and Robotic Path Planning Algorithms (4 papers) and collaborates with scholars based in United States, Japan and Canada. Theodore W. Manikas's co-authors include K. Ashenayi, Mitchell A. Thornton, Ping Gui, Michael A. Taylor and Kundan Nepal and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on Emerging Topics in Computing and IEEE Transactions on Education
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by F. A. Paneth are co-authored with Top journals papers by Camila Lopes Veronez are published in Top countries impacted by papers by Antoine Geissbühler Top journals papers by Anna Bozzola are published in Top authors papers by Danielle Azar are co-authored with Top journals papers by Jingyi Chen are published in Top journals papers by Mariarosaria Calvello are published in Top fields papers by Theodore A. Talay are about