Antti Valmari

38 papers and 394 indexed citations i.

Antti Valmari has authored 38 papers that have received a total of 394 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.