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 authors papers by Alphonsus Rukevwe Isara are co-authored with Top fields papers by Alan Fisher are about Top authors papers by Noorjehan Joonas are co-authored with Top journals papers by M. Gabrea are published in Top fields papers by Alejandro Brea‐Fernández are about Top authors papers by Olaf H. Prufer are co-authored with Top fields papers by Alexander Abitbol are about Top fields papers by K. Shailaja are about