Hyunyoung Kil

Graph Theoretic Topological Analysis of Web Service Networks

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

Computing, Computer Science, Information Systems +14

WSBen: A Web Services Discovery and Composition Benchmark

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

Computing, Computer Science, Information Systems +11

Formal Verification of Blockchain Smart Contracts via ATL Model Checking

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

Computing, Computer Science, Cybersecurity +17

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 · 27 citations

Computing, Computer Science, Information Technology +15

Semantic Web-Service Discovery and Composition Using Flexible Parameter Matching

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

Computing, Computer Science, Information Systems +9