BibTeX records: Hyunyoung Kil

download as .bib file

@article{DBLP:journals/access/NamK22,
  author       = {Wonhong Nam and
                  Hyunyoung Kil},
  title        = {Formal Verification of Blockchain Smart Contracts via {ATL} Model
                  Checking},
  journal      = {{IEEE} Access},
  volume       = {10},
  pages        = {8151--8162},
  year         = {2022},
  url          = {https://doi.org/10.1109/ACCESS.2022.3143145},
  doi          = {10.1109/ACCESS.2022.3143145},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/NamK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijwgs/KilN21,
  author       = {Hyunyoung Kil and
                  Wonhong Nam},
  title        = {Automatic incremental recomposition algorithm for QoS-aware internet
                  of things service composition},
  journal      = {Int. J. Web Grid Serv.},
  volume       = {17},
  number       = {2},
  pages        = {118--137},
  year         = {2021},
  url          = {https://doi.org/10.1504/IJWGS.2021.114568},
  doi          = {10.1504/IJWGS.2021.114568},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijwgs/KilN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijseke/NamYK20,
  author       = {Wonhong Nam and
                  Haejin Yang and
                  Hyunyoung Kil},
  title        = {Winning Strategy Tree Construction for BDD-Based {ATL} Model Checkers},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {30},
  number       = {4},
  pages        = {555--573},
  year         = {2020},
  url          = {https://doi.org/10.1142/s0218194020500199},
  doi          = {10.1142/S0218194020500199},
  timestamp    = {Mon, 28 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/NamYK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijwgs/KilCN16,
  author       = {Hyunyoung Kil and
                  Reeseo Cha and
                  Wonhong Nam},
  title        = {Transaction history-based web service composition for uncertain QoS},
  journal      = {Int. J. Web Grid Serv.},
  volume       = {12},
  number       = {1},
  pages        = {42--62},
  year         = {2016},
  url          = {https://doi.org/10.1504/IJWGS.2016.074180},
  doi          = {10.1504/IJWGS.2016.074180},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijwgs/KilCN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijwgs/NamCK16,
  author       = {Wonhong Nam and
                  Reeseo Cha and
                  Hyunyoung Kil},
  title        = {Optimal algorithm for Internet-of-Things service composition based
                  on response time},
  journal      = {Int. J. Web Grid Serv.},
  volume       = {12},
  number       = {4},
  pages        = {388--406},
  year         = {2016},
  url          = {https://doi.org/10.1504/IJWGS.2016.10001004},
  doi          = {10.1504/IJWGS.2016.10001004},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijwgs/NamCK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cse/KimNKP14,
  author       = {Seonmo Kim and
                  Wonhong Nam and
                  Hyunyoung Kil and
                  Myunghwan Park},
  title        = {Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring
                  System for Aircraft},
  journal      = {Comput. Sci. Eng.},
  volume       = {16},
  number       = {5},
  pages        = {96--103},
  year         = {2014},
  url          = {https://doi.org/10.1109/MCSE.2014.31},
  doi          = {10.1109/MCSE.2014.31},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cse/KimNKP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijwgs/KilNL13,
  author       = {Hyunyoung Kil and
                  Wonhong Nam and
                  Dongwon Lee},
  title        = {Behavioural description based web service composition using abstraction
                  and refinement},
  journal      = {Int. J. Web Grid Serv.},
  volume       = {9},
  number       = {1},
  pages        = {54--81},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJWGS.2013.052849},
  doi          = {10.1504/IJWGS.2013.052849},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijwgs/KilNL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijwgs/KilN13,
  author       = {Hyunyoung Kil and
                  Wonhong Nam},
  title        = {Efficient anytime algorithm for large-scale QoS-aware web service
                  composition},
  journal      = {Int. J. Web Grid Serv.},
  volume       = {9},
  number       = {1},
  pages        = {82--106},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJWGS.2013.052845},
  doi          = {10.1504/IJWGS.2013.052845},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijwgs/KilN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijwgs/KilN13a,
  author       = {Hyunyoung Kil and
                  Wonhong Nam},
  title        = {Semantic web service composition via model checking techniques},
  journal      = {Int. J. Web Grid Serv.},
  volume       = {9},
  number       = {4},
  pages        = {339--350},
  year         = {2013},
  url          = {https://doi.org/10.1504/IJWGS.2013.057466},
  doi          = {10.1504/IJWGS.2013.057466},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijwgs/KilN13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fgit/KilN12,
  author       = {Hyunyoung Kil and
                  Wonhong Nam},
  editor       = {Tai{-}Hoon Kim and
                  Jianhua Ma and
                  Wai{-}Chi Fang and
                  Yanchun Zhang and
                  Alfredo Cuzzocrea},
  title        = {Semantic Web Service Composition Using Formal Verification Techniques},
  booktitle    = {Computer Applications for Database, Education, and Ubiquitous Computing
                  - International Conferences, EL, {DTA} and {UNESST} 2012, Held as
                  Part of the Future Generation Information Technology Conference, {FGIT}
                  2012, Gangneug, Korea, December 16-19, 2012. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {352},
  pages        = {72--79},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35603-2\_10},
  doi          = {10.1007/978-3-642-35603-2\_10},
  timestamp    = {Tue, 20 Aug 2024 07:54:42 +0200},
  biburl       = {https://dblp.org/rec/conf/fgit/KilN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/NamKL11,
  author       = {Wonhong Nam and
                  Hyunyoung Kil and
                  Dongwon Lee},
  title        = {On the computational complexity of behavioral description-based web
                  service composition},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {48},
  pages        = {6736--6749},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2011.04.020},
  doi          = {10.1016/J.TCS.2011.04.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/NamKL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/www/KilN11,
  author       = {Hyunyoung Kil and
                  Wonhong Nam},
  editor       = {Sadagopan Srinivasan and
                  Krithi Ramamritham and
                  Arun Kumar and
                  M. P. Ravindra and
                  Elisa Bertino and
                  Ravi Kumar},
  title        = {Anytime algorithm for QoS web service composition},
  booktitle    = {Proceedings of the 20th International Conference on World Wide Web,
                  {WWW} 2011, Hyderabad, India, March 28 - April 1, 2011 (Companion
                  Volume)},
  pages        = {71--72},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1963192.1963229},
  doi          = {10.1145/1963192.1963229},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/www/KilN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/www/KilOENL09,
  author       = {Hyunyoung Kil and
                  Seog{-}Chan Oh and
                  Ergin Elmacioglu and
                  Wonhong Nam and
                  Dongwon Lee},
  title        = {Graph Theoretic Topological Analysis of Web Service Networks},
  journal      = {World Wide Web},
  volume       = {12},
  number       = {3},
  pages        = {321--343},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11280-009-0064-6},
  doi          = {10.1007/S11280-009-0064-6},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/www/KilOENL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/KilNL09,
  author       = {Hyunyoung Kil and
                  Wonhong Nam and
                  Dongwon Lee},
  editor       = {Craig Boutilier},
  title        = {Efficient Abstraction and Refinement for Behavioral Description Based
                  Web Service Composition},
  booktitle    = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
                  on Artificial Intelligence, Pasadena, California, USA, July 11-17,
                  2009},
  pages        = {1740--1745},
  year         = {2009},
  url          = {http://ijcai.org/Proceedings/09/Papers/290.pdf},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/KilNL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wecwis/NamKL09,
  author       = {Wonhong Nam and
                  Hyunyoung Kil and
                  Jungjae Lee},
  editor       = {Birgit Hofreiter and
                  Hannes Werthner},
  title        = {QoS-Driven Web Service Composition Using Learning-Based Depth First
                  Search},
  booktitle    = {2009 {IEEE} Conference on Commerce and Enterprise Computing, {CEC}
                  2009, Vienna, Austria, July 20-23, 2009},
  pages        = {507--510},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/CEC.2009.50},
  doi          = {10.1109/CEC.2009.50},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wecwis/NamKL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/www/KilNL09,
  author       = {Hyunyoung Kil and
                  Wonhong Nam and
                  Dongwon Lee},
  editor       = {Juan Quemada and
                  Gonzalo Le{\'{o}}n and
                  Yo{\"{e}}lle S. Maarek and
                  Wolfgang Nejdl},
  title        = {Automatic web service composition with abstraction and refinement},
  booktitle    = {Proceedings of the 18th International Conference on World Wide Web,
                  {WWW} 2009, Madrid, Spain, April 20-24, 2009},
  pages        = {1121--1122},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1526709.1526887},
  doi          = {10.1145/1526709.1526887},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/www/KilNL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icadl/KilNL08,
  author       = {Hyunyoung Kil and
                  Wonhong Nam and
                  Dongwon Lee},
  editor       = {George Buchanan and
                  Masood Masoodian and
                  Sally Jo Cunningham},
  title        = {DL2Go: Editable Digital Libraries in the Pocket},
  booktitle    = {Digital Libraries: Universal and Ubiquitous Access to Information,
                  11th International Conference on Asian Digital Libraries, {ICADL}
                  2008, Bali, Indonesia, December 2-5, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5362},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89533-6\_1},
  doi          = {10.1007/978-3-540-89533-6\_1},
  timestamp    = {Mon, 05 Sep 2022 11:39:31 +0200},
  biburl       = {https://dblp.org/rec/conf/icadl/KilNL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictai/KilNL08,
  author       = {Hyunyoung Kil and
                  Wonhong Nam and
                  Dongwon Lee},
  title        = {Computational Complexity of Web Service Composition Based on Behavioral
                  Descriptions},
  booktitle    = {20th {IEEE} International Conference on Tools with Artificial Intelligence
                  {(ICTAI} 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1},
  pages        = {359--363},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICTAI.2008.47},
  doi          = {10.1109/ICTAI.2008.47},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/KilNL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wecwis/NamKL08,
  author       = {Wonhong Nam and
                  Hyunyoung Kil and
                  Dongwon Lee},
  title        = {Type-Aware Web Service Composition Using Boolean Satisfiability Solver},
  booktitle    = {10th {IEEE} International Conference on E-Commerce Technology {(CEC}
                  2008) / 5th {IEEE} International Conference on Enterprise Computing,
                  E-Commerce and E-Services {(EEE} 2008), July 21-14, 2008, Washington,
                  DC, {USA}},
  pages        = {331--334},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/CECandEEE.2008.108},
  doi          = {10.1109/CECANDEEE.2008.108},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wecwis/NamKL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wecwis/OhYKLK07,
  author       = {Seog{-}Chan Oh and
                  John Jung{-}Woon Yoo and
                  Hyunyoung Kil and
                  Dongwon Lee and
                  Soundar R. T. Kumara},
  title        = {Semantic Web-Service Discovery and Composition Using Flexible Parameter
                  Matching},
  booktitle    = {9th {IEEE} International Conference on E-Commerce Technology {(CEC}
                  2007) / 4th {IEEE} International Conference on Enterprise Computing,
                  E-Commerce and E-Services {(EEE} 2007), 23-26 July 2007, National
                  Center of Sciences, Tokyo, Japan},
  pages        = {533--542},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/CEC-EEE.2007.86},
  doi          = {10.1109/CEC-EEE.2007.86},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wecwis/OhYKLK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icws/OhKLK06,
  author       = {Seog{-}Chan Oh and
                  Hyunyoung Kil and
                  Dongwon Lee and
                  Soundar R. T. Kumara},
  title        = {WSBen: {A} Web Services Discovery and Composition Benchmark},
  booktitle    = {2006 {IEEE} International Conference on Web Services {(ICWS} 2006),
                  18-22 September 2006, Chicago, Illinois, {USA}},
  pages        = {239--248},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICWS.2006.148},
  doi          = {10.1109/ICWS.2006.148},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/OhKLK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jcdl/FisherKL06,
  author       = {Justin Fisher and
                  Hyunyoung Kil and
                  Dongwon Lee},
  editor       = {Gary Marchionini and
                  Michael L. Nelson and
                  Catherine C. Marshall},
  title        = {OpenArXiv = arXiv + {RDBMS} + web services},
  booktitle    = {{ACM/IEEE} Joint Conference on Digital Libraries, {JCDL} 2006, Chapel
                  Hill, NC, USA, June 11-15, 2006, Proceedings},
  pages        = {374},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1141753.1141870},
  doi          = {10.1145/1141753.1141870},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jcdl/FisherKL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wecwis/OhKLK06,
  author       = {Seog{-}Chan Oh and
                  Hyunyoung Kil and
                  Dongwon Lee and
                  Soundar R. T. Kumara},
  title        = {Algorithms for Web Services Discovery and Composition Based on Syntactic
                  and Semantic Service Descriptions},
  booktitle    = {Eighth {IEEE} International Conference on E-Commerce Technology {(CEC}
                  2006) / Third {IEEE} International Conference on Enterprise Computing,
                  E-Commerce and E-Services {(EEE} 2006) and Workshops, 26-29 June 2006,
                  Palo Alto, California, {USA}},
  pages        = {66},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/CEC-EEE.2006.12},
  doi          = {10.1109/CEC-EEE.2006.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wecwis/OhKLK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.