We stand with Ukraine  

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 13 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
Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs.
[BibTeX]
[DOI]
Nao Hirokawa
,
Dohan Kim
,
Kiraku Shintani
,
René Thiemann
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023
Congruence Closure Modulo Groups.
[BibTeX]
[DOI]
Dohan Kim
CoRR, 2023

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

2021
Congruence Closure Modulo Permutation Equations.
[BibTeX]
[DOI]
Dohan Kim
,
Christopher Lynch
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.
[BibTeX]
[DOI]
Dohan Kim
,
Christopher Lynch
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

Equational Theorem Proving Modulo.
[BibTeX]
[DOI]
Dohan Kim
,
Christopher Lynch
Proceedings of the Automated Deduction - CADE 28, 2021

2019
Reviving Basic Narrowing Modulo.
[BibTeX]
[DOI]
Dohan Kim
,
Christopher Lynch
,
Paliath Narendran
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.
[BibTeX]
[DOI]
Dohan Kim
Int. J. Parallel Emergent Distributed Syst., 2016

Sorting on graphs by adjacent swaps using permutation groups.
[BibTeX]
[DOI]
Dohan Kim
Comput. Sci. Rev., 2016

Distributed agent-based automated theorem proving in order-sorted first-order logic.
[BibTeX]
[DOI]
Dohan Kim
CoRR, 2016

2015
Group-theoretical vector space model.
[BibTeX]
[DOI]
Dohan Kim
Int. J. Comput. Math., 2015

2014
Priority-Based Task reassignments in Hierarchical 2D Mesh-Connected Systems using Tableaux.
[BibTeX]
[DOI]
Dohan Kim
Discret. Math. Algorithms Appl., 2014

2013
Task swapping networks in distributed systems.
[BibTeX]
[DOI]
Dohan Kim
Int. J. Comput. Math., 2013


  Loading...