Gyesik Lee

发表

Hugo Herbelin, Gyesik Lee, Hugo Herbelin, 2009, WoLLIC.

Gyesik Lee, Gyesik Lee, 2007, Ann. Pure Appl. Log..

Gyesik Lee, Gyesik Lee, 2007, CiE.

Hideki Imai, Akira Otsuka, Gyesik Lee, 2009, 2009 IEEE Vehicular Networking Conference (VNC).

Eran Omri, Gyesik Lee, Andreas Weiermann, 2008, J. Comb. Theory, Ser. A.

Bruno C. d. S. Oliveira, Kwangkeun Yi, Gyesik Lee, 2012, ESOP.

Jonghyun Park, Sungwoo Park, Gyesik Lee, 2013, Journal of Automated Reasoning.

Hugo Herbelin, Gyesik Lee, Danko Ilik, 2009, Ann. Pure Appl. Log..

Gyesik Lee, Benjamin Werner, 2011, Log. Methods Comput. Sci..

Gyesik Lee, Andreas Weiermann, Lorenzo Carlucci, 2011, J. Comb. Theory, Ser. A.

Kwangkeun Yi, Gyesik Lee, Sungkeun Cho, 2011 .

Gyesik Lee, Andreas Weiermann, Lorenzo Carlucci, 2006 .

Gyesik Lee, Hugo Herberlin, SunYoung Kim, 2017 .