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 fields papers by Siarhei Dziarzhytski are about Top journals papers by Asad Ali are published in Top countries impacted by papers by Canan Uluoğlu Top journals papers by Davide Maestri are published in Top journals papers by Yuko Kasuya are published in Top authors papers by Márcio Rabelo Mota are co-authored with Top journals papers by Saisai Wu are published in Top journals papers by Panagiotis Partsinevelos are published in