Skip to content
cs-conference-ranking.org

Dohan Kim

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

6

Active years

2020–2025

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2025CPPAn Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting.Dohan Kim, Teppei Saito, Ren Thiemann, Akihisa Yamada
2025ITPAn Isabelle/HOL Formalization of Semi-Thue and Conditional Semi-Thue Systems.Dohan Kim
2024CPPCertification of Confluence- and Commutation-Proofs via Parallel Critical Pairs.Nao Hirokawa, Dohan Kim, Kiraku Shintani, Ren Thiemann
2024ITPAn Isabelle/HOL Formalization of Narrowing and Multiset Narrowing for E-Unifiability, Reachability and Infeasibility.Dohan Kim
2022PRDCComparison of Meta-Heuristic Algorithms for Task Scheduling in Distributed Stream Processing.Dohan Kim, Aming Wu, Young-Woo Kwon
2021CADEEquational Theorem Proving Modulo.Dohan Kim, Christopher Lynch
2021FSCDAn RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems.Dohan Kim, Christopher Lynch
2020HPCANVDIMM-C: A Byte-Addressable Non-Volatile Memory Module for Compatibility with Standard DDR Memory Interfaces.Changmin Lee, Wonjae Shin, Dae Jeong Kim, Yongjun Yu, Sung-Joon Kim, Taekyeong Ko, Deokho Seo, Jongmin Park, Kwanghee Lee, Seongho Choi, Namhyung Kim, Vishak G, Arun George, Vishwas V, Donghun Lee, Kang-Woo Choi, Changbin Song, Dohan Kim, Insu Choi, Ilgyu Jung, Yong Ho Song, Jinman Han