default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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
Exact matches
- Minki Song — disambiguation page
- Minki Song 0001
![[0000-0003-1051-0066]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-1051-0066")
Samsung Electronics, Hwaseong, Gyeonggi, South Korea - Minki Song 0002
SI Analytics (SIA), Daejeon, South Korea
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 24 matches
- 2023
- Minki Cho
, Youngju Song, Dongjae Lee, Lennard Gäher, Derek Dreyer:
Stuttering for Free. Proc. ACM Program. Lang. 7(OOPSLA2): 1677-1704 (2023) - Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, Chung-Kil Hur:
Fair Operational Semantics. Proc. ACM Program. Lang. 7(PLDI): 811-834 (2023) - Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Sammler, Derek Dreyer:
Conditional Contextual Refinement. Proc. ACM Program. Lang. 7(POPL): 1121-1151 (2023) - Hakjin Lee, Minki Song, Jamyoung Koo, Junghoon Seo:
Hausdorff Distance Matching with Adaptive Query Denoising for Rotated Detection Transformer. CoRR abs/2305.07598 (2023) - 2022
- Goeun Baek, Seunghun Bae, Minki Lee, Hyuncheol Park, Kangseop Lee, Jae-Yoon Sim, Moonjoo Lee, Ho-Jin Song:
13-K Tnoise Cryo-CMOS Parametric Amplifier at 80 mK for Quantum Computers. VLSI Technology and Circuits 2022: 236-237 - Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur:
Conditional Contextual Refinement (CCR). CoRR abs/2203.07431 (2022) - 2021
- Minki Song, Jiho Kim, Dong-Joon Shin:
Blind Reconstruction of BCH and RS Codes Using Single-Error Correction. IEEE Trans. Signal Process. 69: 5120-5133 (2021) - Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur:
Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic. CoRR abs/2109.02991 (2021) - 2020
- Minki Song, Seunghwan Lee, Dong-Joon Shin, Eunsang Lee, Young-Sik Kim, Jong-Seon No:
Analysis of Error Dependencies on Newhope. IEEE Access 8: 45443-45456 (2020) - Minki Song, Dong-Joon Shin:
Asymptotic Analysis of Blind Reconstruction of BCH Codes Based on Consecutive Roots of Generator Polynomials. IEEE Access 8: 206514-206527 (2020) - Youngju Song, Minki Cho, Dongjoo Kim, Yonghyun Kim, Jeehoon Kang, Chung-Kil Hur:
CompCertM: CompCert with C-assembly linking and lightweight modular verification. Proc. ACM Program. Lang. 4(POPL): 23:1-23:31 (2020) - 2019
- Eunsang Lee, Young-Sik Kim, Jong-Seon No, Minki Song, Dong-Joon Shin:
Modification of Frodokem Using Gray and Error-Correcting Codes. IEEE Access 7: 179564-179574 (2019) - Minki Hwang, Jaehyuk Kim, Byounghyun Lim, Jun-Seop Song, Boyoung Joung, Eun Bo Shim, Hui-Nam Pak:
Multiple factors influence the morphology of the bipolar electrogram: An in silico modeling study. PLoS Comput. Biol. 15(4) (2019) - Minki Song, Seunghwan Lee, Eunsang Lee, Dong-Joon Shin, Young-Sik Kim, Jong-Seon No:
Improving security and bandwidth efficiency of NewHope using error-correction schemes. CoRR abs/1905.07843 (2019) - Minki Song, Seunghwan Lee, Eunsang Lee, Dong-Joon Shin, Young-Sik Kim, Jong-Seon No:
Analysis of error dependencies on NewHope. CoRR abs/1910.00432 (2019) - 2018
- Taeseok Oh, Chang-Ick Song, Jaehoon Jung, Minki Ahn, Joonsuk Kim, Inkyu Lee:
A New RF Beam Training Method and Asymptotic Performance Analysis for Multi-User Millimeter Wave Systems. IEEE Access 6: 48125-48135 (2018) - 2017
- Jeongbong Choi, Kyeongwon Cho, Minki Song, Jinoh Park, Sunhyun Yook, Mok Kun Jeong, Sun I. Kim, In-Young Kim, Dong Pyo Jang:
Developing ultrasound tactile sensitivity testing device with optical detector for measuring surface strain. WHC 2017: 552-556 - 2015
- Hanbae Kong, Chang-Ick Song, Minki Ahn, Inkyu Lee:
Diversity of Coded Beamforming in MIMO-OFDM AF Relaying Systems With Direct Link. IEEE Trans. Veh. Technol. 64(8): 3817-3822 (2015) - Minki Ahn, Hanbae Kong, Taehoon Kim, Chang-Ick Song, Inkyu Lee:
Precoding Techniques for MIMO AF Relaying Systems With Decision Feedback Receiver. IEEE Trans. Wirel. Commun. 14(1): 446-455 (2015) - 2014
- Minki Ahn, Chang-Ick Song, Inkyu Lee:
Diversity Analysis of Coded Spatial Multiplexing MIMO AF Relaying Systems. IEEE Trans. Veh. Technol. 63(7): 3435-3439 (2014) - Minki Song, Jinsoo Lim, Dong-Joon Shin, Jinho Sohn:
Enhancing Doppler estimation via newton interpolation for automotive FMCW radars. ICTC 2014: 615-616 - 2013
- Yu-Seop Kim, Jong-Dae Kim, Min-Ki Jang, Chan-Young Park, Hye-Jeong Song:
Looking for Better Combination of Biomarker Selection and Classification Algorithm for Early Screening of Ovarian Cancer. MUE 2013: 321-327 - Hyun-Joo Choi, Chang-Ick Song, Haewook Park, Minki Ahn, Inkyu Lee:
Pairwise MSE Balancing Transceiver Designs for Multipoint-to-Multipoint MIMO AF Relay Systems. VTC Spring 2013: 1-5 - 2009
- Woojin Chung, Seokgyu Kim, Minki Choi, Jaesik Choi, Hoyeon Kim, Chang-Bae Moon, Jae-Bok Song:
Safe Navigation of a Mobile Robot Considering Visibility of Environment. IEEE Trans. Ind. Electron. 56(10): 3941-3950 (2009)
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-11-15 00:44 CET 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:
