Ayrat Khalimov
About
Ayrat Khalimov has authored 7 papers that have received a total of 65 indexed citations.
This includes 6 papers in Computational Theory and Mathematics, 6 papers in Software and 2 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (6 papers), Software Testing and Debugging Techniques (5 papers) and Model-Driven Software Engineering Techniques (3 papers). Ayrat Khalimov is often cited by papers focused on Formal Methods in Verification (6 papers), Software Testing and Debugging Techniques (5 papers) and Model-Driven Software Engineering Techniques (3 papers) and collaborates with scholars based in Austria, Germany and United Kingdom. Ayrat Khalimov's co-authors include Swen Jacobs, Roderick Bloem, Leander Tentrup, F. Klein and Sasha Rubin and has published in prestigious journals such as and
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Annette Atkinson are published in Top authors papers by Kuznetsov Bb are co-authored with Top countries impacted by papers by Simon Malkowski Top journals papers by Lisa Macaulay are published in Top fields papers by Julia Nunn are about Top fields papers by Joseph Cacciottolo are about Top authors papers by J. Zúñiga are co-authored with Top journals papers by Christiane Ludwig are published in