Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Kyungmin Bae"
download as .bib file
@article{DBLP:journals/cars/DhoLMKKLKKKPP24,
author = {Yun{-}Sik Dho and
Byeong Cheol Lee and
HyeongCheol Moon and
Kyung Min Kim and
Ho Kang and
Eun Jung Lee and
Min{-}Sung Kim and
Jin Wook Kim and
Yong Hwy Kim and
Sang Joon Park and
Chul{-}Kee Park},
title = {Validation of real-time inside-out tracking and depth realization
technologies for augmented reality-based neuronavigation},
journal = {Int. J. Comput. Assist. Radiol. Surg.},
volume = {19},
number = {1},
pages = {15--25},
year = {2024},
url = {https://doi.org/10.1007/s11548-023-02993-0},
doi = {10.1007/S11548-023-02993-0},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cars/DhoLMKKLKKKPP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/LeeSLBJCPCKYKCLYZSK24,
author = {Jong Hyeon Lee and
Jae Woo Shim and
Min Hyuk Lim and
Changhoon Baek and
Byoungjun Jeon and
Minwoo Cho and
Sungwoo Park and
Dong Hyun Choi and
Byeong Soo Kim and
Dan Yoon and
Young Gyun Kim and
Seung Yeon Cho and
Kyung{-}Min Lee and
Myoung{-}Souk Yeo and
Hangman Zo and
Sang Do Shin and
Sungwan Kim},
title = {Towards optimal design of patient isolation units in emergency rooms
to prevent airborne virus transmission: From computational fluid dynamics
to data-driven modeling},
journal = {Comput. Biol. Medicine},
volume = {173},
pages = {108309},
year = {2024},
url = {https://doi.org/10.1016/j.compbiomed.2024.108309},
doi = {10.1016/J.COMPBIOMED.2024.108309},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cbm/LeeSLBJCPCKYKCLYZSK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AriasBOOPR24,
author = {Jaime Arias and
Kyungmin Bae and
Carlos Olarte and
Peter Csaba {\"{O}}lveczky and
Laure Petrucci and
Fredrik R{\o}mming},
title = {Symbolic analysis and parameter synthesis for networks of parametric
timed automata with global variables using Maude and {SMT} solving},
journal = {Sci. Comput. Program.},
volume = {233},
pages = {103074},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2023.103074},
doi = {10.1016/J.SCICO.2023.103074},
timestamp = {Thu, 30 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AriasBOOPR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KangB24,
author = {Byeongjee Kang and
Kyungmin Bae},
title = {Narrowing and heuristic search for symbolic reachability analysis
of concurrent object-oriented systems},
journal = {Sci. Comput. Program.},
volume = {235},
pages = {103097},
year = {2024},
url = {https://doi.org/10.1016/j.scico.2024.103097},
doi = {10.1016/J.SCICO.2024.103097},
timestamp = {Thu, 30 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/KangB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/YuCBM24,
author = {Geunyeol Yu and
Seunghyun Chae and
Kyungmin Bae and
Sungkun Moon},
editor = {Dirk Beyer and
Ana Cavalcanti},
title = {Formal Specification of Trusted Execution Environment APIs},
booktitle = {Fundamental Approaches to Software Engineering - 27th International
Conference, {FASE} 2024, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City,
Luxembourg, April 6-11, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14573},
pages = {101--121},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57259-3\_5},
doi = {10.1007/978-3-031-57259-3\_5},
timestamp = {Sat, 08 Jun 2024 13:13:51 +0200},
biburl = {https://dblp.org/rec/conf/fase/YuCBM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BaeELMS24,
author = {Kyungmin Bae and
Santiago Escobar and
Ra{\'{u}}l L{\'{o}}pez{-}Rueda and
Jos{\'{e}} Meseguer and
Julia Sapi{\~{n}}a},
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Verifying Invariants by Deductive Model Checking},
booktitle = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
pages = {3--21},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6\_1},
doi = {10.1007/978-3-031-65941-6\_1},
timestamp = {Thu, 08 Aug 2024 08:55:16 +0200},
biburl = {https://dblp.org/rec/conf/wrla/BaeELMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/YuB24,
author = {Geunyeol Yu and
Kyungmin Bae},
editor = {Kazuhiro Ogata and
Narciso Mart{\'{\i}}{-}Oliet},
title = {A Flexible Framework for Integrating Maude and {SMT} Solvers Using
Python},
booktitle = {Rewriting Logic and Its Applications - 15th International Workshop,
{WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14953},
pages = {179--192},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65941-6\_10},
doi = {10.1007/978-3-031-65941-6\_10},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/YuB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-01884,
author = {Jaime Arias and
Kyungmin Bae and
Carlos Olarte and
Peter Csaba {\"{O}}lveczky and
Laure Petrucci},
title = {A rewriting-logic-with-SMT-based formal analysis and parameter synthesis
framework for parametric time Petri nets},
journal = {CoRR},
volume = {abs/2401.01884},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.01884},
doi = {10.48550/ARXIV.2401.01884},
eprinttype = {arXiv},
eprint = {2401.01884},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-01884.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-01954,
author = {Kang Min Yoo and
Jaegeun Han and
Sookyo In and
Heewon Jeon and
Jisu Jeong and
Jaewook Kang and
Hyunwook Kim and
Kyung{-}Min Kim and
Munhyong Kim and
Sungju Kim and
Donghyun Kwak and
Hanock Kwak and
Se Jung Kwon and
Bado Lee and
Dongsoo Lee and
Gichang Lee and
Jooho Lee and
Baeseong Park and
Seongjin Shin and
Joonsang Yu and
Seolki Baek and
Sumin Byeon and
Eungsup Cho and
Dooseok Choe and
Jeeseung Han and
Youngkyun Jin and
Hyein Jun and
Jaeseung Jung and
Chanwoong Kim and
Jinhong Kim and
Jinuk Kim and
Dokyeong Lee and
Dong Wook Park and
Jeong Min Sohn and
Sujung Han and
Jiae Heo and
Sungju Hong and
Mina Jeon and
Hyunhoon Jung and
Jungeun Jung and
Wangkyo Jung and
Chungjoon Kim and
Hyeri Kim and
Jonghyun Kim and
Min Young Kim and
Soeun Lee and
Joonhee Park and
Jieun Shin and
Sojin Yang and
Jungsoon Yoon and
Hwaran Lee and
Sanghwan Bae and
Jeehwan Cha and
Karl Gylleus and
Donghoon Ham and
Mihak Hong and
Youngki Hong and
Yunki Hong and
Dahyun Jang and
Hyojun Jeon and
Yujin Jeon and
Yeji Jeong and
Myunggeun Ji and
Yeguk Jin and
Chansong Jo and
Shinyoung Joo and
Seunghwan Jung and
Adrian Jungmyung Kim and
Byoung Hoon Kim and
Hyomin Kim and
Jungwhan Kim and
Minkyoung Kim and
Minseung Kim and
Sungdong Kim and
Yonghee Kim and
Youngjun Kim and
Youngkwan Kim and
Donghyeon Ko and
Dughyun Lee and
Hayoung Lee and
Jaehong Lee and
Jieun Lee and
Jonghyun Lee and
Jongjin Lee and
Min Young Lee and
Yehbin Lee and
Taehong Min and
Yuri Min and
Kiyoon Moon and
Hyangnam Oh and
Jaesun Park and
Kyuyon Park and
Younghun Park and
Hanbae Seo and
Seunghyun Seo and
Mihyun Sim and
Gyubin Son and
Matt Yeo and
Kyung Hoon Yeom and
Wonjoon Yoo},
title = {HyperCLOVA {X} Technical Report},
journal = {CoRR},
volume = {abs/2404.01954},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.01954},
doi = {10.48550/ARXIV.2404.01954},
eprinttype = {arXiv},
eprint = {2404.01954},
timestamp = {Fri, 10 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-01954.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-06037,
author = {Donghu Kim and
Hojoon Lee and
Kyungmin Lee and
Dongyoon Hwang and
Jaegul Choo},
title = {Investigating Pre-Training Objectives for Generalization in Vision-Based
Reinforcement Learning},
journal = {CoRR},
volume = {abs/2406.06037},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.06037},
doi = {10.48550/ARXIV.2406.06037},
eprinttype = {arXiv},
eprint = {2406.06037},
timestamp = {Sat, 13 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-06037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GoS23,
author = {Kyungmin Go and
Donghoon Shin},
title = {Resilient Raw Format Live Video Streaming Framework for an Automated
Driving System on an Ethernet-Based In-Vehicle Network},
journal = {{IEEE} Access},
volume = {11},
pages = {144364--144376},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3345352},
doi = {10.1109/ACCESS.2023.3345352},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/GoS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ParkJKJS23,
author = {Hee{-}Mun Park and
Mi Jang and
Yong{-}Jae Kim and
Hyun{-}Joo Jung and
Kyung{-}Min Seo},
title = {Design and Implementation of Data-Based Validation and Evaluation
System for Combat System Engineering},
journal = {{IEEE} Access},
volume = {11},
pages = {80137--80150},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3299441},
doi = {10.1109/ACCESS.2023.3299441},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/ParkJKJS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/KimPLBLKMSK23,
author = {Kijin Kim and
Kyungmin Park and
Seonghyeon Lee and
Seung{-}Hwan Baek and
Tae{-}Hun Lim and
Jongwoo Kim and
Balachandran Manavalan and
Jin{-}Won Song and
Won{-}Keun Kim},
title = {VirPipe: an easy-to-use and customizable pipeline for detecting viral
genomes from Nanopore sequencing},
journal = {Bioinform.},
volume = {39},
number = {5},
year = {2023},
url = {https://doi.org/10.1093/bioinformatics/btad293},
doi = {10.1093/BIOINFORMATICS/BTAD293},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/KimPLBLKMSK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fi/ChangPKK23,
author = {Sang{-}Yoon Chang and
Kyungmin Park and
Jonghyun Kim and
Jinoh Kim},
title = {Securing {UAV} Flying Base Station for Mobile Networking: {A} Review},
journal = {Future Internet},
volume = {15},
number = {5},
pages = {176},
year = {2023},
url = {https://doi.org/10.3390/fi15050176},
doi = {10.3390/FI15050176},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fi/ChangPKK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/HwangKKK23,
author = {Sang{-}Ho Hwang and
Kyung{-}Min Kim and
Sungho Kim and
Jong Wook Kwak},
title = {Lossless Data Compression for Time-Series Sensor Data Based on Dynamic
Bit Packing},
journal = {Sensors},
volume = {23},
number = {20},
pages = {8575},
year = {2023},
url = {https://doi.org/10.3390/s23208575},
doi = {10.3390/S23208575},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/HwangKKK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcasII/SeoHKLSCKCLYH23,
author = {Hyeongmin Seo and
Jiyun Han and
Kyungmin Kim and
Baek{-}Jin Lim and
EunSeok Shin and
Youngdon Choi and
Hyungjong Ko and
Jung{-}Hwan Choi and
Sang{-}Hyun Lee and
Changsik Yoo and
Jaeduk Han},
title = {A 12-Gb/s Baud-Rate Clock and Data Recovery With 75{\%} Phase-Detection
Probability by Precoding and Integration-Hold-Reset Frontend},
journal = {{IEEE} Trans. Circuits Syst. {II} Express Briefs},
volume = {70},
number = {2},
pages = {411--415},
year = {2023},
url = {https://doi.org/10.1109/TCSII.2022.3212881},
doi = {10.1109/TCSII.2022.3212881},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcasII/SeoHKLSCKCLYH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AriasBOOPR23,
author = {Jaime Arias and
Kyungmin Bae and
Carlos Olarte and
Peter Csaba {\"{O}}lveczky and
Laure Petrucci and
Fredrik R{\o}mming},
editor = {Lu{\'{\i}}s Gomes and
Robert Lorenz},
title = {Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using
Maude and {SMT} Solving},
booktitle = {Application and Theory of Petri Nets and Concurrency - 44th International
Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13929},
pages = {369--392},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33620-1\_20},
doi = {10.1007/978-3-031-33620-1\_20},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/AriasBOOPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asscc/YunPKBLCJ23,
author = {Daeho Yun and
Minsu Park and
Kahyun Kim and
Kyungmin Baek and
Eonhui Lee and
Woo{-}Seok Choi and
Deog{-}Kyoon Jeong},
title = {A {PAM4} Level Mismatch Adjustment Scheme for 48-Gb/s {PAM4} Memory
Tester Bridge},
booktitle = {{IEEE} Asian Solid-State Circuits Conference, {A-SSCC} 2023, Haikou,
China, November 5-8, 2023},
pages = {1--3},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/A-SSCC58667.2023.10347967},
doi = {10.1109/A-SSCC58667.2023.10347967},
timestamp = {Sat, 27 Jan 2024 20:22:56 +0100},
biburl = {https://dblp.org/rec/conf/asscc/YunPKBLCJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cinc/KyungminYCCJ23,
author = {Kyungmin Choi and
Gi{-}Won Yoon and
Sanghoon Choi and
Hyeon{-}Hwa Choi and
Segyeong Joo},
title = {Prediction Comatose Patient Outcomes Using Deep Learning -Based Analysis
of {EEG} Power Spectral Density},
booktitle = {Computing in Cardiology, CinC 2023, Atlanta, GA, USA, October 1-4,
2023},
pages = {1--4},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.22489/CinC.2023.048},
doi = {10.22489/CINC.2023.048},
timestamp = {Tue, 30 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cinc/KyungminYCCJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/HanKK00LLBH23,
author = {Hojae Han and
Yu Jin Kim and
Byoungjip Kim and
Youngwon Lee and
Kyungjae Lee and
Kyungmin Lee and
Moontae Lee and
Kyunghoon Bae and
Seung{-}won Hwang},
editor = {Mingxuan Wang and
Imed Zitouni},
title = {On Sample-Efficient Code Generation},
booktitle = {Proceedings of the 2023 Conference on Empirical Methods in Natural
Language Processing: {EMNLP} 2023 - Industry Track, Singapore, December
6-10, 2023},
pages = {783--791},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.emnlp-industry.73},
doi = {10.18653/V1/2023.EMNLP-INDUSTRY.73},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/HanKK00LLBH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucnc/ParkPSK23,
author = {Cheolhee Park and
Kyungmin Park and
Jihyeon Song and
Jonghyun Kim},
title = {Distributed Learning-Based Intrusion Detection in 5G and Beyond Networks},
booktitle = {2023 Joint European Conference on Networks and Communications {\&}
6G Summit, EuCNC/6G Summit 2023, Gothenburg, Sweden, June 6-9, 2023},
pages = {490--495},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/EuCNC/6GSummit58263.2023.10188312},
doi = {10.1109/EUCNC/6GSUMMIT58263.2023.10188312},
timestamp = {Mon, 31 Jul 2023 13:56:43 +0200},
biburl = {https://dblp.org/rec/conf/eucnc/ParkPSK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BaeO23,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
editor = {Javier C{\'{a}}mara and
Sung{-}Shik Jongmans},
title = {Formal Model Engineering of Distributed CPSs Using {AADL:} From Behavioral
{AADL} Models to Multirate Hybrid Synchronous {AADL}},
booktitle = {Formal Aspects of Component Software - 19th International Conference,
{FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {14485},
pages = {127--152},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-52183-6\_7},
doi = {10.1007/978-3-031-52183-6\_7},
timestamp = {Thu, 18 Jan 2024 08:27:17 +0100},
biburl = {https://dblp.org/rec/conf/facs2/BaeO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/Bae23,
author = {Kyungmin Bae},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Bounded {STL} Model Checking for Hybrid Systems (Invited Talk)},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
22 October 2023},
pages = {1},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3623503.3628255},
doi = {10.1145/3623503.3628255},
timestamp = {Thu, 26 Oct 2023 16:21:33 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/Bae23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/ChangPKK23,
author = {Sang{-}Yoon Chang and
Kyungmin Park and
Jonghyun Kim and
Jinoh Kim},
editor = {Massimo Cafaro and
Eric Chan{-}Tin and
Jerry Chou and
Jinoh Kim},
title = {Towards Securing {UAV} Flying Base Station: Misplacement Impact Analyses
on Battery and Power},
booktitle = {Proceedings of the 2023 on Systems and Network Telemetry and Analytics,
{SNTA} 2023, Orlando, FL, USA, 20 June 2023},
pages = {3--8},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589012.3594894},
doi = {10.1145/3589012.3594894},
timestamp = {Thu, 03 Aug 2023 10:30:48 +0200},
biburl = {https://dblp.org/rec/conf/hpdc/ChangPKK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/KyungJCLC23,
author = {Daeun Kyung and
Kyungmin Jo and
Jaegul Choo and
Joonseok Lee and
Edward Choi},
title = {Perspective Projection-Based 3d {CT} Reconstruction from Biplanar
X-Rays},
booktitle = {{IEEE} International Conference on Acoustics, Speech and Signal Processing
{ICASSP} 2023, Rhodes Island, Greece, June 4-10, 2023},
pages = {1--5},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICASSP49357.2023.10096296},
doi = {10.1109/ICASSP49357.2023.10096296},
timestamp = {Sun, 05 Nov 2023 16:51:21 +0100},
biburl = {https://dblp.org/rec/conf/icassp/KyungJCLC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/KimYBCJ23,
author = {Kahyun Kim and
Daeho Yun and
Kyungmin Baek and
Woo{-}Seok Choi and
Deog{-}Kyoon Jeong},
title = {A 48-Gb/s Single-Ended {PAM-4} Receiver with Adaptive Nonlinearity
Compensation},
booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2023,
Monterey, CA, USA, May 21-25, 2023},
pages = {1--5},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISCAS46773.2023.10182132},
doi = {10.1109/ISCAS46773.2023.10182132},
timestamp = {Mon, 31 Jul 2023 09:04:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/KimYBCJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/AnLZKKS23,
author = {Gaon An and
Junhyeok Lee and
Xingdong Zuo and
Norio Kosaka and
Kyung{-}Min Kim and
Hyun Oh Song},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {Direct Preference-based Policy Optimization without Reward Modeling},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/de8bd6b2b01cfa788e63f62e5b9a99b9-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/AnLZKKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/ParkBPHL23,
author = {Jongseok Park and
Kyungmin Bin and
Gibum Park and
Sangtae Ha and
Kyunghan Lee},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {{ASPEN:} Breaking Operator Barriers for Efficient Parallelization
of Deep Neural Networks},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/d899a31938c7838965b589d9b14a5ca6-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/ParkBPHL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ro-man/Ko23,
author = {Kyungmin Ko},
title = {Backward Curriculum Reinforcement Learning},
booktitle = {32nd {IEEE} International Conference on Robot and Human Interactive
Communication, {RO-MAN} 2023, Busan, Republic of Korea, August 28-31,
2023},
pages = {1753--1757},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/RO-MAN57019.2023.10309513},
doi = {10.1109/RO-MAN57019.2023.10309513},
timestamp = {Thu, 23 Nov 2023 21:16:36 +0100},
biburl = {https://dblp.org/rec/conf/ro-man/Ko23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsit/JungLKLKOL23,
author = {Jaehong Jung and
Kyungmin Lee and
Gunwoo Kong and
Baekmin Lim and
Seungjin Kim and
Seunghyun Oh and
Jongwoo Lee},
title = {A 2.4-to-4.2GHz 440.2fsrms-Integrated-Jitter 4.3mW Ring-Oscillator-Based
{PLL} Using a Switched-Capacitor-Bias-Based Sampling {PD} in 4nm FinFET
{CMOS}},
booktitle = {2023 {IEEE} Symposium on {VLSI} Technology and Circuits {(VLSI} Technology
and Circuits), Kyoto, Japan, June 11-16, 2023},
pages = {1--2},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.23919/VLSITechnologyandCir57934.2023.10185300},
doi = {10.23919/VLSITECHNOLOGYANDCIR57934.2023.10185300},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsit/JungLKLKOL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wacv/KangLJL23,
author = {Tae{-}Kyung Kang and
Gun{-}Hee Lee and
Kyung{-}Min Jin and
Seong{-}Whan Lee},
title = {Action-aware Masking Network with Group-based Attention for Temporal
Action Localization},
booktitle = {{IEEE/CVF} Winter Conference on Applications of Computer Vision, {WACV}
2023, Waikoloa, HI, USA, January 2-7, 2023},
pages = {6047--6056},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/WACV56688.2023.00600},
doi = {10.1109/WACV56688.2023.00600},
timestamp = {Tue, 14 Feb 2023 22:26:55 +0100},
biburl = {https://dblp.org/rec/conf/wacv/KangLJL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-05297,
author = {Daeun Kyung and
Kyungmin Jo and
Jaegul Choo and
Joonseok Lee and
Edward Choi},
title = {Perspective Projection-Based 3D {CT} Reconstruction from Biplanar
X-rays},
journal = {CoRR},
volume = {abs/2303.05297},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.05297},
doi = {10.48550/ARXIV.2303.05297},
eprinttype = {arXiv},
eprint = {2303.05297},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05297.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-08929,
author = {Jaime Arias and
Kyungmin Bae and
Carlos Olarte and
Peter Csaba {\"{O}}lveczky and
Laure Petrucci and
Fredrik R{\o}mming},
title = {Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using
Maude and {SMT} Solving},
journal = {CoRR},
volume = {abs/2303.08929},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.08929},
doi = {10.48550/ARXIV.2303.08929},
eprinttype = {arXiv},
eprint = {2303.08929},
timestamp = {Mon, 20 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-08929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-11922,
author = {Kolby Nottingham and
Yasaman Razeghi and
Kyungmin Kim and
JB Lanier and
Pierre Baldi and
Roy Fox and
Sameer Singh},
title = {Selective Perception: Optimizing State Descriptions with Reinforcement
Learning for Language Model Actors},
journal = {CoRR},
volume = {abs/2307.11922},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.11922},
doi = {10.48550/ARXIV.2307.11922},
eprinttype = {arXiv},
eprint = {2307.11922},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-11922.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-16659,
author = {Abhirami Harilal and
Kyungmin Park and
Michael Andrews and
Manfred Paulini},
title = {Autoencoder-based Online Data Quality Monitoring for the {CMS} Electromagnetic
Calorimeter},
journal = {CoRR},
volume = {abs/2308.16659},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.16659},
doi = {10.48550/ARXIV.2308.16659},
eprinttype = {arXiv},
eprint = {2308.16659},
timestamp = {Fri, 01 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-16659.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KimKKKKPK22,
author = {Jo{-}Eun Kim and
Boram Kim and
Hui Tae Kwon and
Jaesung Kim and
Kyungmin Kim and
Dong{-}Wook Park and
Yoon Kim},
title = {Flexible Parylene C-Based {RRAM} Array for Neuromorphic Applications},
journal = {{IEEE} Access},
volume = {10},
pages = {109760--109767},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3211956},
doi = {10.1109/ACCESS.2022.3211956},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/KimKKKKPK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/YoonJKSPBLL22,
author = {Yo Sung Yoon and
Woohyun Jeong and
Jaeyong Kim and
Mingyun Seok and
Junsoo Park and
Jaemin Bae and
Kyungmin Lee and
Jay H. Lee},
title = {Development of inferential sensor and real-time optimizer for a vacuum
distillation unit by recurrent neural network modeling of time series
data},
journal = {Comput. Chem. Eng.},
volume = {168},
pages = {108039},
year = {2022},
url = {https://doi.org/10.1016/j.compchemeng.2022.108039},
doi = {10.1016/J.COMPCHEMENG.2022.108039},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cce/YoonJKSPBLL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-sen/ChangLKC22,
author = {Byeong{-}Mo Chang and
Kyung{-}min Lee and
Ga{-}young Koh and
Kwanghoon Choi},
title = {SmartProvenance: User-friendly provenance system for internet of things
applications based on event flow graphs},
journal = {{IET} Softw.},
volume = {16},
number = {6},
pages = {576--602},
year = {2022},
url = {https://doi.org/10.1049/sfw2.12071},
doi = {10.1049/SFW2.12071},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-sen/ChangLKC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LeeBOKK22,
author = {Jaehun Lee and
Kyungmin Bae and
Peter Csaba {\"{O}}lveczky and
Sharon Kim and
Minseok Kang},
title = {Modeling and formal analysis of virtually synchronous cyber-physical
systems in {AADL}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {24},
number = {6},
pages = {911--948},
year = {2022},
url = {https://doi.org/10.1007/s10009-022-00665-z},
doi = {10.1007/S10009-022-00665-Z},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LeeBOKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcasII/YunLJKBKLKCJ22,
author = {Daeho Yun and
Eonhui Lee and
Woosong Jung and
Kahyun Kim and
Kyung{-}Min Beak and
Jihee Kim and
Hyun Bae Lee and
Byeongseon Ko and
Woo{-}Seok Choi and
Deog{-}Kyoon Jeong},
title = {A 32-Gb/s PAM4-Binary Bridge With Sampler Offset Cancellation for
Memory Testing},
journal = {{IEEE} Trans. Circuits Syst. {II} Express Briefs},
volume = {69},
number = {9},
pages = {3749--3753},
year = {2022},
url = {https://doi.org/10.1109/TCSII.2022.3170887},
doi = {10.1109/TCSII.2022.3170887},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcasII/YunLJKBKLKCJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/GoLKK22,
author = {Kyungmin Go and
Il{-}Gu Lee and
Sungwon Kang and
Myungchul Kim},
title = {Secure Video Transmission Framework for Battery-Powered Video Devices},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {19},
number = {1},
pages = {275--287},
year = {2022},
url = {https://doi.org/10.1109/TDSC.2020.2980256},
doi = {10.1109/TDSC.2020.2980256},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tdsc/GoLKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tog/LeeYCKIN22,
author = {Dawon Lee and
Jung Eun Yoo and
Kyungmin Cho and
Bumki Kim and
Gyeonghun Im and
Junyong Noh},
title = {PopStage: The Generation of Stage Cross-Editing Video Based on Spatio-Temporal
Matching},
journal = {{ACM} Trans. Graph.},
volume = {41},
number = {6},
pages = {194:1--194:13},
year = {2022},
url = {https://doi.org/10.1145/3550454.3555467},
doi = {10.1145/3550454.3555467},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tog/LeeYCKIN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YuLB22,
author = {Geunyeol Yu and
Jia Lee and
Kyungmin Bae},
editor = {Sharon Shoham and
Yakir Vizel},
title = {STLmc: Robust {STL} Model Checking of Hybrid Systems Using {SMT}},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13371},
pages = {524--537},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13185-1\_26},
doi = {10.1007/978-3-031-13185-1\_26},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/YuLB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/SonKH22,
author = {Kihoon Son and
Kyungmin Kim and
Kyung Hoon Hyun},
editor = {Simone D. J. Barbosa and
Cliff Lampe and
Caroline Appert and
David A. Shamma and
Steven Mark Drucker and
Julie R. Williamson and
Koji Yatani},
title = {BIGexplore: Bayesian Information Gain Framework for Information Exploration},
booktitle = {{CHI} '22: {CHI} Conference on Human Factors in Computing Systems,
New Orleans, LA, USA, 29 April 2022 - 5 May 2022},
pages = {37:1--37:16},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3491102.3517729},
doi = {10.1145/3491102.3517729},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/SonKH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/AriasBOOPR22,
author = {Jaime Arias and
Kyungmin Bae and
Carlos Olarte and
Peter Csaba {\"{O}}lveczky and
Laure Petrucci and
Fredrik R{\o}mming},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed
Automata},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Formal
Techniques for Safety-Critical Systems, {FTSCS} 2022, Auckland, New
Zealand, 7 December 2022},
pages = {3--15},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563822.3569923},
doi = {10.1145/3563822.3569923},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/AriasBOOPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/KangB22,
author = {Byeongjee Kang and
Kyungmin Bae},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Symbolic Reachability Analysis of Distributed Systems using Narrowing
and Heuristic Search},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Formal
Techniques for Safety-Critical Systems, {FTSCS} 2022, Auckland, New
Zealand, 7 December 2022},
pages = {34--44},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563822.3568017},
doi = {10.1145/3563822.3568017},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/KangB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/LeeKB22,
author = {Jaeseo Lee and
Sangki Kim and
Kyungmin Bae},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Bounded Model Checking of {PLC} {ST} Programs using Rewriting Modulo
{SMT}},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Formal
Techniques for Safety-Critical Systems, {FTSCS} 2022, Auckland, New
Zealand, 7 December 2022},
pages = {56--67},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563822.3568016},
doi = {10.1145/3563822.3568016},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/LeeKB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isocc/BaekKJ22,
author = {Kyungmin Baek and
Kahyun Kim and
Deog{-}Kyoon Jeong},
title = {A 5GHz All-Digital {PLL} with shunt regulating Ring {DCO} in {BOST}
for {DDR5} {ATE}},
booktitle = {19th International SoC Design Conference, {ISOCC} 2022, Gangneung-si,
Republic of Korea, October 19-22, 2022},
pages = {139--140},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISOCC56007.2022.10031547},
doi = {10.1109/ISOCC56007.2022.10031547},
timestamp = {Wed, 15 Feb 2023 22:08:05 +0100},
biburl = {https://dblp.org/rec/conf/isocc/BaekKJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LeeBO22,
author = {Jaehun Lee and
Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Extension of HybridSynchAADL and Its Application to Collaborating
Autonomous UAVs},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {47--64},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_4},
doi = {10.1007/978-3-031-19759-8\_4},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/LeeBO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/LeeKSBCLGH22,
author = {Insoo Lee and
Seyeon Kim and
Sandesh Dhawaskar Sathyanarayana and
Kyungmin Bin and
Song Chong and
Kyunghan Lee and
Dirk Grunwald and
Sangtae Ha},
editor = {Jo{\~{a}}o Magalh{\~{a}}es and
Alberto Del Bimbo and
Shin'ichi Satoh and
Nicu Sebe and
Xavier Alameda{-}Pineda and
Qin Jin and
Vincent Oria and
Laura Toni},
title = {{R-FEC:} RL-based {FEC} Adjustment for Better QoE in WebRTC},
booktitle = {{MM} '22: The 30th {ACM} International Conference on Multimedia, Lisboa,
Portugal, October 10 - 14, 2022},
pages = {2948--2956},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3503161.3548370},
doi = {10.1145/3503161.3548370},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mm/LeeKSBCLGH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2022,
editor = {Kyungmin Bae},
title = {Rewriting Logic and Its Applications - 14th International Workshop,
WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {13252},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-12441-9},
doi = {10.1007/978-3-031-12441-9},
isbn = {978-3-031-12440-2},
timestamp = {Wed, 03 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-14214,
author = {Kyungmin Ko and
Sajad Khodadadian and
Siva Theja Maguluri},
title = {Backward Curriculum Reinforcement Learning},
journal = {CoRR},
volume = {abs/2212.14214},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.14214},
doi = {10.48550/ARXIV.2212.14214},
eprinttype = {arXiv},
eprint = {2212.14214},
timestamp = {Sun, 08 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-14214.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KimYLLPK21,
author = {Kyungmin Kim and
Jinhee Yoo and
Hae Gyun Lim and
Mina Lee and
Sung{-}Min Park and
Hyung Ham Kim},
title = {Lead-Free Piezoelectric Composite With Lithium Niobate and Barium
Titanate Fabricated by Interdigital Pair Bonding Technique},
journal = {{IEEE} Access},
volume = {9},
pages = {85894--85902},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3088458},
doi = {10.1109/ACCESS.2021.3088458},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/KimYLLPK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csl/LeeJLKKHK21,
author = {Kyungmin Lee and
Hyunwhan Joe and
Hyeontaek Lim and
Kwangyoun Kim and
Sungsoo Kim and
Chang Woo Han and
Hong{-}Gee Kim},
title = {Sequential routing framework: Fully capsule network-based speech recognition},
journal = {Comput. Speech Lang.},
volume = {70},
pages = {101228},
year = {2021},
url = {https://doi.org/10.1016/j.csl.2021.101228},
doi = {10.1016/J.CSL.2021.101228},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csl/LeeJLKKHK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/ChungLPLKSKCH21,
author = {Chaeyeon Chung and
Jungsoo Lee and
Kyungmin Park and
Junsoo Lee and
Minjae Kim and
Mookyung Song and
Yeonwoo Kim and
Jaegul Choo and
Sungsoo Ray Hong},
title = {Understanding Human-side Impact of Sampling Image Batches in Subjective
Attribute Labeling},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {5},
number = {{CSCW2}},
pages = {296:1--296:26},
year = {2021},
url = {https://doi.org/10.1145/3476037},
doi = {10.1145/3476037},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmhci/ChungLPLKSKCH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/LimKKPKYHBPK21,
author = {Hae Gyun Lim and
Hyunhee Kim and
Kyungmin Kim and
Jeongwoo Park and
Yeonggeun Kim and
Jinhee Yoo and
Dasom Heo and
Jinhwan Baik and
Sung{-}Min Park and
Hyung Ham Kim},
title = {Thermal Ablation and High-Resolution Imaging Using a Back-to-Back
{(BTB)} Dual-Mode Ultrasonic Transducer: In Vivo Results},
journal = {Sensors},
volume = {21},
number = {5},
pages = {1580},
year = {2021},
url = {https://doi.org/10.3390/s21051580},
doi = {10.3390/S21051580},
timestamp = {Fri, 11 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/LimKKPKYHBPK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmobile/KimBHLC21,
author = {Seyeon Kim and
Kyungmin Bin and
Sangtae Ha and
Kyunghan Lee and
Song Chong},
title = {zTT: Learning-Based {DVFS} with Zero Thermal Throttling for Mobile
Devices},
journal = {GetMobile Mob. Comput. Commun.},
volume = {25},
number = {4},
pages = {30--34},
year = {2021},
url = {https://doi.org/10.1145/3529706.3529714},
doi = {10.1145/3529706.3529714},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmobile/KimBHLC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BaeO21,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {{MSYNC:} {A} Generalized Formal Design Pattern for Virtually Synchronous
Multirate Cyber-physical Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {5s},
pages = {105:1--105:26},
year = {2021},
url = {https://doi.org/10.1145/3477036},
doi = {10.1145/3477036},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/BaeO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vr/LimLWKL21,
author = {Kyungmin Lim and
Jaesung Lee and
Kwanghyun Won and
Nupur Kala and
Tammy Lee},
title = {A novel method for {VR} sickness reduction based on dynamic field
of view processing},
journal = {Virtual Real.},
volume = {25},
number = {2},
pages = {331--340},
year = {2021},
url = {https://doi.org/10.1007/s10055-020-00457-3},
doi = {10.1007/S10055-020-00457-3},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vr/LimLWKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LeeKBO21,
author = {Jaehun Lee and
Sharon Kim and
Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous
CPSs in {AADL}},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {491--504},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_23},
doi = {10.1007/978-3-030-81685-8\_23},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LeeKBO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imis/LeeSKJ21,
author = {Kyungmin Lee and
Mincheol Shin and
Yongho Kim and
Hae{-}Duck J. Jeong},
editor = {Leonard Barolli and
Kangbin Yim and
Hsing{-}Chung Chen},
title = {An Intelligent Travel Application Using CNN-Based Deep Learning Technologies},
booktitle = {Innovative Mobile and Internet Services in Ubiquitous Computing -
Proceedings of the 15th International Conference on Innovative Mobile
and Internet Services in Ubiquitous Computing (IMIS-2021), Asan, Korea,
1-3 July, 2021},
series = {Lecture Notes in Networks and Systems},
volume = {279},
pages = {221--231},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79728-7\_22},
doi = {10.1007/978-3-030-79728-7\_22},
timestamp = {Tue, 24 Aug 2021 13:10:31 +0200},
biburl = {https://dblp.org/rec/conf/imis/LeeSKJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/incdm/KimJKLLSHPHK21,
author = {Hiun Kim and
Jisu Jeong and
Kyung{-}Min Kim and
Dongjun Lee and
Hyun Dong Lee and
Dongpil Seo and
Jeeseung Han and
Dong Wook Park and
Ji Ae Heo and
Rak Yeong Kim},
title = {Intent-based Product Collections for E-commerce using Pretrained Language
Models},
booktitle = {2021 International Conference on Data Mining, {ICDM} 2021 - Workshops,
Auckland, New Zealand, December 7-10, 2021},
pages = {228--237},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICDMW53433.2021.00036},
doi = {10.1109/ICDMW53433.2021.00036},
timestamp = {Fri, 28 Jan 2022 14:58:53 +0100},
biburl = {https://dblp.org/rec/conf/incdm/KimJKLLSHPHK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/LeeKJLLKJALBKJL21,
author = {Jongsoo Lee and
Byoungjoong Kang and
Seongwon Joo and
Seokwon Lee and
Joongho Lee and
Seunghoon Kang and
Ikkyun Jo and
Suseop Ahn and
Jaeseung Lee and
Jeongyeol Bae and
Won Ko and
Woniun Jung and
Sangho Lee and
Sangsung Lee and
Euiyoung Park and
Sungiun Lee and
Jeongkyun Woo and
Jaehoon Lee and
Yanghoon Lee and
Kyungmin Lee and
Jongwoo Lee and
Thomas Byunghak Cho and
Inyup Kang},
title = {6.1 {A} Low-Power and Low-Cost 14nm FinFET {RFIC} Supporting Legacy
Cellular and 5G {FR1}},
booktitle = {{IEEE} International Solid-State Circuits Conference, {ISSCC} 2021,
San Francisco, CA, USA, February 13-22, 2021},
pages = {90--92},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISSCC42613.2021.9365736},
doi = {10.1109/ISSCC42613.2021.9365736},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isscc/LeeKJLLKJALBKJL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LeeYB21,
author = {Jia Lee and
Geunyeol Yu and
Kyungmin Bae},
title = {Efficient SMT-Based Model Checking for Signal Temporal Logic},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {343--354},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678719},
doi = {10.1109/ASE51524.2021.9678719},
timestamp = {Mon, 24 Jan 2022 16:18:34 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LeeYB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/KimBHLC21,
author = {Seyeon Kim and
Kyungmin Bin and
Sangtae Ha and
Kyunghan Lee and
Song Chong},
editor = {Suman Banerjee and
Luca Mottola and
Xia Zhou},
title = {zTT: learning-based {DVFS} with zero thermal throttling for mobile
devices},
booktitle = {MobiSys '21: The 19th Annual International Conference on Mobile Systems,
Applications, and Services, Virtual Event, Wisconsin, USA, 24 June
- 2 July, 2021},
pages = {41--53},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3458864.3468161},
doi = {10.1145/3458864.3468161},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobisys/KimBHLC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/TalcottABCH0KRRSV0Z21,
author = {Carolyn L. Talcott and
Sofia Ananieva and
Kyungmin Bae and
Beno{\^{\i}}t Combemale and
Robert Heinrich and
Mark Hills and
Narges Khakpour and
Ralf H. Reussner and
Bernhard Rumpe and
Patrizia Scandurra and
Hans Vangheluwe and
Francisco Dur{\'{a}}n and
Steffen Zschaler},
editor = {Robert Heinrich and
Francisco Dur{\'{a}}n and
Carolyn L. Talcott and
Steffen Zschaler},
title = {Foundations},
booktitle = {Composing Model-Based Analysis Tools},
pages = {9--37},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81915-6\_2},
doi = {10.1007/978-3-030-81915-6\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/TalcottABCH0KRRSV0Z21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/TalcottABCH0KRRSV21,
author = {Carolyn L. Talcott and
Sofia Ananieva and
Kyungmin Bae and
Beno{\^{\i}}t Combemale and
Robert Heinrich and
Mark Hills and
Narges Khakpour and
Ralf H. Reussner and
Bernhard Rumpe and
Patrizia Scandurra and
Hans Vangheluwe},
editor = {Robert Heinrich and
Francisco Dur{\'{a}}n and
Carolyn L. Talcott and
Steffen Zschaler},
title = {Composition of Languages, Models, and Analyses},
booktitle = {Composing Model-Based Analysis Tools},
pages = {45--70},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81915-6\_4},
doi = {10.1007/978-3-030-81915-6\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/TalcottABCH0KRRSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-08241,
author = {Hiun Kim and
Jisu Jeong and
Kyung{-}Min Kim and
Dongjun Lee and
Hyun Dong Lee and
Dongpil Seo and
Jeeseung Han and
Dong Wook Park and
Ji Ae Heo and
Rak Yeong Kim},
title = {Intent-based Product Collections for E-commerce using Pretrained Language
Models},
journal = {CoRR},
volume = {abs/2110.08241},
year = {2021},
url = {https://arxiv.org/abs/2110.08241},
eprinttype = {arXiv},
eprint = {2110.08241},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-08241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aisy/KimSSPAJKSK20,
author = {Young Seok Kim and
Myeong Won Son and
Hanchan Song and
Juseong Park and
Jangho An and
Jae Bum Jeon and
Geun Young Kim and
Seoil Son and
Kyung Min Kim},
title = {Stateful In-Memory Logic System and Its Practical Implementation in
a TaO x -Based Bipolar-Type Memristive Crossbar Array},
journal = {Adv. Intell. Syst.},
volume = {2},
number = {3},
pages = {1900156},
year = {2020},
url = {https://doi.org/10.1002/aisy.201900156},
doi = {10.1002/AISY.201900156},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aisy/KimSSPAJKSK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aisy/XuPKSYPFKH20,
author = {Nuo Xu and
Tae Gyun Park and
Hae Jin Kim and
Xinglong Shao and
Kyung Jean Yoon and
Tae Hyung Park and
Liang Fang and
Kyung Min Kim and
Cheol Seong Hwang},
title = {A Stateful Logic Family Based on a New Logic Primitive Circuit Composed
of Two Antiparallel Bipolar Memristors},
journal = {Adv. Intell. Syst.},
volume = {2},
number = {1},
pages = {1900082},
year = {2020},
url = {https://doi.org/10.1002/aisy.201900082},
doi = {10.1002/AISY.201900082},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aisy/XuPKSYPFKH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-ipr/ParkB20,
author = {Kyung{-}Min Park and
Cherl{-}O. Bae},
title = {Smoke detection in ship engine rooms based on video images},
journal = {{IET} Image Process.},
volume = {14},
number = {6},
pages = {1141--1149},
year = {2020},
url = {https://doi.org/10.1049/iet-ipr.2018.5305},
doi = {10.1049/IET-IPR.2018.5305},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-ipr/ParkB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaeO20,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {Formal aspects of component software {(FACS} 2018)},
journal = {Sci. Comput. Program.},
volume = {200},
pages = {102547},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102547},
doi = {10.1016/J.SCICO.2020.102547},
timestamp = {Tue, 24 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BaeO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/LeeGL20,
author = {Il{-}Gu Lee and
Kyungmin Go and
Jung Hoon Lee},
title = {Battery Draining Attack and Defense against Power Saving Wireless
{LAN} Devices},
journal = {Sensors},
volume = {20},
number = {7},
pages = {2043},
year = {2020},
url = {https://doi.org/10.3390/s20072043},
doi = {10.3390/S20072043},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/LeeGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/AbdelhamedATBCZ20,
author = {Abdelrahman Abdelhamed and
Mahmoud Afifi and
Radu Timofte and
Michael S. Brown and
Yue Cao and
Zhilu Zhang and
Wangmeng Zuo and
Xiaoling Zhang and
Jiye Liu and
Wendong Chen and
Changyuan Wen and
Meng Liu and
Shuailin Lv and
Yunchao Zhang and
Zhihong Pan and
Baopu Li and
Teng Xi and
Yanwen Fan and
Xiyu Yu and
Gang Zhang and
Jingtuo Liu and
Junyu Han and
Errui Ding and
Songhyun Yu and
Bumjun Park and
Jechang Jeong and
Shuai Liu and
Ziyao Zong and
Nan Nan and
Chenghua Li and
Zengli Yang and
Long Bao and
Shuangquan Wang and
Dongwoon Bai and
Jungwon Lee and
Youngjung Kim and
Kyeongha Rho and
Changyeop Shin and
Sungho Kim and
Pengliang Tang and
Yiyun Zhao and
Yuqian Zhou and
Yuchen Fan and
Thomas S. Huang and
Zhihao Li and
Nisarg A. Shah and
Wei Liu and
Qiong Yan and
Yuzhi Zhao and
Marcin Mozejko and
Tomasz Latkowski and
Lukasz Treszczotko and
Michal Szafraniuk and
Krzysztof Trojanowski and
Yanhong Wu and
Pablo Navarrete Michelini and
Fengshuo Hu and
Yunhua Lu and
Sujin Kim and
Wonjin Kim and
Jaayeon Lee and
Jang{-}Hwan Choi and
Magauiya Zhussip and
Azamat Khassenov and
Jong Hyun Kim and
Hwechul Cho and
Priya Kansal and
Sabari Nathan and
Zhangyu Ye and
Xiwen Lu and
Yaqi Wu and
Jiangxin Yang and
Yanlong Cao and
Siliang Tang and
Yanpeng Cao and
Matteo Maggioni and
Ioannis Marras and
Thomas Tanay and
Gregory G. Slabaugh and
Youliang Yan and
Myungjoo Kang and
Han{-}Soo Choi and
Kyungmin Song and
Shusong Xu and
Xiaomu Lu and
Tingniao Wang and
Chunxia Lei and
Bin Liu and
Rajat Gupta and
Vineet Kumar},
title = {{NTIRE} 2020 Challenge on Real Image Denoising: Dataset, Methods and
Results},
booktitle = {2020 {IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} Workshops 2020, Seattle, WA, USA, June 14-19, 2020},
pages = {2077--2088},
publisher = {Computer Vision Foundation / {IEEE}},
year = {2020},
url = {https://openaccess.thecvf.com/content\_CVPRW\_2020/html/w31/Abdelhamed\_NTIRE\_2020\_Challenge\_on\_Real\_Image\_Denoising\_Dataset\_Methods\_and\_CVPRW\_2020\_paper.html},
doi = {10.1109/CVPRW50498.2020.00256},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/AbdelhamedATBCZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/ChoiKPYLKSL20,
author = {Jun{-}Ho Choi and
Kyungmin Kim and
Taejin Park and
Junho Yun and
Jong{-}Hwan Lee and
Songkuk Kim and
Hyunjung Shim and
Jong{-}Seok Lee},
title = {Real-time Integrated Human Activity Recognition System based on Multimodal
User Understanding},
booktitle = {{IUI} '20: 25th International Conference on Intelligent User Interfaces,
Cagliari, Italy, March 17-20, 2020, Companion},
pages = {89--90},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3379336.3381482},
doi = {10.1145/3379336.3381482},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iui/ChoiKPYLKSL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2020formalise,
editor = {Kyungmin Bae and
Domenico Bianculli and
Stefania Gnesi and
Nico Plat},
title = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372020},
doi = {10.1145/3372020},
isbn = {978-1-4503-7071-4},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2020formalise.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-00577,
author = {Kwangyoun Kim and
Kyungmin Lee and
Dhananjaya Gowda and
Junmo Park and
Sungsoo Kim and
Sichen Jin and
Young{-}Yoon Lee and
Jinsu Yeo and
Daehyun Kim and
Seokyeong Jung and
Jungin Lee and
Myoungji Han and
Chanwoo Kim},
title = {Attention based on-device streaming speech recognition with large
speech corpus},
journal = {CoRR},
volume = {abs/2001.00577},
year = {2020},
url = {http://arxiv.org/abs/2001.00577},
eprinttype = {arXiv},
eprint = {2001.00577},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-00577.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-04117,
author = {Abdelrahman Abdelhamed and
Mahmoud Afifi and
Radu Timofte and
Michael S. Brown and
Yun Cao and
Zhilu Zhang and
Wangmeng Zuo and
Xiaoling Zhang and
Jiye Liu and
Wendong Chen and
Changyuan Wen and
Meng Liu and
Shuailin Lv and
Yunchao Zhang and
Zhihong Pan and
Baopu Li and
Teng Xi and
Yanwen Fan and
Xiyu Yu and
Gang Zhang and
Jingtuo Liu and
Junyu Han and
Errui Ding and
Songhyun Yu and
Bumjun Park and
Jechang Jeong and
Shuai Liu and
Ziyao Zong and
Nan Nan and
Chenghua Li and
Zengli Yang and
Long Bao and
Shuangquan Wang and
Dongwoon Bai and
Jungwon Lee and
Youngjung Kim and
Kyeongha Rho and
Changyeop Shin and
Sungho Kim and
Pengliang Tang and
Yiyun Zhao and
Yuqian Zhou and
Yuchen Fan and
Thomas S. Huang and
Zhihao Li and
Nisarg A. Shah and
Wei Liu and
Qiong Yan and
Yuzhi Zhao and
Marcin Mozejko and
Tomasz Latkowski and
Lukasz Treszczotko and
Michal Szafraniuk and
Krzysztof Trojanowski and
Yanhong Wu and
Pablo Navarrete Michelini and
Fengshuo Hu and
Yunhua Lu and
Sujin Kim and
Wonjin Kim and
Jaayeon Lee and
Jang{-}Hwan Choi and
Magauiya Zhussip and
Azamat Khassenov and
Jong Hyun Kim and
Hwechul Cho and
Priya Kansal and
Sabari Nathan and
Zhangyu Ye and
Xiwen Lu and
Yaqi Wu and
Jiangxin Yang and
Yanlong Cao and
Siliang Tang and
Yanpeng Cao and
Matteo Maggioni and
Ioannis Marras and
Thomas Tanay and
Gregory G. Slabaugh and
Youliang Yan and
Myungjoo Kang and
Han{-}Soo Choi and
Kyungmin Song and
Shusong Xu and
Xiaomu Lu and
Tingniao Wang and
Chunxia Lei and
Bin Liu and
Rajat Gupta and
Vineet Kumar},
title = {{NTIRE} 2020 Challenge on Real Image Denoising: Dataset, Methods and
Results},
journal = {CoRR},
volume = {abs/2005.04117},
year = {2020},
url = {https://arxiv.org/abs/2005.04117},
eprinttype = {arXiv},
eprint = {2005.04117},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-04117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-11747,
author = {Kyungmin Lee and
Hyunwhan Joe and
Hyeontaek Lim and
Kwangyoun Kim and
Sungsoo Kim and
Chang Woo Han and
Hong{-}Gee Kim},
title = {Sequential Routing Framework: Fully Capsule Network-based Speech Recognition},
journal = {CoRR},
volume = {abs/2007.11747},
year = {2020},
url = {https://arxiv.org/abs/2007.11747},
eprinttype = {arXiv},
eprint = {2007.11747},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-11747.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-11794,
author = {Kyungmin Lee and
Chiyoun Park and
Ilhwan Kim and
Namhoon Kim and
Jaewon Lee},
title = {Applying {GPGPU} to Recurrent Neural Network Language Model based
Fast Network Search in the Real-Time {LVCSR}},
journal = {CoRR},
volume = {abs/2007.11794},
year = {2020},
url = {https://arxiv.org/abs/2007.11794},
eprinttype = {arXiv},
eprint = {2007.11794},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-11794.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KangSK19,
author = {Bong Gu Kang and
Kyung{-}Min Seo and
Tag Gon Kim},
title = {Model-Based Design of Defense Cyber-Physical Systems to Analyze Mission
Effectiveness and Network Performance},
journal = {{IEEE} Access},
volume = {7},
pages = {42063--42080},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2907566},
doi = {10.1109/ACCESS.2019.2907566},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/KangSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BaeL19,
author = {Kyungmin Bae and
Jia Lee},
title = {Bounded model checking of signal temporal logic properties using syntactic
separation},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {51:1--51:30},
year = {2019},
url = {https://doi.org/10.1145/3290364},
doi = {10.1145/3290364},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BaeL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaeR19,
author = {Kyungmin Bae and
Camilo Rocha},
title = {Symbolic state space reduction with guarded terms for rewriting modulo
{SMT}},
journal = {Sci. Comput. Program.},
volume = {178},
pages = {20--42},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.03.006},
doi = {10.1016/J.SCICO.2019.03.006},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BaeR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/KangSK19,
author = {Bong Gu Kang and
Kyung{-}Min Seo and
Tag Gon Kim},
title = {Machine learning-based discrete event dynamic surrogate model of communication
systems for simulating the command, control, and communication system
of systems},
journal = {Simul.},
volume = {95},
number = {8},
year = {2019},
url = {https://doi.org/10.1177/0037549718809890},
doi = {10.1177/0037549718809890},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simulation/KangSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tog/HongHCSN19,
author = {Seokpyo Hong and
Daseong Han and
Kyungmin Cho and
Joseph S. Shin and
Junyong Noh},
title = {Physics-based full-body soccer motion control for dribbling and shooting},
journal = {{ACM} Trans. Graph.},
volume = {38},
number = {4},
pages = {74:1--74:12},
year = {2019},
url = {https://doi.org/10.1145/3306346.3322963},
doi = {10.1145/3306346.3322963},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tog/HongHCSN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asru/KimJLHKLGPKJLYK19,
author = {Kwangyoun Kim and
Seokyeong Jung and
Jungin Lee and
Myoungji Han and
Chanwoo Kim and
Kyungmin Lee and
Dhananjaya Gowda and
Junmo Park and
Sungsoo Kim and
Sichen Jin and
Young{-}Yoon Lee and
Jinsu Yeo and
Daehyun Kim},
title = {Attention Based On-Device Streaming Speech Recognition with Large
Speech Corpus},
booktitle = {{IEEE} Automatic Speech Recognition and Understanding Workshop, {ASRU}
2019, Singapore, December 14-18, 2019},
pages = {956--963},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASRU46091.2019.9004027},
doi = {10.1109/ASRU46091.2019.9004027},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asru/KimJLHKLGPKJLYK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/LeeKSGPR19,
author = {Kyung{-}Min Lee and
Dae{-}Hyun Kim and
Jae{-}Hyuck Shin and
Tae{-}Dong Goh and
Jun{-}Hyeong Park and
Young{-}Ho Ryu},
title = {Reconfigurable battery system with active balancing circuit},
booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics
Society, Lisbon, Portugal, October 14-17, 2019},
pages = {4583--4586},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IECON.2019.8927747},
doi = {10.1109/IECON.2019.8927747},
timestamp = {Wed, 01 Jan 2020 14:47:53 +0100},
biburl = {https://dblp.org/rec/conf/iecon/LeeKSGPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ChoKKPKLKCK18,
author = {Seonghee Cho and
Kyungmin Kim and
Taehoon Kim and
Hyoeun Park and
Jin{-}Moo Kim and
SeungHoon Lee and
Yeonsu Kang and
Kiyuk Chang and
Chulhong Kim},
title = {High-Contrast Imaging of Cholesterol Crystals in Rabbit Arteries Ex
Vivo Using LED-Based Polarization Microscopy},
journal = {Sensors},
volume = {18},
number = {4},
pages = {1258},
year = {2018},
url = {https://doi.org/10.3390/s18041258},
doi = {10.3390/S18041258},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/ChoKKPKLKCK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/LeeLCK18,
author = {Sang{-}Won Lee and
Kyung{-}Min Lee and
Yoon{-}Geol Choi and
Bongkoo Kang},
title = {Modularized Design of Active Charge Equalizer for Li-Ion Battery Pack},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {65},
number = {11},
pages = {8697--8706},
year = {2018},
url = {https://doi.org/10.1109/TIE.2018.2813997},
doi = {10.1109/TIE.2018.2813997},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/LeeLCK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biorob/YooLKKHPC18,
author = {Ami Yoo and
Kyungmin Lee and
Byungjeon Kang and
Chang{-}Sei Kim and
Jiwon Han and
Jong{-}Oh Park and
Eunpyo Choi},
title = {Actively Controllable Stem Cell Spheroid-based Microrobot for Tissue
Regeneration},
booktitle = {7th {IEEE} International Conference on Biomedical Robotics and Biomechatronics,
BioRob 2018, Enschede, The Netherlands, August 26-29, 2018},
pages = {1286--1290},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/BIOROB.2018.8488086},
doi = {10.1109/BIOROB.2018.8488086},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/biorob/YooLKKHPC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/ShimKKK18,
author = {Minho Shim and
Young Hwi Kim and
Kyungmin Kim and
Seon Joo Kim},
editor = {Vittorio Ferrari and
Martial Hebert and
Cristian Sminchisescu and
Yair Weiss},
title = {Teaching Machines to Understand Baseball Games: Large-Scale Baseball
Video Database for Multiple Video Understanding Tasks},
booktitle = {Computer Vision - {ECCV} 2018 - 15th European Conference, Munich,
Germany, September 8-14, 2018, Proceedings, Part {XV}},
series = {Lecture Notes in Computer Science},
volume = {11219},
pages = {420--437},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01267-0\_25},
doi = {10.1007/978-3-030-01267-0\_25},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eccv/ShimKKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enter/RyuCC18,
author = {Sunghan Ryu and
Kyungmin Choi and
Daegon Cho},
editor = {Brigitte Stangl and
Juho Pesonen},
title = {Behaviour-Based Market Segmentation of Travellers and Their Different
Activities at Peer-to-Peer Online Travel Marketplace},
booktitle = {Information and Communication Technologies in Tourism 2018, {ENTER}
2018, Proceedings of the International Conference in J{\"{o}}nk{\"{o}}ping,
Sweden, January 24-26, 2018},
pages = {31--43},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72923-7\_3},
doi = {10.1007/978-3-319-72923-7\_3},
timestamp = {Fri, 08 Feb 2019 07:44:08 +0100},
biburl = {https://dblp.org/rec/conf/enter/RyuCC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/LeePKL18,
author = {Kyungmin Lee and
Chiyoun Park and
Namhoon Kim and
Jaewon Lee},
title = {Accelerating Recurrent Neural Network Language Model Based Online
Speech Recognition System},
booktitle = {2018 {IEEE} International Conference on Acoustics, Speech and Signal
Processing, {ICASSP} 2018, Calgary, AB, Canada, April 15-20, 2018},
pages = {5904--5908},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICASSP.2018.8462334},
doi = {10.1109/ICASSP.2018.8462334},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icassp/LeePKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isscc/LeeKKJJKLKPLKLL18,
author = {Seungjae Lee and
Chulbum Kim and
Minsu Kim and
Sung{-}Min Joe and
Joonsuc Jang and
Seungbum Kim and
Kangbin Lee and
Jisu Kim and
Jiyoon Park and
Hanjun Lee and
Min{-}Seok Kim and
Seonyong Lee and
SeonGeon Lee and
Jinbae Bang and
Dongjin Shin and
Hwajun Jang and
Deokwoo Lee and
Nahyun Kim and
Jonghoo Jo and
Jonghoon Park and
Sohyun Park and
Youngsik Rho and
Yongha Park and
Hojoon Kim and
Cheon An Lee and
Chungho Yu and
Young{-}Sun Min and
Moosung Kim and
Kyungmin Kim and
Seunghyun Moon and
Hyun{-}Jin Kim and
Youngdon Choi and
YoungHwan Ryu and
Jinwon Choi and
Minyeong Lee and
Jungkwan Kim and
Gyo Soo Choo and
Jeong{-}Don Lim and
Dae{-}Seok Byeon and
Ki{-}Whan Song and
Ki{-}Tae Park and
Kyehyun Kyung},
title = {A 1Tb 4b/cell 64-stacked-WL 3D {NAND} flash memory with 12MB/s program
throughput},
booktitle = {2018 {IEEE} International Solid-State Circuits Conference, {ISSCC}
2018, San Francisco, CA, USA, February 11-15, 2018},
pages = {340--342},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ISSCC.2018.8310323},
doi = {10.1109/ISSCC.2018.8310323},
timestamp = {Wed, 04 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isscc/LeeKKJJKLKPLKLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2018,
editor = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {Formal Aspects of Component Software - 15th International Conference,
{FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11222},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02146-7},
doi = {10.1007/978-3-030-02146-7},
isbn = {978-3-030-02145-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-09866,
author = {Kyungmin Lee and
Chiyoun Park and
Namhoon Kim and
Jaewon Lee},
title = {Accelerating recurrent neural network language model based online
speech recognition system},
journal = {CoRR},
volume = {abs/1801.09866},
year = {2018},
url = {http://arxiv.org/abs/1801.09866},
eprinttype = {arXiv},
eprint = {1801.09866},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-09866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/AminantoKKK17,
author = {Muhamad Erza Aminanto and
Hakju Kim and
Kyung{-}Min Kim and
Kwangjo Kim},
title = {Another Fuzzy Anomaly Detection System Based on Ant Clustering Algorithm},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {100-A},
number = {1},
pages = {176--183},
year = {2017},
url = {https://doi.org/10.1587/transfun.E100.A.176},
doi = {10.1587/TRANSFUN.E100.A.176},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/AminantoKKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvca/JungHCECN17,
author = {Sunjin Jung and
Seokpyo Hong and
Kyungmin Cho and
Haegwang Eom and
Byungkuk Choi and
Junyong Noh},
title = {Age-related gait motion transformation based on biomechanical observations},
journal = {Comput. Animat. Virtual Worlds},
volume = {28},
number = {3-4},
year = {2017},
url = {https://doi.org/10.1002/cav.1774},
doi = {10.1002/CAV.1774},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvca/JungHCECN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/LeeLCK17,
author = {Kyung{-}Min Lee and
Sang{-}Won Lee and
Yoon{-}Geol Choi and
Bongkoo Kang},
title = {Active Balancing of Li-Ion Battery Cells Using Transformer as Energy
Carrier},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {64},
number = {2},
pages = {1251--1257},
year = {2017},
url = {https://doi.org/10.1109/TIE.2016.2611481},
doi = {10.1109/TIE.2016.2611481},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/LeeLCK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/KimKL17,
author = {Jinhwan Kim and
Kyungmin Kim and
Jaiyong Lee},
title = {Energy-Efficient Relay Selection of Cooperative {HARQ} Based on the
Number of Transmissions Over Rayleigh Fading Channels},
journal = {{IEEE} Trans. Veh. Technol.},
volume = {66},
number = {1},
pages = {610--621},
year = {2017},
url = {https://doi.org/10.1109/TVT.2016.2533624},
doi = {10.1109/TVT.2016.2533624},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvt/KimKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/ChoiJCC17,
author = {Bareum Choi and
Kyungmin Jo and
Songe Choi and
Jaesoon Choi},
title = {Surgical-tools detection based on Convolutional Neural Network in
laparoscopic robot-assisted surgery},
booktitle = {2017 39th Annual International Conference of the {IEEE} Engineering
in Medicine and Biology Society (EMBC), Jeju Island, South Korea,
July 11-15, 2017},
pages = {1756--1759},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/EMBC.2017.8037183},
doi = {10.1109/EMBC.2017.8037183},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/embc/ChoiJCC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BaeR17,
author = {Kyungmin Bae and
Camilo Rocha},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Markus Lumpe},
title = {Guarded Terms for Rewriting Modulo {SMT}},
booktitle = {Formal Aspects of Component Software - 14th International Conference,
{FACS} 2017, Braga, Portugal, October 10-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10487},
pages = {78--97},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68034-7\_5},
doi = {10.1007/978-3-319-68034-7\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BaeR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BaeG17,
author = {Kyungmin Bae and
Sicun Gao},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Modular SMT-based analysis of nonlinear hybrid systems},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {180--187},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102258},
doi = {10.23919/FMCAD.2017.8102258},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BaeG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robio/LeKKLH0CKP17,
author = {Viet Ha Le and
Byungjeon Kang and
Jayoung Kim and
Kyungmin Lee and
Manh Cuong Hoang and
Van Du Nguyen and
Eunpyo Choi and
Chang{-}Sei Kim and
Jong{-}Oh Park},
title = {Non-invasive active capsule endoscope integrated targeting biopsy
function based on electro-mangetic actuation system},
booktitle = {2017 {IEEE} International Conference on Robotics and Biomimetics,
{ROBIO} 2017, Macau, China, December 5-8, 2017},
pages = {2309--2313},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ROBIO.2017.8324763},
doi = {10.1109/ROBIO.2017.8324763},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robio/LeKKLH0CKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/es/YunLL16,
author = {Unil Yun and
Gangin Lee and
Kyung{-}Min Lee},
title = {Efficient representative pattern mining based on weight and maximality
conditions},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {33},
number = {5},
pages = {439--462},
year = {2016},
url = {https://doi.org/10.1111/exsy.12158},
doi = {10.1111/EXSY.12158},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/es/YunLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ficn/GohelLKAKKK16,
author = {Bakul Gohel and
Sanghyun Lim and
Min{-}Young Kim and
Kyung{-}min An and
Ji{-}Eun Kim and
Hyukchan Kwon and
Kiwoong Kim},
title = {Evaluation of Phase-Amplitude Coupling in Resting State Magnetoencephalographic
Signals: Effect of Surrogates and Evaluation Approach},
journal = {Frontiers Comput. Neurosci.},
volume = {10},
pages = {120},
year = {2016},
url = {https://doi.org/10.3389/fncom.2016.00120},
doi = {10.3389/FNCOM.2016.00120},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ficn/GohelLKAKKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/irob/LeeLYKB16,
author = {Chang{-}Hyuk Lee and
Kyung{-}min Lee and
Je Hong Yoo and
In{-}su Kim and
Young{-}Bong Bang},
title = {A compact stair-climbing wheelchair with two 3-DOF legs and a 1-DOF
base},
journal = {Ind. Robot},
volume = {43},
number = {2},
pages = {181--192},
year = {2016},
url = {https://doi.org/10.1108/IR-05-2015-0085},
doi = {10.1108/IR-05-2015-0085},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/irob/LeeLYKB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jifs/YunKRLL16,
author = {Unil Yun and
Donggyu Kim and
Heungmo Ryang and
Gangin Lee and
Kyung{-}Min Lee},
title = {Mining recent high average utility patterns based on sliding window
from stream data},
journal = {J. Intell. Fuzzy Syst.},
volume = {30},
number = {6},
pages = {3605--3617},
year = {2016},
url = {https://doi.org/10.3233/IFS-162106},
doi = {10.3233/IFS-162106},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jifs/YunKRLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/GoKBK16,
author = {Kyungmin Go and
Sungwon Kang and
Jongmoon Baik and
Myungchul Kim},
title = {Pairwise testing for systems with data derived from real-valued variable
inputs},
journal = {Softw. Pract. Exp.},
volume = {46},
number = {3},
pages = {381--403},
year = {2016},
url = {https://doi.org/10.1002/spe.2295},
doi = {10.1002/SPE.2295},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/spe/GoKBK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/LeeLHCB16,
author = {Kyung{-}min Lee and
Chang{-}Hyuk Lee and
Soonwook Hwang and
Jiwon Choi and
Young{-}Bong Bang},
title = {Power-Assisted Wheelchair With Gravity and Friction Compensation},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {63},
number = {4},
pages = {2203--2211},
year = {2016},
url = {https://doi.org/10.1109/TIE.2016.2514357},
doi = {10.1109/TIE.2016.2514357},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/LeeLHCB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/LeeYL16,
author = {Gangin Lee and
Unil Yun and
Kyung{-}Min Lee},
title = {Analysis of tree-based uncertain frequent pattern mining techniques
without pattern losses},
journal = {J. Supercomput.},
volume = {72},
number = {11},
pages = {4296--4318},
year = {2016},
url = {https://doi.org/10.1007/s11227-016-1847-z},
doi = {10.1007/S11227-016-1847-Z},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/LeeYL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GoldmanBPMB16,
author = {Robert P. Goldman and
Daniel Bryce and
Michael J. S. Pelican and
David J. Musliner and
Kyungmin Bae},
editor = {Daniele Magazzeni and
Scott Sanner and
Sylvie Thi{\'{e}}baux},
title = {An Architecture for Hybrid Planning and Execution},
booktitle = {Planning for Hybrid Systems, Papers from the 2016 {AAAI} Workshop,
Phoenix, Arizona, USA, February 13, 2016},
series = {{AAAI} Technical Report},
volume = {{WS-16-12}},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12622},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GoldmanBPMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/JoCCMC16,
author = {Kyungmin Jo and
Bareum Choi and
Songe Choi and
Youngjin Moon and
Jaesoon Choi},
title = {Automatic detection of hemorrhage and surgical instrument in laparoscopic
surgery image},
booktitle = {38th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2016, Orlando, FL, USA, August
16-20, 2016},
pages = {1260--1263},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/EMBC.2016.7590935},
doi = {10.1109/EMBC.2016.7590935},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/embc/JoCCMC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BaeOKGC16,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky and
Soonho Kong and
Sicun Gao and
Edmund M. Clarke},
editor = {Alessandro Abate and
Georgios Fainekos},
title = {SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems},
booktitle = {Proceedings of the 19th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
2016},
pages = {145--154},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2883817.2883849},
doi = {10.1145/2883817.2883849},
timestamp = {Fri, 13 Aug 2021 11:37:40 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BaeOKGC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/ZhengSLGKK16,
author = {Le Zheng and
Sangho Shin and
G. Scott Lloyd and
Maya B. Gokhale and
Kyungmin Kim and
Sung{-}Mo Kang},
title = {RRAM-based TCAMs for pattern search},
booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2016,
Montr{\'{e}}al, QC, Canada, May 22-25, 2016},
pages = {1382--1385},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ISCAS.2016.7527507},
doi = {10.1109/ISCAS.2016.7527507},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscas/ZhengSLGKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GoldmanBPMB16,
author = {Robert P. Goldman and
Daniel Bryce and
Michael J. S. Pelican and
David J. Musliner and
Kyungmin Bae},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {A Hybrid Architecture for Correct-by-Construction Hybrid Planning
and Control},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {388--394},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_29},
doi = {10.1007/978-3-319-40648-0\_29},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/GoldmanBPMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/HeZLSB16,
author = {Xudong He and
Reng Zeng and
Su Liu and
Zhuo Sun and
Kyungmin Bae},
title = {A Term Rewriting Approach to Analyze High Level Petri Nets},
booktitle = {10th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2016, Shanghai, China, July 17-19, 2016},
pages = {109--112},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/TASE.2016.11},
doi = {10.1109/TASE.2016.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/HeZLSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaeKMO15,
author = {Kyungmin Bae and
Joshua Krisiloff and
Jos{\'{e}} Meseguer and
Peter Csaba {\"{O}}lveczky},
title = {Designing and verifying distributed cyber-physical systems using Multirate
{PALS:} An airplane turning control system case study},
journal = {Sci. Comput. Program.},
volume = {103},
pages = {13--50},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.09.011},
doi = {10.1016/J.SCICO.2014.09.011},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BaeKMO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaeM15,
author = {Kyungmin Bae and
Jos{\'{e}} Meseguer},
title = {Model checking linear temporal logic of rewriting formulas under localized
fairness},
journal = {Sci. Comput. Program.},
volume = {99},
pages = {193--234},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.02.006},
doi = {10.1016/J.SCICO.2014.02.006},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BaeM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/LeeCSK15,
author = {Kyung Min Lee and
Yoochae Chung and
Chang{-}Hyeon Sung and
Bongkoo Kang},
title = {Active Cell Balancing of Li-Ion Batteries Using {LC} Series Resonant
Circuit},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {62},
number = {9},
pages = {5491--5501},
year = {2015},
url = {https://doi.org/10.1109/TIE.2015.2408573},
doi = {10.1109/TIE.2015.2408573},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/LeeCSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaeO15,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Hybrid Multirate {PALS}},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {114--134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_5},
doi = {10.1007/978-3-319-23165-5\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaeO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/BaeKG15,
author = {Kyungmin Bae and
Soonho Kong and
Sicun Gao},
editor = {Goran Frehse and
Matthias Althoff},
title = {{SMT} Encoding of Hybrid Systems in dReal},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {188--195},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/s3b9},
doi = {10.29007/S3B9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/BaeKG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/LeePKKL15,
author = {Kyungmin Lee and
Chiyoun Park and
Ilhwan Kim and
Namhoon Kim and
Jaewon Lee},
title = {Applying {GPGPU} to recurrent neural network language model based
fast network search in the real-time {LVCSR}},
booktitle = {16th Annual Conference of the International Speech Communication Association,
{INTERSPEECH} 2015, Dresden, Germany, September 6-10, 2015},
pages = {2102--2106},
publisher = {{ISCA}},
year = {2015},
url = {https://doi.org/10.21437/Interspeech.2015-475},
doi = {10.21437/INTERSPEECH.2015-475},
timestamp = {Tue, 11 Jun 2024 16:45:43 +0200},
biburl = {https://dblp.org/rec/conf/interspeech/LeePKKL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Bae14,
author = {Kyungmin Bae},
title = {Rewriting-based model checking methods},
school = {University of Illinois Urbana-Champaign, {USA}},
year = {2014},
url = {https://hdl.handle.net/2142/50553},
timestamp = {Fri, 29 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Bae14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaeMO14,
author = {Kyungmin Bae and
Jos{\'{e}} Meseguer and
Peter Csaba {\"{O}}lveczky},
title = {Formal patterns for multirate distributed real-time systems},
journal = {Sci. Comput. Program.},
volume = {91},
pages = {3--44},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.09.010},
doi = {10.1016/J.SCICO.2013.09.010},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BaeMO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/SeoCKK14,
author = {Kyung{-}Min Seo and
Chang Beom Choi and
Tag Gon Kim and
Jung Hoon Kim},
title = {DEVS-based combat modeling for engagement-level simulation},
journal = {Simul.},
volume = {90},
number = {7},
pages = {759--781},
year = {2014},
url = {https://doi.org/10.1177/0037549714532960},
doi = {10.1177/0037549714532960},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simulation/SeoCKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/NguyenONB14,
author = {T. T. Ngoc Nguyen and
Sai Kiran Oruganti and
Kyungmin Na and
Franklin Bien},
title = {An Adaptive Backward Control Battery Equalization System for Serially
Connected Lithium-ion Battery Packs},
journal = {{IEEE} Trans. Veh. Technol.},
volume = {63},
number = {8},
pages = {3651--3660},
year = {2014},
url = {https://doi.org/10.1109/TVT.2014.2304453},
doi = {10.1109/TVT.2014.2304453},
timestamp = {Sun, 31 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvt/NguyenONB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BaeOM14,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky and
Jos{\'{e}} Meseguer},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Definition, Semantics, and Analysis of Multirate Synchronous {AADL}},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {94--109},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_7},
doi = {10.1007/978-3-319-06410-9\_7},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BaeOM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/ChangH14,
author = {Kyungmin Chang and
Dongsoo Han},
editor = {Rolf A. de By and
Carola Wenk},
title = {Crowdsourcing-based radio map update automation for wi-fi positioning
systems},
booktitle = {Proceedings of the 3rd {ACM} {SIGSPATIAL} International Workshop on
Crowdsourced and Volunteered Geographic Information, GeoCrowd '14,
Dallas, Texas, USA, November 4, 2014},
pages = {24--31},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2676440.2676441},
doi = {10.1145/2676440.2676441},
timestamp = {Sun, 12 Nov 2023 02:14:39 +0100},
biburl = {https://dblp.org/rec/conf/gis/ChangH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BaeM14,
author = {Kyungmin Bae and
Jos{\'{e}} Meseguer},
editor = {Gilles Dowek},
title = {Predicate Abstraction of Rewrite Theories},
booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
{RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8560},
pages = {61--76},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08918-8\_5},
doi = {10.1007/978-3-319-08918-8\_5},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BaeM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/urai/LiuSJS14,
author = {Yanheng Liu and
Myeongseok Shin and
Kyungmin Jeong and
TaeWon Seo},
title = {Dry adhesion optimization design for a wall-climbing robot based on
experiment},
booktitle = {11th International Conference on Ubiquitous Robots and Ambient Intelligence,
{URAI} 2014, Kuala Lumpur, Malaysia, November 12-15, 2014},
pages = {216--219},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/URAI.2014.7057435},
doi = {10.1109/URAI.2014.7057435},
timestamp = {Wed, 19 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/urai/LiuSJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BaeM14,
author = {Kyungmin Bae and
Jos{\'{e}} Meseguer},
editor = {Santiago Escobar},
title = {Infinite-State Model Checking of {LTLR} Formulas Using Narrowing},
booktitle = {Rewriting Logic and Its Applications - 10th International Workshop,
{WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
April 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8663},
pages = {113--129},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12904-4\_6},
doi = {10.1007/978-3-319-12904-4\_6},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/BaeM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejivp/LeeKLKL13,
author = {Jaeho Lee and
Seongwan Kim and
Kyungmin Lim and
Jae Kim and
Sangyoun Lee},
title = {Fast intermode decision algorithm based on general and local residual
complexity in {H.264/AVC}},
journal = {{EURASIP} J. Image Video Process.},
volume = {2013},
pages = {30},
year = {2013},
url = {https://doi.org/10.1186/1687-5281-2013-30},
doi = {10.1186/1687-5281-2013-30},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejivp/LeeKLKL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdsn/KimPJHKK13,
author = {Kyungmin Kim and
Kwang{-}Il Park and
Yewon Jeong and
June Seok Hong and
Hak{-}Jin Kim and
Wooju Kim},
title = {{HMM} and Rule-Based Hybrid Intruder Detection Approach by Synthesizing
Decisions of Sensors},
journal = {Int. J. Distributed Sens. Networks},
volume = {9},
year = {2013},
url = {https://doi.org/10.1155/2013/503965},
doi = {10.1155/2013/503965},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijdsn/KimPJHKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/HongSK13,
author = {Jeong{-}Hee Hong and
Kyung{-}Min Seo and
Tag Gon Kim},
title = {Simulation-based optimization for design parameter exploration in
hybrid system: a defense system example},
journal = {Simul.},
volume = {89},
number = {3},
pages = {362--380},
year = {2013},
url = {https://doi.org/10.1177/0037549712466707},
doi = {10.1177/0037549712466707},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simulation/HongSK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globalsip/SuR13,
author = {Kyungmin Su and
Kay A. Robbins},
title = {Content-based {EEG} database retrieval using a multiclass {SVM} classifier},
booktitle = {{IEEE} Global Conference on Signal and Information Processing, GlobalSIP
2013, Austin, TX, USA, December 3-5, 2013},
pages = {17--20},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/GlobalSIP.2013.6736800},
doi = {10.1109/GLOBALSIP.2013.6736800},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/globalsip/SuR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/SungLK13,
author = {Chang{-}Hyeon Sung and
Kyung{-}Min Lee and
Bongkoo Kang},
title = {Voltage equalizer for li-ion battery string using {LC} series resonance},
booktitle = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics
Society, Vienna, Austria, November 10-13, 2013},
pages = {1404--1409},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IECON.2013.6699338},
doi = {10.1109/IECON.2013.6699338},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/iecon/SungLK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/SuR13,
author = {Kyungmin Su and
Kay A. Robbins},
title = {A framework for content-based retrieval of {EEG} with applications
to neuroscience and beyond},
booktitle = {The 2013 International Joint Conference on Neural Networks, {IJCNN}
2013, Dallas, TX, USA, August 4-9, 2013},
pages = {1--8},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IJCNN.2013.6707106},
doi = {10.1109/IJCNN.2013.6707106},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/SuR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BaeEM13,
author = {Kyungmin Bae and
Santiago Escobar and
Jos{\'{e}} Meseguer},
editor = {Femke van Raamsdonk},
title = {Abstract Logical Model Checking of Infinite-State Systems Using Narrowing},
booktitle = {24th International Conference on Rewriting Techniques and Applications,
{RTA} 2013, June 24-26, 2013, Eindhoven, The Netherlands},
series = {LIPIcs},
volume = {21},
pages = {81--96},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.RTA.2013.81},
doi = {10.4230/LIPICS.RTA.2013.81},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BaeEM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icl/OhHKL12,
author = {BongHwan Oh and
Jechan Han and
Kyungmin Kim and
Jaiyong Lee},
title = {A New Receiver-Based Retransmission Scheme with {TFRC}},
journal = {{IEEE} Commun. Lett.},
volume = {16},
number = {12},
pages = {2091--2094},
year = {2012},
url = {https://doi.org/10.1109/LCOMM.2012.101712.121314},
doi = {10.1109/LCOMM.2012.101712.121314},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icl/OhHKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BaeOFLT12,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky and
Thomas Huining Feng and
Edward A. Lee and
Stavros Tripakis},
title = {Verifying hierarchical Ptolemy {II} discrete-event models using Real-Time
Maude},
journal = {Sci. Comput. Program.},
volume = {77},
number = {12},
pages = {1235--1271},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2010.10.002},
doi = {10.1016/J.SCICO.2010.10.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BaeOFLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BaeMO12,
author = {Kyungmin Bae and
Jos{\'{e}} Meseguer and
Peter Csaba {\"{O}}lveczky},
editor = {Corina S. Pasareanu and
Gwen Sala{\"{u}}n},
title = {Formal Patterns for Multi-rate Distributed Real-Time Systems},
booktitle = {Formal Aspects of Component Software, 9th International Symposium,
{FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7684},
pages = {1--18},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35861-6\_1},
doi = {10.1007/978-3-642-35861-6\_1},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BaeMO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BaeOMA12,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky and
Jos{\'{e}} Meseguer and
Abdullah Al{-}Nayeem},
editor = {Juan de Lara and
Andrea Zisman},
title = {The SynchAADL2Maude Tool},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {59--62},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_4},
doi = {10.1007/978-3-642-28872-2\_4},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/BaeOMA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BaeM12,
author = {Kyungmin Bae and
Jos{\'{e}} Meseguer},
editor = {Francisco Dur{\'{a}}n},
title = {Model Checking {LTLR} Formulas under Localized Fairness},
booktitle = {Rewriting Logic and Its Applications - 9th International Workshop,
{WRLA} 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia,
March 24-25, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7571},
pages = {99--117},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34005-5\_6},
doi = {10.1007/978-3-642-34005-5\_6},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/BaeM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-0038,
author = {Kyungmin Bae and
Joshua Krisiloff and
Jos{\'{e}} Meseguer and
Peter Csaba {\"{O}}lveczky},
editor = {Peter Csaba {\"{O}}lveczky and
Cyrille Artho},
title = {PALS-Based Analysis of an Airplane Multirate Control System in Real-Time
Maude},
booktitle = {Proceedings First International Workshop on Formal Techniques for
Safety-Critical Systems, {FTSCS} 2012, Kyoto, Japan, November 12,
2012},
series = {{EPTCS}},
volume = {105},
pages = {5--21},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.105.2},
doi = {10.4204/EPTCS.105.2},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-0038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/ParkKYK11,
author = {Kyungmin Park and
Chungha Koh and
Kang Jin Yoon and
Young Yong Kim},
title = {Dynamic Channel Adaptation for {IP} Based Split Spectrum Femto/Macro
Cellular Systems},
journal = {{IEICE} Trans. Commun.},
volume = {94-B},
number = {3},
pages = {694--697},
year = {2011},
url = {https://doi.org/10.1587/transcom.E94.B.694},
doi = {10.1587/TRANSCOM.E94.B.694},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/ParkKYK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BaeM11,
author = {Kyungmin Bae and
Jos{\'{e}} Meseguer},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {State/Event-Based {LTL} Model Checking under Parametric Generalized
Fairness},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {132--148},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_11},
doi = {10.1007/978-3-642-22110-1\_11},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BaeM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BaeOAM11,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky and
Abdullah Al{-}Nayeem and
Jos{\'{e}} Meseguer},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {Synchronous {AADL} and Its Formal Analysis in Real-Time Maude},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {651--667},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_43},
doi = {10.1007/978-3-642-24559-6\_43},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BaeOAM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/ShinKK11,
author = {Sangho Shin and
Kyungmin Kim and
Sung{-}Mo Kang},
title = {Complementary structure of memristive devices based passive memory
arrays},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2011), May
15-19 2011, Rio de Janeiro, Brazil},
pages = {321--324},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ISCAS.2011.5937567},
doi = {10.1109/ISCAS.2011.5937567},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscas/ShinKK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntcir/JeongJKM11,
author = {Yoonjae Jeong and
Gwan Jang and
Kyung{-}Min Kim and
Sung{-}Hyon Myaeng},
editor = {Noriko Kando and
Daisuke Ishikawa and
Miho Sugimoto},
title = {Geo-temporal Information Retrieval Based on Semantic Role Labeling
and Rank Aggregation},
booktitle = {Proceedings of the 9th {NTCIR} Workshop Meeting on Evaluation of Information
Access Technologies: Information Retrieval, Question Answering and
Cross-Lingual Information Access, NTCIR-9, National Center of Sciences,
Tokyo, Japan, December 6-9, 2011},
publisher = {National Institute of Informatics {(NII)}},
year = {2011},
url = {http://research.nii.ac.jp/ntcir/workshop/OnlineProceedings9/NTCIR/03-NTCIR9-GEOTIME-JeongY.pdf},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ntcir/JeongJKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ShinKK10,
author = {Sangho Shin and
Kyungmin Kim and
Sung{-}Mo Kang},
title = {Compact Models for Memristors Based on Charge-Flux Constitutive Relationships},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {29},
number = {4},
pages = {590--598},
year = {2010},
url = {https://doi.org/10.1109/TCAD.2010.2042891},
doi = {10.1109/TCAD.2010.2042891},
timestamp = {Tue, 27 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/ShinKK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ChoJJRS10,
author = {Kyungmin Cho and
Younghyun Ju and
SungJae Jo and
Yunseok Rhee and
Junehwa Song},
editor = {Sheikh Iqbal Ahamed and
Doo{-}Hwan Bae and
Sung Deok Cha and
Carl K. Chang and
Rajesh Subramanyan and
W. Eric Wong and
Hen{-}I Yang},
title = {A Scalable and Efficient Path Management Scheme for Internet-Based
Sensor Data Delivery Infrastructure},
booktitle = {Proceedings of the 34th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July
2010},
pages = {401--406},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/COMPSAC.2010.72},
doi = {10.1109/COMPSAC.2010.72},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ChoJJRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntcir/ParkRKM10,
author = {Keun{-}Chan Park and
Jihee Ryu and
Kyung{-}Min Kim and
Sung{-}Hyon Myaeng},
editor = {Tetsuya Sakai and
Mark Sanderson and
William Webber},
title = {A Game-based Evaluation Method for Subjective Tasks Involving Text
Content Analysis},
booktitle = {Proceedings of the 3rd International Workshop on Evaluating Information
Access, {EVIA} 2010, National Center of Sciences, Tokyo, Japan, June
15, 2010},
pages = {69--76},
publisher = {National Institute of Informatics {(NII)}},
year = {2010},
url = {http://research.nii.ac.jp/ntcir/workshop/OnlineProceedings8/EVIA/10-EVIA2010-ParkK.pdf},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ntcir/ParkRKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BaeM10,
author = {Kyungmin Bae and
Jos{\'{e}} Meseguer},
editor = {Peter Csaba {\"{O}}lveczky},
title = {The Linear Temporal Logic of Rewriting Maude Model Checker},
booktitle = {Rewriting Logic and Its Applications - 8th International Workshop,
{WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
March 20-21, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6381},
pages = {208--225},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16310-4\_14},
doi = {10.1007/978-3-642-16310-4\_14},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/BaeM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1009-4261,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
editor = {Peter Csaba {\"{O}}lveczky},
title = {Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical
{DE} Models},
booktitle = {Proceedings First International Workshop on Rewriting Techniques for
Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
2010},
series = {{EPTCS}},
volume = {36},
pages = {46--66},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.36.3},
doi = {10.4204/EPTCS.36.3},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-4261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BaeOFT09,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky and
Thomas Huining Feng and
Stavros Tripakis},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {Verifying Ptolemy {II} Discrete-Event Models Using Real-Time Maude},
booktitle = {Formal Methods and Software Engineering, 11th International Conference
on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
December 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {717--736},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_37},
doi = {10.1007/978-3-642-10373-5\_37},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BaeOFT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cse/HamBB08,
author = {Kyungmin Ham and
Heath A. Barnett and
Leslie G. Butler},
title = {Burning Issues in Tomography Analysis},
journal = {Comput. Sci. Eng.},
volume = {10},
number = {2},
pages = {78--81},
year = {2008},
url = {https://doi.org/10.1109/MCSE.2008.51},
doi = {10.1109/MCSE.2008.51},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cse/HamBB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaeM12,
author = {Kyungmin Bae and
Jos{\'{e}} Meseguer},
editor = {G{\"{u}}nter Kniesel and
Jorge Sousa Pinto},
title = {A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting},
booktitle = {Ninth International Workshop on Rule-Based Programming, {RULE} 2008,
Hagenberg, Austria, July 14-18, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {290},
pages = {19--36},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2012.11.009},
doi = {10.1016/J.ENTCS.2012.11.009},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BaeM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/YangKKLY07,
author = {Inseok Yang and
Donggil Kim and
Kyungmin Kang and
Dongik Lee and
Kyungsik Yoon},
editor = {Yann{-}Hang Lee and
Heung{-}Nam Kim and
Jong Kim and
Yongwan Park and
Laurence Tianruo Yang and
Sung Won Kim},
title = {Smart Actuator-Based Fault-Tolerant Control for Networked Safety-Critical
Embedded Systems},
booktitle = {Embedded Software and Systems, [Third] International Conference, {ICESS}
2007, Daegu, Korea, May 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4523},
pages = {615--626},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72685-2\_57},
doi = {10.1007/978-3-540-72685-2\_57},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icess/YangKKLY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/HuhLCJK06,
author = {Jinwook Huh and
Kyungmin Lee and
Wan Kyun Chung and
Woong Shik Jeong and
Kyung Keun Kim},
title = {Mobile Robot Exploration in Indoor Environment Using Topological Structure
with Invisible Barcode},
booktitle = {2006 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2006, October 9-15, 2006, Beijing, China},
pages = {5265--5272},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IROS.2006.282025},
doi = {10.1109/IROS.2006.282025},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/HuhLCJK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isnn/KimBPKMKK06,
author = {Yejin Kim and
Hyeon Bae and
Kyungmin Poo and
Jongrack Kim and
Taesup Moon and
Sungshin Kim and
Changwon Kim},
editor = {Jun Wang and
Zhang Yi and
Jacek M. Zurada and
Bao{-}Liang Lu and
Hujun Yin},
title = {Soft Sensor Using {PNN} Model and Rule Base for Wastewater Treatment
Plant},
booktitle = {Advances in Neural Networks - {ISNN} 2006, Third International Symposium
on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {3973},
pages = {1261--1269},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11760191\_184},
doi = {10.1007/11760191\_184},
timestamp = {Tue, 20 Aug 2024 07:54:43 +0200},
biburl = {https://dblp.org/rec/conf/isnn/KimBPKMKK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/BangLKLK05,
author = {Young{-}Bong Bang and
Kyung{-}min Lee and
Juho Kook and
Wonseok Lee and
In{-}su Kim},
title = {Micro parts assembly system with micro gripper and {RCC} unit},
journal = {{IEEE} Trans. Robotics},
volume = {21},
number = {3},
pages = {465--470},
year = {2005},
url = {https://doi.org/10.1109/TRO.2004.838028},
doi = {10.1109/TRO.2004.838028},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trob/BangLKLK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/JeKSLLB04,
author = {Hui Won Je and
Kyung Min Kim and
Oh{-}Soon Shin and
Won{-}Ick Lee and
Kwang Bok Lee and
Saewoong Bahk},
title = {A novel multiple access scheme for uplink cellular systems},
booktitle = {Proceedings of the 60th {IEEE} Vehicular Technology Conference, {VTC}
Fall 2004, 26-29 September 2004, Los Angeles, CA, {USA}},
pages = {984--988},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/VETECF.2004.1400168},
doi = {10.1109/VETECF.2004.1400168},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vtc/JeKSLLB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KimCHKL03,
author = {Su Myeon Kim and
Kyungmin Cho and
Inseok Hwang and
Seungwoo Kang and
Heung{-}Kyu Lee},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {{CIGMA:} aCtive inventory service in Global e-MArket Based on Efficient
Catalog Management},
booktitle = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC),
March 9-12, 2003, Melbourne, FL, {USA}},
pages = {653--658},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/952532.952659},
doi = {10.1145/952532.952659},
timestamp = {Wed, 09 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/KimCHKL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-08-30 03:55 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
