Jonghyun Park

Jonghyun Park

Samsung Electronics, South Korea - Gyeonggi / South Korea
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 4519170
삼성전자, 한국
person_outline Jonghyun Park's MOST POPULAR ARTICLES
1-) Parallel skyline computation on multicore architecturesS Park, T Kim, J Park, J Kim, H Im2009 IEEE 25th International Conference on Data Engineering, 760-771, 20091002009
2-) Parallel skyline computation on multicore architecturesH Im, J Park, S ParkInformation Systems 36 (4), 808-823, 2011342011
3-) A theorem prover for Boolean BIJ Park, J Seo, S ParkACM SIGPLAN Notices 48 (1), 219-232, 2013282013
4-) Mechanizing metatheory without typing contextsJ Park, J Seo, S Park, G LeeJournal of automated reasoning 52, 215-239, 201482014
5-) A Nested Sequent Calculus for Boolean BIJ PARK, S PARKTech. rep., Department of Computer Science and Engineering, Pohang …, 201112011