Concepedia

Author

Ivan Kuraj

École Polytechnique Fédérale de Lausanne

Also Known As

Ivan Kuraj, Kuraj, Ivan, Serbia

27

Publications

604

Citations

9

H-Index

33

Concepts

All Affiliations

École Polytechnique Fédérale de LausanneMassachusetts Institute of TechnologyMax Planck Institute for Software Systems
IK

About

Ivan Kuraj is an author at École Polytechnique Fédérale de Lausanne specializing in program analysis, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

9

9

575

2

Computer Science

9

9

575

3

Data Science

5

5

197

4

Computer Engineering

4

4

282

5

Artificial Intelligence

1

1

12

Ivan Kuraj

×

9

Publications

575

Citations

9

H-Index

YearCitations

Program synthesis from polymorphic refinement types

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama

2016

192

Complete completion using types and weights

Tihomir Gvero, Viktor Kunčak, Ivan Kuraj,

2013

135

Synthesis modulo recursive functions

Etienne Kneuss, Ivan Kuraj, Viktor Kunčak,

2013

110

Program synthesis from polymorphic refinement types

Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama

ACM SIGPLAN Notices

2016

55

Programming with enumerable sets of structures

Ivan Kuraj, Viktor Kunčak, Daniel Jackson

2015

25

Synthesis modulo recursive functions

Etienne Kneuss, Ivan Kuraj, Viktor Kunčak,

ACM SIGPLAN Notices

2013

21

Complete completion using types and weights

Tihomir Gvero, Viktor Kunčak, Ivan Kuraj,

ACM SIGPLAN Notices

2013

15

DemoMatch: API discovery from demonstrations

Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama

2017

12

SciFe

Ivan Kuraj, Viktor Kunčak

2014

10

Page 1