Ann Q. Gates

48 papers and 330 indexed citations i.

About

Ann Q. Gates has authored 48 papers that have received a total of 330 indexed citations. This includes 14 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 10 papers in Information Systems. The topics of these papers are Formal Methods in Verification (10 papers), Teaching and Learning Programming (7 papers) and Advanced Software Engineering Methodologies (7 papers). Ann Q. Gates is often cited by papers focused on Formal Methods in Verification (10 papers), Teaching and Learning Programming (7 papers) and Advanced Software Engineering Methodologies (7 papers) and collaborates with scholars based in United States, Mexico and South Sudan. Ann Q. Gates's co-authors include Patricia J. Teller, Heather Thiry, Владик Крейнович, Sarah Hug and John Chen and has published in prestigious journals such as Communications of the ACM, IEEE Transactions on Software Engineering and Computer

In The Last Decade

Rankless by CCL
2025