Andrew Gacek

14 papers and 160 indexed citations i.

About

Andrew Gacek has authored 14 papers that have received a total of 160 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 United Kingdom. Andrew Gacek's co-authors include Michael W. Whalen, John Backes, Gopalan Nadathur, Darren Cofer and Dale Miller and has published in prestigious journals such as IEEE Transactions on Software Engineering, Computer and IEEE Software.

In The Last Decade

Fields of papers published by Andrew Gacek

Since Specialization
EngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics

Countries citing papers authored by Andrew Gacek

Since Specialization
Citations
Rankless by CCL
2025