James Bret Michael

56 papers and 185 indexed citations i.

James Bret Michael has authored 56 papers that have received a total of 185 indexed citations. This includes 21 papers in Artificial Intelligence, 18 papers in Software and 15 papers in Information Systems. The topics of these papers are Software Reliability and Analysis Research (15 papers), Formal Methods in Verification (10 papers) and Information and Cyber Security (10 papers). James Bret Michael is often cited by papers focused on Software Reliability and Analysis Research (15 papers), Formal Methods in Verification (10 papers) and Information and Cyber Security (10 papers) and collaborates with scholars based in United States, Greece and Brazil. James Bret Michael's co-authors include Man‐Tak Shing, Doron Drusinsky, Duminda Wijesekera, Mikhail Auguston and Jeffrey Voas and has published in prestigious journals such as Computer, Transportation Research Record Journal of the Transportation Research Board and Information and Software Technology.