Antti E. J. Hyvärinen

8 papers and 23 indexed citations i.

Antti E. J. Hyvärinen has authored 8 papers that have received a total of 23 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, Mikko Pitkänen, Xin Zhou and Fabrizio Pastore and has published in prestigious journals such as International Journal on Software Tools for Technology Transfer, Formal Methods in System Design and Fundamenta Informaticae.