Jaakko Järvi

25 papers and 127 indexed citations i.

Jaakko Järvi has authored 25 papers that have received a total of 127 indexed citations. This includes 18 papers in Artificial Intelligence, 8 papers in Hardware and Architecture and 7 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (16 papers), Advanced Software Engineering Methodologies (11 papers) and Parallel Computing and Optimization Techniques (8 papers). Jaakko Järvi is often cited by papers focused on Logic, programming, and type systems (16 papers), Advanced Software Engineering Methodologies (11 papers) and Parallel Computing and Optimization Techniques (8 papers) and collaborates with scholars based in United States, Finland and Norway. Jaakko Järvi's co-authors include Andrew Lumsdaine, Jeremy G. Siek, Douglas Gregor, Jeremiah Willcock and Magne Haveraaen and has published in prestigious journals such as Computer Methods and Programs in Biomedicine, ACM SIGPLAN Notices and Software Practice and Experience