Kwanghoon Choi

Orcid: 0000-0003-3519-3650

Affiliations:
  • Chonnam National University, Gwangju, South Korea
  • Yonsei University, Wonju, Republic of Korea (former)


According to our database1, Kwanghoon Choi authored at least 23 papers between 2001 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A text-based syntax completion method using LR parsing and its evaluation.
Sci. Comput. Program., June, 2023

2022
SmartProvenance: User-friendly provenance system for internet of things applications based on event flow graphs.
IET Softw., December, 2022

2021
UAV path planning method for avoiding restricted areas.
Intell. Serv. Robotics, 2021

Rec.HTML: Declarative HTML.
Proceedings of the Programming '21: 5th International Conference on the Art, 2021

A Typed Slicing Compilation of the Polymorphic RPC calculus.
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

A text-based syntax completion method using LR parsing.
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2021

2020
Smart Block: A visual block language and its programming environment for IoT.
J. Comput. Lang., 2020

A polymorphic RPC calculus.
Sci. Comput. Program., 2020

A GQM Approach to Evaluation of the Quality of SmartThings Applications Using Static Analysis.
KSII Trans. Internet Inf. Syst., 2020

SmartVisual: a visualisation tool for SmartThings IoT Apps using static analysis.
IET Softw., 2020

2019
A theory of RPC calculi for client-server model.
J. Funct. Program., 2019

2018
A Practical Intent Fuzzing Tool for Robustness of Inter-Component Communication in Android Apps.
KSII Trans. Internet Inf. Syst., 2018

Smart Block: A Visual Programming Environment for SmartThings.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2016
A review on exception analysis.
Inf. Softw. Technol., 2016

2015
A lightweight approach to component-level exception mechanism for robust android apps.
Comput. Lang. Syst. Struct., 2015

2014
A type and effect system for activation flow of components in Android programs.
Inf. Process. Lett., 2014

2012
Video streaming exploiting multiple-antenna techniques of wirelessMAN-advanced systems.
IEEE Trans. Consumer Electron., 2012

Video streaming exploiting multiple-antenna technique of WirelessMAN-Advanced system.
Proceedings of the IEEE International Conference on Consumer Electronics, 2012

A secure application invocation mechanism in mobile phones for Near Field Communication.
Proceedings of the IEEE International Conference on Consumer Electronics, 2012

2011
Typing ZINC Machine with Generalized Algebraic Data Types.
IEICE Trans. Inf. Syst., 2011

2004
A Type Theory for Krivine-Style Evaluation and Compilation.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003
A type system for the push-enter model.
Inf. Process. Lett., 2003

2001
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine.
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001


  Loading...