Jari Koistinen
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by R. W. Gardner are co-authored with Top journals papers by T. LeCompte are published in Top fields papers by J. Katzy are about Top countries impacted by papers by Ira Lu Top journals papers by Hervé Raps are published in Top fields papers by William H. Rae are about Top countries impacted by papers by Kevin Sandow Top authors papers by R Dharmagunawardena are co-authored with