Dohan Kim - RankMe

23 papers A 1B 5Journal 14Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting. CPP Dohan Kim, Teppei Saito, René Thiemann, Akihisa Yamada
2025	B	`conf`	An Isabelle/HOL Formalization of Semi-Thue and Conditional Semi-Thue Systems. ITP Dohan Kim
2025	J	`jnl`	Congruence Closure Modulo Groups. Log. Methods Comput. Sci. Dohan Kim
2024	B	`conf`	An Isabelle/HOL Formalization of Narrowing and Multiset Narrowing for E-Unifiability, Reachability and Infeasibility. ITP Dohan Kim
2024	B	`conf`	Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs. CPP Nao Hirokawa, Dohan Kim, Kiraku Shintani, René Thiemann
2024	J	`jnl`	Equational theorem proving for clauses over strings. Math. Struct. Comput. Sci. Dohan Kim
2024	J	`jnl`	Finding k Shortest Paths in Cayley Graphs of Finite Groups. Graphs Comb. Dohan Kim
2023	J	`jnl`	Congruence Closure Modulo Groups. CoRR Dohan Kim
2022	—	`conf`	Equational Theorem Proving for Clauses over Strings. LSFA Dohan Kim
2021	B	`conf`	An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems. FSCD Dohan Kim, Christopher Lynch
2021	—	`conf`	Congruence Closure Modulo Permutation Equations. SCSS Dohan Kim, Christopher Lynch
2021	A	`conf`	Equational Theorem Proving Modulo. CADE Dohan Kim, Christopher Lynch
2019	—	`conf`	Reviving Basic Narrowing Modulo. FroCos Dohan Kim, Christopher Lynch, Paliath Narendran
2016	J	`jnl`	Distributed agent-based automated theorem proving in order-sorted first-order logic. CoRR Dohan Kim
2016	J	`jnl`	Representations of task assignments in distributed systems using Young tableaux and symmetric groups. Int. J. Parallel Emergent Distributed Syst. Dohan Kim
2016	J	`jnl`	Sorting on graphs by adjacent swaps using permutation groups. Comput. Sci. Rev. Dohan Kim
2015	J	`jnl`	Group-theoretical vector space model. CoRR Dohan Kim
2015	J	`jnl`	Group-theoretical vector space model. Int. J. Comput. Math. Dohan Kim
2014	J	`jnl`	Priority-Based Task reassignments in Hierarchical 2D Mesh-Connected Systems using Tableaux. Discret. Math. Algorithms Appl. Dohan Kim
2013	J	`jnl`	Task swapping networks in distributed systems. Int. J. Comput. Math. Dohan Kim
2011	J	`jnl`	Priority-based task reassignments in hierarchical 2D mesh-connected systems using tableaux CoRR Dohan Kim
2011	J	`jnl`	Task swapping networks in distributed systems CoRR Dohan Kim
2010	J	`jnl`	Representations of task assignments in distributed systems using Young tableaux and symmetric groups CoRR Dohan Kim