Park, Sewon; Brauße, Franz; Collins, Pieter; Kim, SunYoung; Konečný, Michal; Lee, Gyesik; Müller, Norbert; Neumann, Eike; Preining, Norbert; Ziegler, Martin, Logical Methods in Computer Science, v.20, no.2, 2024-06
Kim, Mincheul; Kwon, Youngsun; Lee, Sebin; Yoon, Sung-Eui, IEEE ROBOTICS AND AUTOMATION LETTERS, v.9, no.6, pp.5767 - 5774, 2024-06
Zubair, Muhammad; Woo, Sungpil; Lim, Sunhwan; Kim, Daeyoung, IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, v.28, no.5, pp.2461 - 2472, 2024-05
Lee, Jihye; Han, Donghyoung; Kwon, Oh-Kyoung; Chon, Kang-Wook; Kim, Min-Soo, EXPERT SYSTEMS WITH APPLICATIONS, v.237, 2024-03
Choi, Wonseok; Lee, Jooyoung; Lee, Yeongmin, IACR TRANSACTIONS ON SYMMETRIC CRYPTOLOGY, v.2024, no.1, pp.35 - 70, 2024-03
Hyeon, Jonghwan; Oh, Yung-Hwan; Lee, Young-Jun; Choi, Ho-Jin, DATA & KNOWLEDGE ENGINEERING, v.150, 2024-03
Choi, Wonwoo; Seo, Minjae; Lee, Seongman; Kang, Brent Byunghoon, COMPUTERS & SECURITY, v.136, 2024-01
Jang, Jaehwi; Song, Minjae; Park, Daehyung, IEEE ROBOTICS AND AUTOMATION LETTERS, v.9, no.1, pp.279 - 286, 2024-01
Lee, Wonyoung; Kang, Mincheol; Kim, Soontae, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, v.43, no.1, pp.113 - 126, 2024-01
Jang, Myeongjae; Kim, Jinkwon; Nam, Haejin; Kim, Soontae, IEEE Transactions on Computers, v.73, no.1, pp.249 - 262, 2024-01
Secure video transmission framework for battery-powered video devices Go, Kyungmin; Lee, Ilgu; Kang, Sungwon; Kim, Myung-Chul, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, v.19, no.1, pp.275 - 287, 2022-01 |
Finding a More Pleasant Compliance Illusion Method for a Hand-Held Device Han, Joyoung; Lee, Geehyuk, IEEE ACCESS, v.9, pp.168154 - 168161, 2021-12 |
Adaptive Page Migration Policy With Huge Pages in Tiered Memory Systems Heo, Taekyung; Wang, Yang; Cui, Wei; Huh, Jaehyuk; Zhang, Lintao, IEEE TRANSACTIONS ON COMPUTERS, v.71, no.1, pp.53 - 68, 2022-01 |
Finding Branch-Decompositions of Matroids, Hypergraphs, and More Jeong, Jisu; Kim, Eun Jung; Oum, Sang-il, SIAM JOURNAL ON DISCRETE MATHEMATICS, v.35, no.4, pp.2544 - 2617, 2021-11 |
Beneficial Neglect: Instant Message Notification Handling Behaviors and Academic Performance Kim, Minhyung; Kim, Inyeop; Lee, Uichin, Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, v.5, no.1, 2021-03 |
RCIK: Real-Time Collision-Free Inverse Kinematics Using a Collision-Cost Prediction Network Kang, Min Cheul; Cho, Yoon Ki; Yoon, Sung-Eui, IEEE ROBOTICS AND AUTOMATION LETTERS, v.7, no.1, pp.610 - 617, 2022-01 |
Cocode: Providing Social Presence with Co-learner Screen Sharing in Online Programming Classes Byun, J; Park, J; Oh, Alice Haeyun, Proceedings of the ACM on Human-Computer Interaction, v.5, no.CSCW2, 2021 |
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations Lennard Gäher; Michael Sammler; Simon Spies; Ralf Jung; Hong-Hai Dang; Robbert Krebbers; Kang, Jeehoon; et al, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.6, pp.28:1 - 28:31, 2022-01 |
Directed Model Checking for Fast Abstract Reachability Analysis Lee, NakWon; Kim, Yunho; Kim, Moonzoo; Ryu, Duksan; Baik, Jongmoon, IEEE ACCESS, v.9, pp.158738 - 158750, 2021-11 |
CTET+: A Beyond-Birthday-Bound Secure Tweakable Enciphering Scheme Using a Single Pseudorandom Permutation Cogliati, Benoit; Ethan, Jordan; Lallemand, Virginie; Lee, Byeonghak; Lee, Jooyoung; Minier, Marine, IACR TRANSACTIONS ON SYMMETRIC CRYPTOLOGY, v.2021, no.4, pp.1 - 35, 2021-12 |
상호정보량과 그래프 뉴럴 네트워크 기반의 설명가능한 링크 예측 전설희; 이광희; 김명호, 정보과학회 컴퓨팅의 실제 논문지, v.27, no.9, pp.407 - 412, 2021-09 |
시계열 access log data를 이용한 IT 인프라 이상징후 감지 앙상블 모델 김정원; 최호진, 정보과학회논문지, v.48, no.9, pp.1035 - 1043, 2021-09 |
딥뉴럴네트워크 기반의 흡연 탐지기법 설계 이상현; 윤현수; 권현, 융합보안 논문지, v.21, no.1, pp.191 - 200, 2021 |
MuGenFBD: 기능 블록 다이어그램 프로그램에 대한 자동 뮤턴트 생성기 Lingjun Liu; 지은경; 배두환, 정보처리학회논문지. 소프트웨어 및 데이터 공학, v.10, no.4, pp.115 - 124, 2021 |
BERT 기반 회의록 내 리더 의사 결정 분류 모델 박진영; 오혜연, 정보과학회논문지, v.48, no.5, pp.568 - 574, 2021-05 |
군집 기반 하우스도르프 거리를 이용한 색상 팔레트 비교 김수지; 최성희, 정보과학회 컴퓨팅의 실제 논문지, v.27, no.10, pp.492 - 496, 2021-10 |
Scalable and Dynamic Big Data Processing and Service Provision in Edge Cloud Environments Ko, In-Young; Srivastava, Abhishek; Mrissa, Michael, JOURNAL OF WEB ENGINEERING, v.21, no.1, pp.V - IX, 2022-01 |
Rcryptect: Real-time detection of cryptographic function in the user-space filesystem Lee, Seungkwang; Jho, Nam-su; Chung, Doyoung; Kang, Yousung; Kim, Myungchul, COMPUTERS & SECURITY, v.112, 2022-01 |
GAIN-QoS: A Novel QoS Prediction Model for Edge Computing Choi, Jiwon; Lee, Jaewook; Ryu, Duksan; Kim, Suntae; Baik, Jongmoon, JOURNAL OF WEB ENGINEERING, v.21, no.1, pp.27 - 51, 2022-01 |
Avi Wigderson’s work linking between Mathematics and Computation Ziegler, Martin A., KIAS Horizon, v.17920, 2021-06 |
Discover