Dohan Kim

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 8

Top Topics

Association Graph

Vector Space Model

Distributed Systems

Theorem Proving

Top Venues

Int. J. Comput. Math.

Publications

Dohan Kim
Congruence Closure Modulo Groups. CoRR (2023)
Dohan Kim, Christopher Lynch
Congruence Closure Modulo Permutation Equations. SCSS (2021)
Dohan Kim, Christopher Lynch
An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems. FSCD (2021)
Dohan Kim, Christopher Lynch
Equational Theorem Proving Modulo. CADE (2021)
Dohan Kim, Christopher Lynch, Paliath Narendran
Reviving Basic Narrowing Modulo. FroCos (2019)
Dohan Kim
Representations of task assignments in distributed systems using Young tableaux and symmetric groups. Int. J. Parallel Emergent Distributed Syst. 31 (2) (2016)
Dohan Kim
Distributed agent-based automated theorem proving in order-sorted first-order logic. CoRR (2016)
Dohan Kim
Sorting on graphs by adjacent swaps using permutation groups. Comput. Sci. Rev. 22 (2016)
Dohan Kim
Group-theoretical vector space model. CoRR (2015)
Dohan Kim
Group-theoretical vector space model. Int. J. Comput. Math. 92 (8) (2015)
Dohan Kim
Priority-Based Task reassignments in Hierarchical 2D Mesh-Connected Systems using Tableaux. Discret. Math. Algorithms Appl. 6 (2) (2014)
Dohan Kim
Task swapping networks in distributed systems. Int. J. Comput. Math. 90 (11) (2013)
Dohan Kim
Task swapping networks in distributed systems CoRR (2011)
Dohan Kim
Priority-based task reassignments in hierarchical 2D mesh-connected systems using tableaux CoRR (2011)
Dohan Kim
Representations of task assignments in distributed systems using Young tableaux and symmetric groups CoRR (2010)