Dohan Kim
Orcid: 0000-0003-1973-615XAffiliations:
- 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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
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
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
2023
2022
Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022
2021
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
Proceedings of the Automated Deduction - CADE 28, 2021
2019
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
Comput. Sci. Rev., 2016
CoRR, 2016
2015
2014
Priority-Based Task reassignments in Hierarchical 2D Mesh-Connected Systems using Tableaux.
Discret. Math. Algorithms Appl., 2014
2013