Kwanghoon Choi
ORCIDPublication Activity (10 Years)
Years Active: 2001-2023
Publications (10 Years): 18
Publications (10 Years): 18
Publications
- Isao Sasano, Kwanghoon Choi
- Kwanghoon Choi, Byeong-Mo Chang
- Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
- Bob Reynders, Kwanghoon Choi
- Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
- Isao Sasano, Kwanghoon Choi
- Kwanghoon Choi, Jai-Hoon Kim
- Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi
- Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
- Kwanghoon Choi, James Cheney, Simon Fowler, Sam LindleyA Polymorphic RPC Calculus. CoRR (2019)
- Kwanghoon Choi, Byeong-Mo Chang
- Nayeon Bak, Byeong-Mo Chang, Kwanghoon Choi
- Byeong-Mo Chang, Kwanghoon Choi
- Kwanghoon Choi, Byeong-Mo Chang
- Kwanghoon Choi, Seog Park
- Kwanghoon Choi, Atsushi Ohori
- Kwanghoon Choi, Taisook Han
- Kwanghoon Choi, Taisook Han