Antti E. J. Hyvärinen
About
Antti E. J. Hyvärinen has authored 8 papers that have received a total of 22 indexed citations.
This includes 5 papers in Computational Theory and Mathematics, 4 papers in Artificial Intelligence and 4 papers in Software. The topics of these papers are Formal Methods in Verification (5 papers), Software Testing and Debugging Techniques (4 papers) and Software Reliability and Analysis Research (3 papers). Antti E. J. Hyvärinen is often cited by papers focused on Formal Methods in Verification (5 papers), Software Testing and Debugging Techniques (4 papers) and Software Reliability and Analysis Research (3 papers) and collaborates with scholars based in Switzerland, Czechia and Finland. Antti E. J. Hyvärinen's co-authors include Grigory Fedyukovich, Natasha Sharygina, Fabrizio Pastore, Xin Zhou and Henning Müller and has published in prestigious journals such as International Journal on Software Tools for Technology Transfer, Formal Methods in System Design and Fundamenta Informaticae.
In The Last Decade
side by side view
Countries citing papers authored by Antti E. J. Hyvärinen
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Antonio Di Pilato Breakdown of academic impact, for papers by Miriam Cox Breakdown of academic impact, for papers by M. Heil Breakdown of academic impact, for papers by Shakuntala Mahanta Breakdown of academic impact, for papers by Zoey Liu Breakdown of academic impact, for papers by Jayanta Kumar Roy Breakdown of academic impact, for papers by S. Y. Zinn Breakdown of academic impact, for papers by Sudeb Mukherjee