Ana Sokolova
About
Ana Sokolova has authored 32 papers that have received a total of 329 indexed citations.
This includes 16 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 13 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (10 papers), Logic, Reasoning, and Knowledge (9 papers) and Logic, programming, and type systems (9 papers). Ana Sokolova is often cited by papers focused on Formal Methods in Verification (10 papers), Logic, Reasoning, and Knowledge (9 papers) and Logic, programming, and type systems (9 papers) and collaborates with scholars based in Austria, The Netherlands and Portugal. Ana Sokolova's co-authors include Christoph Kirsch, Silviu S. Craciunas, Hannes Payer, E.P. de Vink and Alexandra Silva and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Zhi-Yong Chu are co-authored with Top fields papers by Lingbing Zeng are about Top fields papers by Cheryll Duquette are about Top countries impacted by papers by Lv Zhou Top authors papers by Swantje Pietsch are co-authored with Top fields papers by Victoria L. Tiase are about Top journals papers by Shubham Mondal are published in Top authors papers by Rodrigo Cofré are co-authored with