Darren Cofer
About
Darren Cofer has authored 31 papers that have received a total of 264 indexed citations.
This includes 13 papers in Computational Theory and Mathematics, 11 papers in Artificial Intelligence and 10 papers in Safety, Risk, Reliability and Quality. The topics of these papers are Formal Methods in Verification (11 papers), Safety Systems Engineering in Autonomy (10 papers) and Software Reliability and Analysis Research (9 papers). Darren Cofer is often cited by papers focused on Formal Methods in Verification (11 papers), Safety Systems Engineering in Autonomy (10 papers) and Software Reliability and Analysis Research (9 papers) and collaborates with scholars based in United States, Australia and Italy. Darren Cofer's co-authors include Michael W. Whalen, Andrew Gacek, Gerwin Klein, Sanjai Rayadurgam and Steven P. Miller and has published in prestigious journals such as IEEE Transactions on Automatic Control, Communications of the ACM and Computer
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Austin Loomer Rand are about Top authors papers by Carla Moreira are co-authored with Top countries impacted by papers by Syed Mahbubur Rahman Top countries impacted by papers by Qihua Huang Top fields papers by Lucina Hackman are about Top fields papers by R. Walczak are about Top journals papers by Bingmiao Gao are published in