Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKwanghoon Choi 0001
Person information
- affiliation: Chonnam National University, Gwangju, South Korea
- affiliation (former): Yonsei University, Wonju, Republic of Korea
- unicode name: 최광훈
Other persons with the same name
- Kwanghoon Choi 0002 — Ajou University, Suwon, Republic of Korea
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j15]Isao Sasano, Kwanghoon Choi
:
A text-based syntax completion method using LR parsing and its evaluation. Sci. Comput. Program. 228: 102957 (2023)- 2022
- [j14]Byeong-Mo Chang, Kyung-min Lee, Ga-young Koh, Kwanghoon Choi:
SmartProvenance: User-friendly provenance system for internet of things applications based on event flow graphs. IET Softw. 16(6): 576-602 (2022) - 2021
- [j13]Kwanghoon Choi, Jai-Hoon Kim:
UAV path planning method for avoiding restricted areas. Intell. Serv. Robotics 14(5): 679-690 (2021) - [c9]Isao Sasano, Kwanghoon Choi:
A text-based syntax completion method using LR parsing. PEPM@POPL 2021: 32-43 - [c8]Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders:
A Typed Slicing Compilation of the Polymorphic RPC calculus. PPDP 2021: 11:1-11:15 - [c7]Bob Reynders, Kwanghoon Choi:
Rec.HTML: Declarative HTML. Programming 2021: 1-5 - [i3]Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders:
A Typed Slicing Compilation of the Polymorphic RPC Calculus. CoRR abs/2107.10793 (2021) - [i2]Kwanghoon Choi, Byeong-Mo Chang:
A Theory of RPC Calculi for Client-Server Model. CoRR abs/2110.15183 (2021) - 2020
- [j12]Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi:
SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis. IET Softw. 14(4): 411-422 (2020) - [j11]Byeong-Mo Chang, Janine Cassandra Son, Kwanghoon Choi:
A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis. KSII Trans. Internet Inf. Syst. 14(6): 2354-2376 (2020) - [j10]Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley:
A polymorphic RPC calculus. Sci. Comput. Program. 197: 102499 (2020) - [j9]Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi:
Smart Block: A visual block language and its programming environment for IoT. J. Comput. Lang. 60: 100999 (2020)
2010 – 2019
- 2019
- [j8]Kwanghoon Choi, Byeong-Mo Chang:
A theory of RPC calculi for client-server model. J. Funct. Program. 29: e5 (2019) - [i1]Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley:
A Polymorphic RPC Calculus. CoRR abs/1910.10988 (2019) - 2018
- [j7]Kwanghoon Choi, Myungpil Ko, Byeong-Mo Chang:
A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps. KSII Trans. Internet Inf. Syst. 12(9): 4248-4270 (2018) - [c6]Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi:
Smart Block: A Visual Programming Environment for SmartThings. COMPSAC (2) 2018: 32-37 - 2016
- [j6]Byeong-Mo Chang, Kwanghoon Choi:
A review on exception analysis. Inf. Softw. Technol. 77: 1-16 (2016) - 2015
- [j5]Kwanghoon Choi, Byeong-Mo Chang:
A lightweight approach to component-level exception mechanism for robust android apps. Comput. Lang. Syst. Struct. 44: 283-298 (2015) - 2014
- [j4]Kwanghoon Choi, Byeong-Mo Chang:
A type and effect system for activation flow of components in Android programs. Inf. Process. Lett. 114(11): 620-627 (2014) - 2012
- [j3]Jeongsik Yun, Sanghyun Bak, Nulibyul Kim, Kwanghoon Choi, Jaekwon Kim:
Video streaming exploiting multiple-antenna techniques of wirelessMAN-advanced systems. IEEE Trans. Consumer Electron. 58(3): 746-751 (2012) - [c5]Jeongsik Yun, Sanghyun Bak, Nulibyul Kim, Kwanghoon Choi, Jaekwon Kim:
Video streaming exploiting multiple-antenna technique of WirelessMAN-Advanced system. ICCE 2012: 203-204 - [c4]Kwanghoon Choi, Jaekwon Kim, Seog Park:
A secure application invocation mechanism in mobile phones for Near Field Communication. ICCE 2012: 731-732 - 2011
- [j2]Kwanghoon Choi, Seog Park:
Typing ZINC Machine with Generalized Algebraic Data Types. IEICE Trans. Inf. Syst. 94-D(6): 1190-1200 (2011)
2000 – 2009
- 2004
- [c3]Kwanghoon Choi, Atsushi Ohori:
A Type Theory for Krivine-Style Evaluation and Compilation. APLAS 2004: 213-228 - 2003
- [j1]Kwanghoon Choi, Taisook Han:
A type system for the push-enter model. Inf. Process. Lett. 87(4): 205-211 (2003) - 2001
- [c2]Kwanghoon Choi, Taisook Han:
A Type System for the Push-Enter Model. APLAS 2001: 13-27 - [c1]Kwanghoon Choi, Hyun-il Lim, Taisook Han:
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. FLOPS 2001: 92-107
Coauthor Index
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 2023-10-02 00:49 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:
