Task swapping networks in distributed systems. - Dohan Kim 001 (Int. J. Comput. Math., 2013)

Priority-Based Task reassignments in Hierarchical 2D Mesh-Connected Systems using Tableaux. - Dohan Kim 001 (Discret. Math. Algorithms Appl., 2014)

Group-theoretical vector space model. - Dohan Kim 001 (Int. J. Comput. Math., 2015)

Distributed agent-based automated theorem proving in order-sorted first-order logic. - Dohan Kim 001 (CoRR, 2016)

Sorting on graphs by adjacent swaps using permutation groups. - Dohan Kim 001 (Comput. Sci. Rev., 2016)

Representations of task assignments in distributed systems using Young tableaux and symmetric groups. - Dohan Kim 001 (Int. J. Parallel Emergent Distributed Syst., 2016)

Reviving Basic Narrowing Modulo. - Dohan Kim 001; Christopher Lynch; Paliath Narendran (FroCos, 2019)

Equational Theorem Proving Modulo. - Dohan Kim 001; Christopher Lynch (CADE, 2021)

An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems. - Dohan Kim 001; Christopher Lynch (FSCD, 2021)

Congruence Closure Modulo Permutation Equations. - Dohan Kim 001; Christopher Lynch (SCSS, 2021)

Equational Theorem Proving for Clauses over Strings. - Dohan Kim 001 (LSFA, 2022)

Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs. - Nao Hirokawa; Dohan Kim 001; Kiraku Shintani; René Thiemann (CPP, 2024)

An Isabelle/HOL Formalization of Narrowing and Multiset Narrowing for E-Unifiability, Reachability and Infeasibility. - Dohan Kim 001 (ITP, 2024)

Finding k Shortest Paths in Cayley Graphs of Finite Groups. - Dohan Kim 001 (Graphs Comb., 2024)

An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting. - Dohan Kim 001; Teppei Saito; René Thiemann; Akihisa Yamada 002 (CPP, 2025)

Congruence Closure Modulo Groups. - Dohan Kim 001 (Log. Methods Comput. Sci., 2025)