default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 170 matches
- 2024
- Yun-Sik Dho, Byeong Cheol Lee, HyeongCheol Moon, Kyung Min Kim, Ho Kang, Eun Jung Lee, Min-Sung Kim, Jin Wook Kim, Yong Hwy Kim, Sang Joon Park, Chul-Kee Park:
Validation of real-time inside-out tracking and depth realization technologies for augmented reality-based neuronavigation. Int. J. Comput. Assist. Radiol. Surg. 19(1): 15-25 (2024) - Jong Hyeon Lee, Jae Woo Shim, Min Hyuk Lim, Changhoon Baek, Byoungjun Jeon, Minwoo Cho, Sungwoo Park, Dong Hyun Choi, Byeong Soo Kim, Dan Yoon, Young Gyun Kim, Seung Yeon Cho, Kyung-Min Lee, Myoung-Souk Yeo, Hangman Zo, Sang Do Shin, Sungwan Kim:
Towards optimal design of patient isolation units in emergency rooms to prevent airborne virus transmission: From computational fluid dynamics to data-driven modeling. Comput. Biol. Medicine 173: 108309 (2024) - Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci:
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets. Fundam. Informaticae 192(3-4): 261-312 (2024) - Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. Sci. Comput. Program. 233: 103074 (2024) - Byeongjee Kang, Kyungmin Bae:
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems. Sci. Comput. Program. 235: 103097 (2024) - Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon:
Formal Specification of Trusted Execution Environment APIs. FASE 2024: 101-121 - Jaeseo Lee, Kyungmin Bae:
Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption. FM (1) 2024: 425-442 - Mincheol Shin, Sang-Yoon Chang, Jonghyun Kim, Kyungmin Park, Jinoh Kim:
Intelligent Trajectory-based Approach to UAV Location Integrity Checks. ICCCN 2024: 1-9 - Donghu Kim, Hojoon Lee, Kyungmin Lee, Dongyoon Hwang, Jaegul Choo:
Investigating Pre-Training Objectives for Generalization in Vision-Based Reinforcement Learning. ICML 2024 - Kolby Nottingham, Yasaman Razeghi, Kyungmin Kim, JB Lanier, Pierre Baldi, Roy Fox, Sameer Singh:
Selective Perception: Learning Concise State Descriptions for Language Model Actors. NAACL (Short Papers) 2024: 327-341 - Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña:
Verifying Invariants by Deductive Model Checking. WRLA 2024: 3-21 - Geunyeol Yu, Kyungmin Bae:
A Flexible Framework for Integrating Maude and SMT Solvers Using Python. WRLA 2024: 179-192 - Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci:
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. CoRR abs/2401.01884 (2024) - Kang Min Yoo, Jaegeun Han, Sookyo In, Heewon Jeon, Jisu Jeong, Jaewook Kang, Hyunwook Kim, Kyung-Min Kim, Munhyong Kim, Sungju Kim, Donghyun Kwak, Hanock Kwak, Se Jung Kwon, Bado Lee, Dongsoo Lee, Gichang Lee, Jooho Lee, Baeseong Park, Seongjin Shin, Joonsang Yu, Seolki Baek, Sumin Byeon, Eungsup Cho, Dooseok Choe, Jeeseung Han, Youngkyun Jin, Hyein Jun, Jaeseung Jung, Chanwoong Kim, Jinhong Kim, Jinuk Kim, Dokyeong Lee, Dong Wook Park, Jeong Min Sohn, Sujung Han, Jiae Heo, Sungju Hong, Mina Jeon, Hyunhoon Jung, Jungeun Jung, Wangkyo Jung, Chungjoon Kim, Hyeri Kim, Jonghyun Kim, Min Young Kim, Soeun Lee, Joonhee Park, Jieun Shin, Sojin Yang, Jungsoon Yoon, Hwaran Lee, Sanghwan Bae, Jeehwan Cha, Karl Gylleus, Donghoon Ham, Mihak Hong, Youngki Hong, Yunki Hong, Dahyun Jang, Hyojun Jeon, Yujin Jeon, Yeji Jeong, Myunggeun Ji, Yeguk Jin, Chansong Jo, Shinyoung Joo, Seunghwan Jung, Adrian Jungmyung Kim, Byoung Hoon Kim, Hyomin Kim, Jungwhan Kim, Minkyoung Kim, Minseung Kim, Sungdong Kim, Yonghee Kim, Youngjun Kim, Youngkwan Kim, Donghyeon Ko, Dughyun Lee, Hayoung Lee, Jaehong Lee, Jieun Lee, Jonghyun Lee, Jongjin Lee, Min Young Lee, Yehbin Lee, Taehong Min, Yuri Min, Kiyoon Moon, Hyangnam Oh, Jaesun Park, Kyuyon Park, Younghun Park, Hanbae Seo, Seunghyun Seo, Mihyun Sim, Gyubin Son, Matt Yeo, Kyung Hoon Yeom, Wonjoon Yoo:
HyperCLOVA X Technical Report. CoRR abs/2404.01954 (2024) - Donghu Kim, Hojoon Lee, Kyungmin Lee, Dongyoon Hwang, Jaegul Choo:
Investigating Pre-Training Objectives for Generalization in Vision-Based Reinforcement Learning. CoRR abs/2406.06037 (2024) - Soyoung An, Kyunghoon Bae, Eunbi Choi, Stanley Jungkyu Choi, Yemuk Choi, Seokhee Hong, Yeonjung Hong, Junwon Hwang, Hyojin Jeon, Gerrard Jeongwon Jo, Hyunjik Jo, Jiyeon Jung, Yountae Jung, Euisoon Kim, Hyosang Kim, Joonkee Kim, Seonghwan Kim, Soyeon Kim, Sunkyoung Kim, Yireun Kim, Youchul Kim, Edward Hwayoung Lee, Haeju Lee, Honglak Lee, Jinsik Lee, Kyungmin Lee, Moontae Lee, Seungjun Lee, Woohyung Lim, Sangha Park, Sooyoun Park, Yongmin Park, Boseong Seo, Sihoon Yang, Heuiyeen Yeen, Kyungjae Yoo, Hyeongu Yun:
EXAONE 3.0 7.8B Instruction Tuned Language Model. CoRR abs/2408.03541 (2024) - 2023
- Kyungmin Go, Donghoon Shin:
Resilient Raw Format Live Video Streaming Framework for an Automated Driving System on an Ethernet-Based In-Vehicle Network. IEEE Access 11: 144364-144376 (2023) - Hee-Mun Park, Mi Jang, Yong-Jae Kim, Hyun-Joo Jung, Kyung-Min Seo:
Design and Implementation of Data-Based Validation and Evaluation System for Combat System Engineering. IEEE Access 11: 80137-80150 (2023) - Kijin Kim, Kyungmin Park, Seonghyeon Lee, Seung-Hwan Baek, Tae-Hun Lim, Jongwoo Kim, Balachandran Manavalan, Jin-Won Song, Won-Keun Kim:
VirPipe: an easy-to-use and customizable pipeline for detecting viral genomes from Nanopore sequencing. Bioinform. 39(5) (2023) - Sang-Yoon Chang, Kyungmin Park, Jonghyun Kim, Jinoh Kim:
Securing UAV Flying Base Station for Mobile Networking: A Review. Future Internet 15(5): 176 (2023) - Sang-Ho Hwang, Kyung-Min Kim, Sungho Kim, Jong Wook Kwak:
Lossless Data Compression for Time-Series Sensor Data Based on Dynamic Bit Packing. Sensors 23(20): 8575 (2023) - Hyeongmin Seo, Jiyun Han, Kyungmin Kim, Baek-Jin Lim, EunSeok Shin, Youngdon Choi, Hyungjong Ko, Jung-Hwan Choi, Sang-Hyun Lee, Changsik Yoo, Jaeduk Han:
A 12-Gb/s Baud-Rate Clock and Data Recovery With 75% Phase-Detection Probability by Precoding and Integration-Hold-Reset Frontend. IEEE Trans. Circuits Syst. II Express Briefs 70(2): 411-415 (2023) - Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Petri Nets 2023: 369-392 - Daeho Yun, Minsu Park, Kahyun Kim, Kyungmin Baek, Eonhui Lee, Woo-Seok Choi, Deog-Kyoon Jeong:
A PAM4 Level Mismatch Adjustment Scheme for 48-Gb/s PAM4 Memory Tester Bridge. A-SSCC 2023: 1-3 - Kyungmin Choi, Gi-Won Yoon, Sanghoon Choi, Hyeon-Hwa Choi, Segyeong Joo:
Prediction Comatose Patient Outcomes Using Deep Learning -Based Analysis of EEG Power Spectral Density. CinC 2023: 1-4 - Hojae Han, Yu Jin Kim, Byoungjip Kim, Youngwon Lee, Kyungjae Lee, Kyungmin Lee, Moontae Lee, Kyunghoon Bae, Seung-won Hwang:
On Sample-Efficient Code Generation. EMNLP (Industry Track) 2023: 783-791 - Cheolhee Park, Kyungmin Park, Jihyeon Song, Jonghyun Kim:
Distributed Learning-Based Intrusion Detection in 5G and Beyond Networks. EuCNC/6G Summit 2023: 490-495 - Kyungmin Bae, Peter Csaba Ölveczky:
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. FACS 2023: 127-152 - Kyungmin Bae:
Bounded STL Model Checking for Hybrid Systems (Invited Talk). FTSCS 2023: 1 - Sang-Yoon Chang, Kyungmin Park, Jonghyun Kim, Jinoh Kim:
Towards Securing UAV Flying Base Station: Misplacement Impact Analyses on Battery and Power. SNTA@HPDC 2023: 3-8
skipping 140 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-05 09:44 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