Kuat Yessenov

发表

Armando Solar-Lezama, Zhilei Xu, Kuat Yessenov, 2011, OOPSLA '11.

K. Rustan M. Leino, Kuat Yessenov, 2012, Formal Aspects of Computing.

Armando Solar-Lezama, Ivan Kuraj, Kuat Yessenov, 2017, PLDI.

Daniel Jackson, Greg Dennis, Kuat Yessenov, 2008, VSTTE.

Armando Solar-Lezama, Yongquan Lu, Charles E. Leiserson, 2016, OOPSLA.

Derek Rayside, Daniel Jackson, Aleksandar Milicevic, 2011, 2011 33rd International Conference on Software Engineering (ICSE).

Ruzica Piskac, Viktor Kuncak, Kuat Yessenov, 2010, VMCAI.

Butler W. Lampson, Sumit Gulwani, Adam Tauman Kalai, 2013, UIST.

Armando Solar-Lezama, Jean Yang, Kuat Yessenov, 2012, POPL '12.

Derek Rayside, Daniel Jackson, Greg Dennis, 2009, OOPSLA Companion.

Kuat Yessenov, Kuat Yessenov, 2009 .

Armando Solar-Lezama, Kuat Yessenov, Jean Yang, 2012, POPL.

Kuat Yessenov, Sasa Misailovic, Kuat Yessenov, 2009 .