Antti Valmari
About
Antti Valmari has authored 38 papers that have received a total of 393 indexed citations.
This includes 34 papers in Computational Theory and Mathematics, 15 papers in Artificial Intelligence and 11 papers in Software. The topics of these papers are Formal Methods in Verification (28 papers), Logic, programming, and type systems (10 papers) and Software Testing and Debugging Techniques (9 papers). Antti Valmari is often cited by papers focused on Formal Methods in Verification (28 papers), Logic, programming, and type systems (10 papers) and Software Testing and Debugging Techniques (9 papers) and collaborates with scholars based in Finland, Germany and The Netherlands. Antti Valmari's co-authors include Doron Peled, Kirsi Helkala, Walter Vogler, Andreas Podelski and Bernd Finkbeiner and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Information Processing Letters
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Narmin Mohammadi are published in Top journals papers by Jennifer Cox are published in Top journals papers by K. Usha are published in Top countries impacted by papers by Joan Andreu Sánchez Top countries impacted by papers by J. G. Martínez‐Colunga Top countries impacted by papers by Manfred Zehn Top countries impacted by papers by James A. Erdman Top countries impacted by papers by Menggang Yang