Author

Hyunyoung Kil

Observed name: H. Kil

Observed institutions: Pennsylvania State University, Korea Advanced Institute of Science and Technology, Korea University, Korea Aerospace University, Korea University, Software Policy and Research Institute

ORCID: 0000-0003-2377-4079

Observed ORCID: 0000-0003-2377-4079

OpenAlex ID: A5036246079

Graph Theoretic Topological Analysis of Web Service Networks

2009 · Hyunyoung Kil, Seog-Chan Oh, et al. · World Wide Web · 54

WSBen: A Web Services Discovery and Composition Benchmark

2006 · Seog-chan Oh, Hyunyoung Kil, et al. · IEEE International Conference on Web Services (ICWS) · 50

Formal Verification of Blockchain Smart Contracts via ATL Model Checking

2022 · Wonhong Nam, Hyunyoung Kil · IEEE Access · 44

PDF

Type-Aware Web Service Composition Using Boolean Satisfiability Solver

2008 · Wonhong Nam, Hyunyoung Kil, et al. · IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS) · 26

Semantic Web-Service Discovery and Composition Using Flexible Parameter Matching

2007 · Seog-Chan Oh, Jung-Woon Yoo, et al. · IEEE Conference on Commerce and Enterprise Computing (CEC) · 23

Algorithms for Web Services Discovery and Composition Based on Syntactic and Semantic Service Descriptions

2006 · Seog-Chan Oh, H. Kil, et al. · IEEE Conference on Commerce and Enterprise Computing (CEC) · 13

On the computational complexity of behavioral description-based web service composition

2011 · Wonhong Nam, Hyunyoung Kil, et al. · Theoretical Computer Science · 12

On the topological landscape of Web services matchmaking

2006 · Hyunyoung Kil, Seog Chan Oh, et al. · Very Large Data Bases · 11

Transaction history-based web service composition for uncertain QoS

2016 · Hyunyoung Kil, Reeseo Cha, et al. · International Journal of Web and Grid Services · 8

Semantic web service composition via model checking techniques

2013 · Hyunyoung Kil, Wonhong Nam · International Journal of Web and Grid Services · 8

QoS-Driven Web Service Composition Using Learning-Based Depth First Search

2009 · Wonhong Nam, Hyunyoung Kil, et al. · IEEE Conference on Commerce and Enterprise Computing (CEC) · 8

Computational Complexity of Web Service Composition Based on Behavioral Descriptions

2008 · Hyunyoung Kil, Wonhong Nam, et al. · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · 7

AESOP: Adjustable Exhaustive Search for One-Pixel Attacks in Deep Neural Networks

2023 · Wonhong Nam, Hyunyoung Kil · Applied Sciences · 6

PDF

Efficient abstraction and refinement for behavioral description based web service composition

2009 · Hyunyoung Kil, Wonhong Nam, et al. · 6

Efficient anytime algorithm for large-scale QoS-aware web service composition

2013 · Hyunyoung Kil, Wonhong Nam · International Journal of Web and Grid Services · 5

Behavioural description based web service composition using abstraction and refinement

2013 · Hyunyoung Kil, Wonhong Nam, et al. · International Journal of Web and Grid Services · 5

Anytime algorithm for QoS web service composition

2011 · Hyunyoung Kil, Wonhong Nam · International World Wide Web Conference (WWW) · 5

GazeMap: Dual-Pathway CNN Approach for Diagnosing Alzheimer’s Disease from Gaze and Head Movements

2025 · Hyuntaek Jung, Shinwoo Ham, et al. · Mathematics · 4

PDF

RISOPA: Rapid Imperceptible Strong One-Pixel Attacks in Deep Neural Networks

2024 · Wonhong Nam, Kunha Kim, et al. · Mathematics · 4

PDF

Optimal algorithm for Internet-of-Things service composition based on response time

2016 · Wonhong Nam, Reeseo Cha, et al. · International Journal of Web and Grid Services · 3

Sparse Attention-Based Residual Joint Network for Aspect-Category-Based Sentiment Analysis

2025 · Jooan Kim, Hyunyoung Kil · Mathematics · 2

ATL Model Checking for Analysis of Ethereum Smart Contracts

2021 · Wonhong Nam, Hyunyoung Kil · The Transactions of The Korean Institute of Electrical Engineers · 2

Automatic incremental recomposition algorithm for QoS-aware internet of things service composition

2021 · Hyunyoung Kil, Wonhong Nam · International Journal of Web and Grid Services · 2

Winning Strategy Tree Construction for BDD-Based ATL Model Checkers

2020 · Wonhong Nam, Haejin Yang, et al. · International Journal of Software Engineering and Knowledge Engineering · 2

SAT Solving Technique for Semantic Web Service Composition

2012 · Hyunyoung Kil, Wonhong Nam · Communications in computer and information science · 2

Works count: 38

Citation count: 321

H-index: 8

I10-index: 8