Nadia Polikarpova
About
Nadia Polikarpova has authored 24 papers that have received a total of 311 indexed citations.
This includes 16 papers in Artificial Intelligence, 13 papers in Information Systems and 10 papers in Software. The topics of these papers are Logic, programming, and type systems (13 papers), Software Engineering Research (13 papers) and Software Testing and Debugging Techniques (10 papers). Nadia Polikarpova is often cited by papers focused on Logic, programming, and type systems (13 papers), Software Engineering Research (13 papers) and Software Testing and Debugging Techniques (10 papers) and collaborates with scholars based in United States, Switzerland and Singapore. Nadia Polikarpova's co-authors include Armando Solar-Lezama, Carlo A. Furia, Michael B. James, Hila Peleg and Bertrand Meyer and has published in prestigious journals such as Proceedings of the VLDB Endowment, Lecture notes in computer science and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Bharath Subramani are about Top authors papers by F. Niepold are co-authored with Top journals papers by Noureddine Bouarroudj are published in Top authors papers by Eiji Usui are co-authored with Top journals papers by Djeto Assané are published in Top fields papers by Zhenqiu Sun are about Top fields papers by Sachi Sakaguchi are about Top journals papers by Kejia Hu are published in