Andrew Gacek
About
Andrew Gacek has authored 14 papers that have received a total of 155 indexed citations.
This includes 11 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 5 papers in Safety, Risk, Reliability and Quality. The topics of these papers are Formal Methods in Verification (8 papers), Logic, programming, and type systems (7 papers) and Safety Systems Engineering in Autonomy (5 papers). Andrew Gacek is often cited by papers focused on Formal Methods in Verification (8 papers), Logic, programming, and type systems (7 papers) and Safety Systems Engineering in Autonomy (5 papers) and collaborates with scholars based in United States, France and Australia. Andrew Gacek's co-authors include Michael W. Whalen, Dale Miller, John Backes, Darren Cofer and Gopalan Nadathur and has published in prestigious journals such as IEEE Transactions on Software Engineering, Computer and IEEE Software
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Wenbo Zhao are published in Top journals papers by Marcel Wever are published in Top countries impacted by papers by Christilene du Plessis Top journals papers by Jam-Wem Lee are published in Top authors papers by Yutao Lei are co-authored with Top countries impacted by papers by O. Madejczyk Top countries impacted by papers by Javier Pérez-Asenjo Top countries impacted by papers by Jakka Sairamesh