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 Dongning Wei are published in Top journals papers by Alec Dorling are published in Top authors papers by Jingyao Zeng are co-authored with Top fields papers by Ju‐Xing Jiang are about Top countries impacted by papers by Eva Horn Top fields papers by Yuri V. Gulyaev are about Top fields papers by Leonardo Laipelt are about Top fields papers by Colin Xu are about