Dohan Kim

Orcid: 0000-0003-1973-615X

Affiliations:
  • University of Innsbruck, Innsbruck, Austria
  • A. I. Research Lab, Seongnam, South Korea (former)
  • Clarkson University, Potsdam, NY, USA (former)


According to our database1, Dohan Kim authored at least 14 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
An Isabelle/HOL Formalization of Narrowing and Multiset Narrowing for E-Unifiability, Reachability and Infeasibility.
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs.
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023
Congruence Closure Modulo Groups.
CoRR, 2023

2022
Equational Theorem Proving for Clauses over Strings.
Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022

2021
Congruence Closure Modulo Permutation Equations.
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, 2021

An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems.
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

Equational Theorem Proving Modulo.
Proceedings of the Automated Deduction - CADE 28, 2021

2019
Reviving Basic Narrowing Modulo.
Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

2016
Representations of task assignments in distributed systems using Young tableaux and symmetric groups.
Int. J. Parallel Emergent Distributed Syst., 2016

Sorting on graphs by adjacent swaps using permutation groups.
Comput. Sci. Rev., 2016

Distributed agent-based automated theorem proving in order-sorted first-order logic.
CoRR, 2016

2015
Group-theoretical vector space model.
Int. J. Comput. Math., 2015

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

2013
Task swapping networks in distributed systems.
Int. J. Comput. Math., 2013


  Loading...