Jari Koistinen

2 papers and 12 indexed citations i.

Jari Koistinen has authored 2 papers that have received a total of 12 indexed citations. This includes 2 papers in Artificial Intelligence, 2 papers in Software and 1 paper in Computational Theory and Mathematics. The topics of these papers are Advanced Software Engineering Methodologies (2 papers), Model-Driven Software Engineering Techniques (2 papers) and Formal Methods in Verification (1 paper). Jari Koistinen is often cited by papers focused on Advanced Software Engineering Methodologies (2 papers), Model-Driven Software Engineering Techniques (2 papers) and Formal Methods in Verification (1 paper) and collaborates with scholars based in and . Jari Koistinen's co-authors include Michael I. Schwartzbach and Nils Klarlund and has published in prestigious journals such as ACM SIGPLAN Notices