WSBen: A Web Services Discovery and Composition Benchmark. - Seog-Chan Oh; Hyunyoung Kil; Dongwon Lee 001; Soundar R. T. Kumara (ICWS, 2006)

OpenArXiv = arXiv + RDBMS + web services. - Justin Fisher; Hyunyoung Kil; Dongwon Lee 001 (JCDL, 2006)

Algorithms for Web Services Discovery and Composition Based on Syntactic and Semantic Service Descriptions. - Seog-Chan Oh; Hyunyoung Kil; Dongwon Lee 001; Soundar R. T. Kumara (CEC/EEE, 2006)

Semantic Web-Service Discovery and Composition Using Flexible Parameter Matching. - Seog-Chan Oh; John Jung-Woon Yoo; Hyunyoung Kil; Dongwon Lee 001; Soundar R. T. Kumara (CEC/EEE, 2007)

DL2Go: Editable Digital Libraries in the Pocket. - Hyunyoung Kil; Wonhong Nam; Dongwon Lee 001 (ICADL, 2008)

Computational Complexity of Web Service Composition Based on Behavioral Descriptions. - Hyunyoung Kil; Wonhong Nam; Dongwon Lee 001 (ICTAI (1), 2008)

Type-Aware Web Service Composition Using Boolean Satisfiability Solver. - Wonhong Nam; Hyunyoung Kil; Dongwon Lee 001 (CEC/EEE, 2008)

Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition. - Hyunyoung Kil; Wonhong Nam; Dongwon Lee 001 (IJCAI, 2009)

QoS-Driven Web Service Composition Using Learning-Based Depth First Search. - Wonhong Nam; Hyunyoung Kil; Jungjae Lee (CEC, 2009)

Automatic web service composition with abstraction and refinement. - Hyunyoung Kil; Wonhong Nam; Dongwon Lee 001 (WWW, 2009)

Graph Theoretic Topological Analysis of Web Service Networks. - Hyunyoung Kil; Seog-Chan Oh; Ergin Elmacioglu; Wonhong Nam; Dongwon Lee 001 (World Wide Web, 2009)

Anytime algorithm for QoS web service composition. - Hyunyoung Kil; Wonhong Nam (WWW (Companion Volume), 2011)

On the computational complexity of behavioral description-based web service composition. - Wonhong Nam; Hyunyoung Kil; Dongwon Lee 001 (Theor. Comput. Sci., 2011)

Semantic Web Service Composition Using Formal Verification Techniques. - Hyunyoung Kil; Wonhong Nam (FGIT-EL/DTA/UNESST, 2012)

Efficient anytime algorithm for large-scale QoS-aware web service composition. - Hyunyoung Kil; Wonhong Nam (Int. J. Web Grid Serv., 2013)

Semantic web service composition via model checking techniques. - Hyunyoung Kil; Wonhong Nam (Int. J. Web Grid Serv., 2013)

Behavioural description based web service composition using abstraction and refinement. - Hyunyoung Kil; Wonhong Nam; Dongwon Lee 001 (Int. J. Web Grid Serv., 2013)

Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft. - Seonmo Kim; Wonhong Nam; Hyunyoung Kil; Myunghwan Park (Comput. Sci. Eng., 2014)

Transaction history-based web service composition for uncertain QoS. - Hyunyoung Kil; Reeseo Cha; Wonhong Nam (Int. J. Web Grid Serv., 2016)

Optimal algorithm for Internet-of-Things service composition based on response time. - Wonhong Nam; Reeseo Cha; Hyunyoung Kil (Int. J. Web Grid Serv., 2016)

Winning Strategy Tree Construction for BDD-Based ATL Model Checkers. - Wonhong Nam; Haejin Yang; Hyunyoung Kil (Int. J. Softw. Eng. Knowl. Eng., 2020)

Automatic incremental recomposition algorithm for QoS-aware internet of things service composition. - Hyunyoung Kil; Wonhong Nam (Int. J. Web Grid Serv., 2021)

Formal Verification of Blockchain Smart Contracts via ATL Model Checking. - Wonhong Nam; Hyunyoung Kil (IEEE Access, 2022)