Wonhong Nam

发表

Seonmo Kim, Wonhong Nam, Hyunyoung Kil, 2014, Computing in Science & Engineering.

Pavol Cerný, Rajeev Alur, P. Madhusudan, 2005, POPL '05.

Dongwon Lee, Ergin Elmacioglu, Seog-Chan Oh, 2009, World Wide Web.

Rajeev Alur, P. Madhusudan, Wonhong Nam, 2008, Formal Methods Syst. Des..

Jin-Young Choi, Periklis Akritidis, Wonhong Nam, 2017, DIMVA.

Dongwon Lee, Wonhong Nam, Hyunyoung Kil, 2013, Int. J. Web Grid Serv..

Rajeev Alur, Wonhong Nam, R. Alur, 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

Myoungjin Kim, Hanku Lee, Wonhong Nam, 2011, 2011 First ACIS/JNU International Conference on Computers, Networks, Systems and Industrial Engineering.

Wonhong Nam, Hyunyoung Kil, Jungjae Lee, 2009, 2009 IEEE Conference on Commerce and Enterprise Computing.

Wonhong Nam, Hyunyoung Kil, 2011, WWW.

Insup Lee, Rajeev Alur, Elsa L. Gunter, 2003, International Journal on Software Tools for Technology Transfer.

Wonhong Nam, Hyunyoung Kil, Reeseo Cha, 2016, Int. J. Web Grid Serv..

Wonhong Nam, Hyunyoung Kil, Reeseo Cha, 2016, Int. J. Web Grid Serv..

Wonhong Nam, Hyunyoung Kil, 2013, Int. J. Web Grid Serv..

Dongwon Lee, Wonhong Nam, Hyunyoung Kil, 2009, WWW '09.

Wonhong Nam, Hyunyoung Kil, Haejin Yang, 2020, Int. J. Softw. Eng. Knowl. Eng..

Wonhong Nam, Hyunyoung Kil, 2013, Int. J. Web Grid Serv..

Dongwon Lee, Wonhong Nam, Hyunyoung Kil, 2008, 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services.

Won-Tae Kim, Jin-Young Choi, Younghun Han, 2010, 2010 International Conference on Information and Communication Technology Convergence (ICTC).

Rajeev Alur, P. Madhusudan, Wonhong Nam, 2005, CAV.

Dongwon Lee, Wonhong Nam, Hyunyoung Kil, 2008, ICADL.

Dongwon Lee, Wonhong Nam, Hyunyoung Kil, 2011, Theor. Comput. Sci..

Rajeev Alur, P. Madhusudan, Wonhong Nam, 2003, Electron. Notes Theor. Comput. Sci..

Dongwon Lee, Wonhong Nam, Hyunyoung Kil, 2008, 2008 20th IEEE International Conference on Tools with Artificial Intelligence.

Wonhong Nam, Hyunyoung Kil, 2012, FGIT-EL/DTA/UNESST.