Jong Hyun Park

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
See-in-the-middle attacks on blockciphers ARIA and DEFAULT Lecture Notes in Computer Science	2023-08-21	Paper
Improved see-in-the-middle attacks on AES	2022-12-07	Paper
Adaptive Cooperation of Prefetching and Warp Scheduling on GPUs IEEE Transactions on Computers	2019-08-13	Paper
Mechanizing metatheory without typing contexts Journal of Automated Reasoning	2015-07-02	Paper
A theorem prover for Boolean BI Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-11-27	Paper
Methods to detect road features for video-based in-vehicle navigation systems ITS Journal - Intelligent Transportation Systems Journal	2010-05-26	Paper
Color image segmentation using adaptive mean shift and statistical model-based methods Computers & Mathematics with Applications	2010-05-16	Paper
scientific article; zbMATH DE number 5540288 (Why is no real title available?)	2009-04-03	Paper
Computational and Information Science Lecture Notes in Computer Science	2006-10-10	Paper
scientific article; zbMATH DE number 2044125 (Why is no real title available?)	2004-02-17	Paper

Research outcomes over time

This page was built for person: Jong Hyun Park