Nancy A. Day
About
Nancy A. Day has authored 24 papers that have received a total of 101 indexed citations.
This includes 20 papers in Computational Theory and Mathematics, 17 papers in Software and 15 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (19 papers), Model-Driven Software Engineering Techniques (14 papers) and Logic, programming, and type systems (8 papers). Nancy A. Day is often cited by papers focused on Formal Methods in Verification (19 papers), Model-Driven Software Engineering Techniques (14 papers) and Logic, programming, and type systems (8 papers) and collaborates with scholars based in Canada, United States and Singapore. Nancy A. Day's co-authors include Joanne M. Atlee, Jianwei Niu, Farhad Mavaddat, George F. Gao and Ahmad A. Attallah and has published in prestigious journals such as Journal of Lightwave Technology, IEEE Transactions on Software Engineering and Prostaglandins
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Ricardo Peña are published in Top countries impacted by papers by Lavika Goel Top authors papers by Micah Lande are co-authored with Top countries impacted by papers by Michael Fuller Top fields papers by Bocar Baya are about Top countries impacted by papers by David Wardle Top countries impacted by papers by Emil Simion Top fields papers by A. Olăcel are about