Ivan Kuraj

9 papers and 219 indexed citations i.

Ivan Kuraj has authored 9 papers that have received a total of 219 indexed citations. This includes 9 papers in Artificial Intelligence, 5 papers in Information Systems and 4 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (8 papers), Software Engineering Research (5 papers) and Software Testing and Debugging Techniques (4 papers). Ivan Kuraj is often cited by papers focused on Logic, programming, and type systems (8 papers), Software Engineering Research (5 papers) and Software Testing and Debugging Techniques (4 papers) and collaborates with scholars based in United States, Switzerland and Germany. Ivan Kuraj's co-authors include Viktor Kunčak, Nadia Polikarpova, Armando Solar-Lezama, Philippe Suter and Ružica Piskač and has published in prestigious journals such as ACM SIGPLAN Notices