Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Hyunyoung Kil

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Wonhong Nam

> Home > Persons > Hyunyoung Kil

Publications

2022
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/NamK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/NamK22
Wonhong Nam, Hyunyoung Kil:
Formal Verification of Blockchain Smart Contracts via ATL Model Checking. IEEE Access 10: 8151-8162 (2022)
2021
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/KilN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/KilN21
Hyunyoung Kil, Wonhong Nam:
Automatic incremental recomposition algorithm for QoS-aware internet of things service composition. Int. J. Web Grid Serv. 17(2): 118-137 (2021)
2020
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/NamYK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/NamYK20
Wonhong Nam, Haejin Yang, Hyunyoung Kil:
Winning Strategy Tree Construction for BDD-Based ATL Model Checkers. Int. J. Softw. Eng. Knowl. Eng. 30(4): 555-573 (2020)
2016
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/KilCN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/KilCN16
Hyunyoung Kil, Reeseo Cha, Wonhong Nam:
Transaction history-based web service composition for uncertain QoS. Int. J. Web Grid Serv. 12(1): 42-62 (2016)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/NamCK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/NamCK16
Wonhong Nam, Reeseo Cha, Hyunyoung Kil:
Optimal algorithm for Internet-of-Things service composition based on response time. Int. J. Web Grid Serv. 12(4): 388-406 (2016)
2014
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/cse/KimNKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cse/KimNKP14
Seonmo Kim, Wonhong Nam, Hyunyoung Kil, Myunghwan Park:
Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft. Comput. Sci. Eng. 16(5): 96-103 (2014)
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/KilNL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/KilNL13
Hyunyoung Kil, Wonhong Nam, Dongwon Lee:
Behavioural description based web service composition using abstraction and refinement. Int. J. Web Grid Serv. 9(1): 54-81 (2013)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/KilN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/KilN13
Hyunyoung Kil, Wonhong Nam:
Efficient anytime algorithm for large-scale QoS-aware web service composition. Int. J. Web Grid Serv. 9(1): 82-106 (2013)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/KilN13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/KilN13a
Hyunyoung Kil, Wonhong Nam:
Semantic web service composition via model checking techniques. Int. J. Web Grid Serv. 9(4): 339-350 (2013)
2012
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fgit/KilN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fgit/KilN12
Hyunyoung Kil, Wonhong Nam:
Semantic Web Service Composition Using Formal Verification Techniques. FGIT-EL/DTA/UNESST 2012: 72-79
2011
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NamKL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NamKL11
Wonhong Nam, Hyunyoung Kil, Dongwon Lee:
On the computational complexity of behavioral description-based web service composition. Theor. Comput. Sci. 412(48): 6736-6749 (2011)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/www/KilN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/KilN11
Hyunyoung Kil, Wonhong Nam:
Anytime algorithm for QoS web service composition. WWW (Companion Volume) 2011: 71-72
2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/www/KilOENL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/www/KilOENL09
Hyunyoung Kil, Seog-Chan Oh, Ergin Elmacioglu, Wonhong Nam, Dongwon Lee:
Graph Theoretic Topological Analysis of Web Service Networks. World Wide Web 12(3): 321-343 (2009)
[c10]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/KilNL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/KilNL09
Hyunyoung Kil, Wonhong Nam, Dongwon Lee:
Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition. IJCAI 2009: 1740-1745
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/wecwis/NamKL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wecwis/NamKL09
Wonhong Nam, Hyunyoung Kil, Jungjae Lee:
QoS-Driven Web Service Composition Using Learning-Based Depth First Search. CEC 2009: 507-510
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/www/KilNL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/KilNL09
Hyunyoung Kil, Wonhong Nam, Dongwon Lee:
Automatic web service composition with abstraction and refinement. WWW 2009: 1121-1122
2008
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icadl/KilNL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icadl/KilNL08
Hyunyoung Kil, Wonhong Nam, Dongwon Lee:
DL2Go: Editable Digital Libraries in the Pocket. ICADL 2008: 1-11
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/KilNL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/KilNL08
Hyunyoung Kil, Wonhong Nam, Dongwon Lee:
Computational Complexity of Web Service Composition Based on Behavioral Descriptions. ICTAI (1) 2008: 359-363
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/wecwis/NamKL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wecwis/NamKL08
Wonhong Nam, Hyunyoung Kil, Dongwon Lee:
Type-Aware Web Service Composition Using Boolean Satisfiability Solver. CEC/EEE 2008: 331-334

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.