Natasha Sharygina
About
Natasha Sharygina has authored 37 papers that have received a total of 303 indexed citations.
This includes 31 papers in Computational Theory and Mathematics, 26 papers in Software and 20 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (31 papers), Software Testing and Debugging Techniques (20 papers) and Logic, programming, and type systems (13 papers). Natasha Sharygina is often cited by papers focused on Formal Methods in Verification (31 papers), Software Testing and Debugging Techniques (20 papers) and Logic, programming, and type systems (13 papers) and collaborates with scholars based in Switzerland, United States and Italy. Natasha Sharygina's co-authors include Daniel Kroening, Roberto Bruttomesso, Edmund M. Clarke, E. M. Clarke and Silvio Ghilardi and has published in prestigious journals such as Theoretical Computer Science, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by George Lentaris are about Top authors papers by Vassil Traykov are co-authored with Top fields papers by Raúl E. González‐Ittig are about Top journals papers by Sidra Khalid are published in Top authors papers by Erissandra Gomes are co-authored with Top countries impacted by papers by Chuka Mike Ifeagwazi Top countries impacted by papers by Wanda Knopińska‐Posłuszny Top countries impacted by papers by Milanko Šekler