Viktor Kuncak
发表
Viktor Kuncak,
Cesare Tinelli,
Andrew Reynolds,
2019,
Formal Methods Syst. Des..
Viktor Kuncak,
Milena Vujosevic-Janicic,
2012,
VSTTE.
Viktor Kuncak,
J. Voigtländer,
1996
.
S. Likavec,
Viktor Kuncak,
S. Ghilezan,
2001
.
Viktor Kuncak,
M. Ivanović,
Viktor Kunčak,
2000
.
Viktor Kuncak,
S. Ghilezan,
2001
.
Viktor Kuncak,
S. Ghilezan,
2000
.
Viktor Kuncak,
Philipp Rümmer,
Radu Iosif,
2012,
ATVA.
Viktor Kuncak,
S. Khurshid,
D. Marinov,
2008
.
Viktor Kuncak,
D. Jackson,
Viktor Kunčak,
2005
.
Viktor Kuncak,
Viktor Kunčak,
2006
.
Patrick Lam,
M. Rinard,
Viktor Kuncak,
2001
.
Viktor Kuncak,
Etienne Kneuss,
Philippe Suter,
2013
.
Viktor Kuncak,
Nicolas Voirol,
Viktor Kunčak,
2016
.
Vijay Ganesh,
Viktor Kuncak,
Philippe Suter,
2010
.
M. Rinard,
Viktor Kuncak,
Viktor Kunčak,
2001
.
M. Rinard,
Viktor Kuncak,
Viktor Kunčak,
2003
.
Viktor Kuncak,
R. Piskac,
Kuat Yessenov,
2009
.
C. Barrett,
C. Tinelli,
Andrew Reynolds,
2018
.
C. Barrett,
C. Tinelli,
Andrew Reynolds,
2015
.
Viktor Kuncak,
R. Lara,
Philippe Suter Lara,
2011
.
R. Majumdar,
Viktor Kuncak,
Eva Darulova,
2013
.
Patrick Lam,
M. Rinard,
A. Podelski,
2005
.
Viktor Kuncak,
Ravichandhran Madhavan,
Viktor Kunčak,
2014
.
Viktor Kuncak,
Philippe Suter,
A. Köksal,
2011
.
Viktor Kuncak,
Jad Hamza,
S. Felix,
2022,
NFM.
Full,
Martin Odersky,
Viktor Kuncak,
2011
.
Viktor Kuncak,
Ravichandhran Madhavan,
2013
.
Full,
Martin Odersky,
Viktor Kuncak,
2011
.
Ruzica Piskac,
Viktor Kuncak,
Tihomir Gvero,
2013,
PLDI.
Viktor Kuncak,
Jad Hamza,
Rodrigo Raya,
2022,
ArXiv.
Viktor Kuncak,
Viktor Kuncak,
2000
.
Viktor Kuncak,
Karen Zee,
Viktor Kuncak,
2004,
Arch. Formal Proofs.
Viktor Kuncak,
Viktor Kuncak,
2009,
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation.
Ruzica Piskac,
Viktor Kuncak,
Viktor Kuncak,
2010
.
Viktor Kuncak,
Viktor Kuncak,
2011,
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
Viktor Kuncak,
Mirjana Ivanović,
Viktor Kuncak,
2000
.
Martin Rinard,
Viktor Kuncak,
M. Rinard,
2004
.
Viktor Kuncak,
Eva Darulova,
Viktor Kuncak,
2013,
ACM-SIGACT Symposium on Principles of Programming Languages.
Viktor Kuncak,
Viktor Kuncak,
2008
.
Martin Rinard,
Viktor Kuncak,
M. Rinard,
2004
.
Lars Hupel,
Viktor Kuncak,
Viktor Kuncak,
2016,
ArXiv.
Viktor Kuncak,
Viktor Kuncak,
2004,
Arch. Formal Proofs.
Martin Rinard,
Viktor Kuncak,
Patrick Lam,
2005
.
Viktor Kuncak,
Andrey Rybalchenko,
A. Rybalchenko,
2012,
VMCAI 2012.
Viktor Kuncak,
Etienne Kneuss,
Philippe Suter,
2010
.
Ruzica Piskac,
Viktor Kuncak,
Philippe Suter,
2010,
CAV 2010.
Viktor Kuncak,
Andrey Rybalchenko,
A. Rybalchenko,
2012
.
Viktor Kuncak,
Viktor Kuncak,
2014
.
Ruzica Piskac,
Viktor Kuncak,
Thomas Wies,
2010,
International Conference on Verification, Model Checking and Abstract Interpretation.