Suzana Andova
About
Suzana Andova has authored 12 papers that have received a total of 74 indexed citations.
This includes 11 papers in Computational Theory and Mathematics, 10 papers in Artificial Intelligence and 3 papers in Information Systems. The topics of these papers are Formal Methods in Verification (10 papers), Advanced Software Engineering Methodologies (5 papers) and Logic, Reasoning, and Knowledge (3 papers). Suzana Andova is often cited by papers focused on Formal Methods in Verification (10 papers), Advanced Software Engineering Methodologies (5 papers) and Logic, Reasoning, and Knowledge (3 papers) and collaborates with scholars based in The Netherlands, Norway and Switzerland. Suzana Andova's co-authors include Sonja Georgievska, E.P. de Vink, Luuk Groenewegen, Saša Radomirović and Sjouke Mauw and has published in prestigious journals such as Theoretical Computer Science, Information and Computation and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Richard L. Velkley are co-authored with Top authors papers by Yanal S. Faouri are co-authored with Top fields papers by M. Lamanna are about Top countries impacted by papers by Tatiana Mitrova Top journals papers by Ivan Lyutakov are published in Top fields papers by Nima Zafari are about Top fields papers by Nicole Desbois-Nogard are about Top journals papers by Walter Leimgruber are published in