![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Hyunyoung Kil
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j11]Wonhong Nam
, Hyunyoung Kil
:
Formal Verification of Blockchain Smart Contracts via ATL Model Checking. IEEE Access 10: 8151-8162 (2022) - 2021
- [j10]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]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)
2010 – 2019
- 2016
- [j8]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]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]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]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]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]Hyunyoung Kil, Wonhong Nam:
Semantic web service composition via model checking techniques. Int. J. Web Grid Serv. 9(4): 339-350 (2013) - 2012
- [c12]Hyunyoung Kil, Wonhong Nam:
Semantic Web Service Composition Using Formal Verification Techniques. FGIT-EL/DTA/UNESST 2012: 72-79 - 2011
- [j2]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]Hyunyoung Kil, Wonhong Nam:
Anytime algorithm for QoS web service composition. WWW (Companion Volume) 2011: 71-72
2000 – 2009
- 2009
- [j1]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]Hyunyoung Kil, Wonhong Nam, Dongwon Lee
:
Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition. IJCAI 2009: 1740-1745 - [c9]Wonhong Nam, Hyunyoung Kil, Jungjae Lee:
QoS-Driven Web Service Composition Using Learning-Based Depth First Search. CEC 2009: 507-510 - [c8]Hyunyoung Kil, Wonhong Nam, Dongwon Lee
:
Automatic web service composition with abstraction and refinement. WWW 2009: 1121-1122 - 2008
- [c7]Hyunyoung Kil, Wonhong Nam, Dongwon Lee:
DL2Go: Editable Digital Libraries in the Pocket. ICADL 2008: 1-11 - [c6]Hyunyoung Kil, Wonhong Nam, Dongwon Lee
:
Computational Complexity of Web Service Composition Based on Behavioral Descriptions. ICTAI (1) 2008: 359-363 - [c5]Wonhong Nam, Hyunyoung Kil, Dongwon Lee
:
Type-Aware Web Service Composition Using Boolean Satisfiability Solver. CEC/EEE 2008: 331-334 - 2007
- [c4]Seog-Chan Oh, John Jung-Woon Yoo, Hyunyoung Kil, Dongwon Lee
, Soundar R. T. Kumara:
Semantic Web-Service Discovery and Composition Using Flexible Parameter Matching. CEC/EEE 2007: 533-542 - 2006
- [c3]Seog-Chan Oh, Hyunyoung Kil, Dongwon Lee
, Soundar R. T. Kumara:
WSBen: A Web Services Discovery and Composition Benchmark. ICWS 2006: 239-248 - [c2]Justin Fisher, Hyunyoung Kil, Dongwon Lee
:
OpenArXiv = arXiv + RDBMS + web services. JCDL 2006: 374 - [c1]Seog-Chan Oh, Hyunyoung Kil, Dongwon Lee
, Soundar R. T. Kumara:
Algorithms for Web Services Discovery and Composition Based on Syntactic and Semantic Service Descriptions. CEC/EEE 2006: 66
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint