Ivan Kuraj

604 total citations
17 papers, 326 citations indexed

About

Ivan Kuraj is a scholar working on Artificial Intelligence, Information Systems and Software. According to data from OpenAlex, Ivan Kuraj has authored 17 papers receiving a total of 326 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Artificial Intelligence, 10 papers in Information Systems and 5 papers in Software. Recurrent topics in Ivan Kuraj's work include Logic, programming, and type systems (11 papers), Software Engineering Research (10 papers) and Advanced Software Engineering Methodologies (7 papers). Ivan Kuraj is often cited by papers focused on Logic, programming, and type systems (11 papers), Software Engineering Research (10 papers) and Advanced Software Engineering Methodologies (7 papers). Ivan Kuraj collaborates with scholars based in Switzerland, United States and Germany. Ivan Kuraj's co-authors include Viktor Kunčak, Armando Solar-Lezama, Nadia Polikarpova, Ružica Piskač, Tihomir Gvero, Philippe Suter, Daniel Jackson and Kuat Yessenov and has published in prestigious journals such as ACM SIGPLAN Notices, Infoscience (Ecole Polytechnique Fédérale de Lausanne) and Zenodo (CERN European Organization for Nuclear Research).

In The Last Decade

Ivan Kuraj

14 papers receiving 316 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Ivan Kuraj Switzerland 7 216 193 190 67 54 17 326
Arthur I. Baars Spain 12 164 0.8× 200 1.0× 151 0.8× 93 1.4× 49 0.9× 19 341
Tihomir Gvero Switzerland 9 277 1.3× 260 1.3× 162 0.9× 54 0.8× 21 0.4× 16 388
Mikaël Mayer Switzerland 7 102 0.5× 109 0.6× 114 0.6× 81 1.2× 27 0.5× 17 239
Jukka Paakki Finland 9 230 1.1× 204 1.1× 281 1.5× 55 0.8× 33 0.6× 30 393
M. de Jonge Netherlands 10 160 0.7× 116 0.6× 163 0.9× 31 0.5× 23 0.4× 26 265
Johannes Henkel United States 7 277 1.3× 152 0.8× 196 1.0× 22 0.3× 43 0.8× 11 365
Maria Christakis Germany 11 200 0.9× 239 1.2× 127 0.7× 41 0.6× 26 0.5× 26 393
Arjun Radhakrishna United States 9 79 0.4× 66 0.3× 87 0.5× 63 0.9× 36 0.7× 33 213
Ravi Chugh United States 9 207 1.0× 97 0.5× 246 1.3× 52 0.8× 58 1.1× 21 382
Sylvain Lebresne United States 5 265 1.2× 130 0.7× 225 1.2× 23 0.3× 132 2.4× 6 400

Countries citing papers authored by Ivan Kuraj

Since Specialization
Citations

This map shows the geographic impact of Ivan Kuraj's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Ivan Kuraj with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Ivan Kuraj more than expected).

Fields of papers citing papers by Ivan Kuraj

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Ivan Kuraj. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Ivan Kuraj. The network helps show where Ivan Kuraj may publish in the future.

Co-authorship network of co-authors of Ivan Kuraj

This figure shows the co-authorship network connecting the top 25 collaborators of Ivan Kuraj. A scholar is included among the top collaborators of Ivan Kuraj based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Ivan Kuraj. Ivan Kuraj is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

17 of 17 papers shown
1.
Kuraj, Ivan, et al.. (2023). Design of Modular 110V / 370V 10kW Front-End Converter for High-Power Single-Phase Inverter. Zenodo (CERN European Organization for Nuclear Research).
2.
Kuraj, Ivan & Armando Solar-Lezama. (2020). Aspect-oriented language for reactive distributed applications at the edge. 67–72. 1 indexed citations
3.
Yessenov, Kuat, Ivan Kuraj, & Armando Solar-Lezama. (2017). DemoMatch: API discovery from demonstrations. 64–78. 4 indexed citations
4.
Kuraj, Ivan & Armando Solar-Lezama. (2017). Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations
5.
Yessenov, Kuat, Ivan Kuraj, & Armando Solar-Lezama. (2017). DemoMatch: API discovery from demonstrations. ACM SIGPLAN Notices. 52(6). 64–78. 1 indexed citations
6.
Polikarpova, Nadia, Ivan Kuraj, & Armando Solar-Lezama. (2016). Program synthesis from polymorphic refinement types. ACM SIGPLAN Notices. 51(6). 522–538. 30 indexed citations
7.
Polikarpova, Nadia, Ivan Kuraj, & Armando Solar-Lezama. (2016). Program synthesis from polymorphic refinement types. 522–538. 104 indexed citations
8.
Kuraj, Ivan, Viktor Kunčak, & Daniel Jackson. (2015). Programming with enumerable sets of structures. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 37–56. 17 indexed citations
9.
Kuraj, Ivan, Viktor Kunčak, & Daniel Jackson. (2015). Programming with enumerable sets of structures. ACM SIGPLAN Notices. 50(10). 37–56. 1 indexed citations
10.
Kuraj, Ivan & Viktor Kunčak. (2014). SciFe. 45–49. 9 indexed citations
11.
Kuraj, Ivan. (2013). Interactive Code Generation. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 4 indexed citations
12.
Kuraj, Ivan, et al.. (2013). Synthesis modulo recursive functions. ACM SIGPLAN Notices. 48(10). 407–426. 5 indexed citations
13.
Kuraj, Ivan, et al.. (2013). Synthesis modulo recursive functions. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 407–426. 52 indexed citations
14.
Gvero, Tihomir, Viktor Kunčak, Ivan Kuraj, & Ružica Piskač. (2013). Complete completion using types and weights. ACM SIGPLAN Notices. 48(6). 27–38. 8 indexed citations
15.
Gvero, Tihomir, Viktor Kunčak, Ivan Kuraj, & Ružica Piskač. (2013). Complete completion using types and weights. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 27–38. 87 indexed citations
16.
Gvero, Tihomir, Ivan Kuraj, & Ružica Piskač. (2013). On Repairing Ill-Typed Expressions. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 1 indexed citations
17.
Gvero, Tihomir, Viktor Kunčak, Ivan Kuraj, & Ružica Piskač. (2012). On Fast Code Completion using Type Inhabitation. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Arthur I. Baars Breakdown of academic impact, for papers by Tihomir Gvero Breakdown of academic impact, for papers by Mikaël Mayer Breakdown of academic impact, for papers by Jukka Paakki Breakdown of academic impact, for papers by M. de Jonge Breakdown of academic impact, for papers by Johannes Henkel Breakdown of academic impact, for papers by Maria Christakis Breakdown of academic impact, for papers by Arjun Radhakrishna Breakdown of academic impact, for papers by Ravi Chugh Breakdown of academic impact, for papers by Sylvain Lebresne
Rankless by CCL
2026