Concepedia

Author

Viktor Kunčak

École Polytechnique Fédérale de LausanneORCID

Also Known As

Kun\v{c}ak, Viktor, Kuncak, Viktor, Kunčak, Viktor, Majumdar, Rupak, V. Kuncak, Viktor Kuncak, Viktor Kunčak

254

Publications

4.4K

Citations

36

H-Index

82

Concepts

All Affiliations

École Polytechnique Fédérale de LausanneMassachusetts Institute of TechnologyMax Planck Institute for Software SystemsLaboratoire d'Informatique Fondamentale de Lille
VK

About

Viktor Kunčak is an author at École Polytechnique Fédérale de Lausanne specializing in engineering, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

27

54

2.5K

2

Language Studies

7

7

209

3

Business

1

1

10

4

Education

1

1

86

5

Management

1

1

34

Viktor Kunčak

×

61

Publications

2.8K

Citations

27

H-Index

YearCitations

Full functional verification of linked data structures

Karen Zee, Viktor Kunčak, Martin Rinard

2008

198

Test generation through programming in UDITA

Milos Gligoric, Tihomir Gvero, Vilas Jagannath,

2010

159

Complete functional synthesis

Viktor Kunčak, Mikaël Mayer, Ružica Piskač,

2010

144

Complete completion using types and weights

Tihomir Gvero, Viktor Kunčak, Ivan Kuraj,

2013

135

Sound compilation of reals

Eva Darulová, Viktor Kunčak

2014

132

Role analysis

Viktor Kunčak, Patrick Lam, Martin Rinard

2002

125

Synthesis modulo recursive functions

Etienne Kneuss, Ivan Kuraj, Viktor Kunčak,

2013

110

Decision procedures for algebraic data types with abstractions

Philippe Suter, Mirco Dotta, Viktor Kunčak

2010

108

CrystalBall: predicting and preventing inconsistencies in deployed distributed systems

Maysam Yabandeh, Nikola Knežević, Dejan Kostić,

Infoscience (Ecole Polytechnique Fédérale de Lausanne)

2009

106

Towards a Compiler for Reals

Eva Darulová, Viktor Kunčak

ACM Transactions on Programming Languages and Systems

2017

89

Page 1