default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYoungMin Kwon
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c26]YoungMin Kwon, Gul Agha:
Bounded Quantum Regular Language Generator. QCE 2023: 580-590- [c25]YoungMin Kwon, Eunhee Kim, Gul Agha:
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. QEST 2023: 65-81 - 2022
- [c24]Seonghwan Jeong, YoungMin Kwon:
Energy Efficient Text Spotting Technique for Mobile Edge Computing. AICAS 2022: 106-109 - 2021
- [c23]Xiao Hu, Ming-Ching Chang, Yuwei Chen, Rahul Sridhar, Zhenyu Hu
, Yunhe Xue, Zhenyu Wu, Pengcheng Pi, Jiayi Shen, Jianchao Tan, Xiangru Lian, Ji Liu, Zhangyang Wang, Chia-Hsiang Liu, Yu-Shin Han, Yuan-Yao Sung, Yi Lee, Kai-Chiang Wu, Wei-Xiang Guo, Rick Lee, Shengwen Liang, Zerun Wang, Guiguang Ding, Gang Zhang, Teng Xi, Yubei Chen, Han Cai, Ligeng Zhu, Zhekai Zhang, Song Han, Seonghwan Jeong, YoungMin Kwon, Tianzhe Wang, Jeffery Pan:
The 2020 Low-Power Computer Vision Challenge. AICAS 2021: 1-4 - [c22]Eun-Ju Park, Hoyoung Kim, Seonghwan Jeong, Byungkon Kang, YoungMin Kwon:
Keyword-Based Vehicle Retrieval. CVPR Workshops 2021: 4220-4227 - [c21]YoungMin Kwon, Eunhee Kim:
A Design of GPU-Based Quantitative Model Checking. VMCAI 2021: 441-463 - 2020
- [j5]Jay Hoon Jung, YoungMin Kwon:
A Metric to Compare Pixel-Wise Interpretation Methods for Neural Networks. IEEE Access 8: 221433-221441 (2020) - [c20]Jay Hoon Jung, YoungMin Kwon:
Color, Edge, and Pixel-wise Explanation of Predictions Based on Interpretable Neural Network Model. ICPR 2020: 6003-6010 - [c19]Jay Hoon Jung, YoungMin Kwon:
Boundaries of Single-Class Regions in the Input Space of Piece-Wise Linear Neural Networks. ICPR 2020: 6027-6034
2010 – 2019
- 2019
- [c18]Jay Hoon Jung, YoungMin Kwon:
Robustness of Piece-Wise Linear Neural Network with Feasible Region Approaches. ICFEM 2019: 507-511 - [c17]Jay Hoon Jung, Eunhee Kim, YoungMin Kwon:
Quantitative Model Checking for a Resilient Control System. SSCI 2019: 462-469 - [c16]Jay Hoon Jung, Yousun Shin, YoungMin Kwon:
A Metric to Measure Contribution of Nodes in Neural Networks. SSCI 2019: 1508-1515 - [i1]Jay Hoon Jung, Yousun Shin, YoungMin Kwon:
Extension of Convolutional Neural Network with General Image Processing Kernels. CoRR abs/1901.07375 (2019) - 2018
- [c15]YoungMin Kwon, Eunhee Kim:
Quantitative Model Checking for a Controller Design. SPIN 2018: 292-307 - [c14]Jay Hoon Jung, Yousun Shin, YoungMin Kwon:
Extension of Convolutional Neural Network with General Image Processing Kernels. TENCON 2018: 1436-1439 - 2017
- [c13]YoungMin Kwon, Eunhee Kim, Seonghwan Jeong, Arthur H. Lee:
Quantitative Model Checking for a Smart Grid Pricing. QEST 2017: 55-71 - 2015
- [j4]YoungMin Kwon, Eunhee Kim:
Bounded Model Checking of Hybrid Systems for Control. IEEE Trans. Autom. Control. 60(11): 2961-2976 (2015) - 2014
- [c12]YoungMin Kwon, Kirill Mechitov, Gul A. Agha:
Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks. Concurrent Objects and Beyond 2014: 276-316 - 2013
- [j3]YoungMin Kwon, Gul Agha:
Performance evaluation of sensor networks by statistical modeling and euclidean model checking. ACM Trans. Sens. Networks 9(4): 39:1-39:38 (2013) - 2011
- [j2]YoungMin Kwon, Gul A. Agha:
Verifying the Evolution of Probability Distributions Governed by a DTMC. IEEE Trans. Software Eng. 37(1): 126-141 (2011) - [c11]Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon:
Model Checking MDPs with a Unique Compact Invariant Set of Distributions. QEST 2011: 121-130 - 2010
- [j1]YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha:
Resilient localization for sensor networks in outdoor environments. ACM Trans. Sens. Networks 7(1): 3:1-3:30 (2010) - [c10]Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon:
Reasoning about MDPs as Transformers of Probability Distributions. QEST 2010: 199-208
2000 – 2009
- 2008
- [c9]YoungMin Kwon, Gul Agha:
LTLC: Linear Temporal Logic for Control. HSCC 2008: 316-329 - [c8]YoungMin Kwon, Gul Agha:
Passive Localization: Large Size Sensor Network Localization Based on Environmental Events. IPSN 2008: 3-14 - 2007
- [c7]YoungMin Kwon, Gul Agha:
A Markov Reward Model for Software Reliability. IPDPS 2007: 1-6 - 2006
- [b1]YoungMin Kwon:
Probabilistic Modeling and Verification of Large Scale Systems. University of Illinois Urbana-Champaign, USA, 2006 - [c6]YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha:
ActorNet: an actor platform for wireless sensor networks. AAMAS 2006: 1297-1300 - [c5]YoungMin Kwon, Gul Agha:
Scalable Modeling and Performance Evaluation of Wireless Sensor Networks. IEEE Real Time Technology and Applications Symposium 2006: 49-58 - 2005
- [c4]YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul A. Agha:
Resilient Localization for Sensor Networks in Outdoor Environments. ICDCS 2005: 643-652 - [c3]YoungMin Kwon, Gul A. Agha:
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. QEST 2005: 245-246 - 2004
- [c2]YoungMin Kwon, Gul Agha:
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. ICFEM 2004: 194-208 - 2003
- [c1]Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, Gul Agha:
Cooperative tracking with binary-detection sensor networks. SenSys 2003: 332-333
Coauthor Index
aka: Gul Agha
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.
last updated on 2024-10-24 21:34 CEST 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:
