Hyunyoung Kil

Graph Theoretic Topological Analysis of Web Service Networks

Hyunyoung Kil, Seog‐Chan Oh, Ergin Elmacioglu et al. · World Wide Web · 2009 · 55 citations

Network Algorithm, Web Service Networks, Network Science +4

WSBen: A Web Services Discovery and Composition Benchmark

Seog‐Chan Oh, Hyunyoung Kil, Dongwon Lee et al. · 2006 · 49 citations

Web Service Specification, Engineering, Composition Benchmark +17

Formal Verification of Blockchain Smart Contracts via ATL Model Checking

Wonhong Nam, Hyunyoung Kil · IEEE Access · 2022 · 37 citations · Full text

Engineering, Information Security, Verification +20

Type-Aware Web Service Composition Using Boolean Satisfiability Solver

Wonhong Nam, Hyunyoung Kil, Dongwon Lee · Proceedings - International Workshop on Advance Issues of E-Commerce and Web-Based Information Systems/Proceedings · 2008 · 26 citations

Requirement Web Service, Web Service Specification, Web Service Descriptions +13

Semantic Web-Service Discovery and Composition Using Flexible Parameter Matching

Seog‐Chan Oh, Jung-Woon Yoo, Hyunyoung Kil et al. · 2007 · 21 citations

Single Service, Semantic Web-service Discovery, Web Service Specification +14