8.
Pattern matching under ℛ-congruence, Sungmin Kim, Hyundong Jin and Yo-Sub Han
To appear in Proceedings of the 30th International Conference on Implementation and Application of Automata (CIAA'26)
7.
Pattern mining under Simon's congruence, Sungmin Kim and Yo-Sub Han
In Proceedings of the 29th International Conference on Developments in Language Theory (DLT'25), pp. 182--196, 2025
[paper]
6.
Approximate Cartesian tree pattern matching, Sungmin Kim and Yo-Sub Han
In Proceedings of the 28th International Conference on Developments in Language Theory (DLT'24), pp. 189--202, 2024
[paper]
5.
Matching patterns with variables under Simon’s congruence, Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer and Max Wiedenhöft
In Proceedings of the 17th International Conference on Reachability Problems (RP'23), pp. 155--170, 2023
[paper]
3.
On the Simon’s congruence neighborhood of languages, Sungmin Kim, Yo-Sub Han, Sang-Ki Ko and Kai Salomaa
In Proceedings of the 27th International Conference on Developments in Language Theory (DLT'23), pp. 168--181, 2023
[paper]
2.
Simon's congruence pattern matching, Sungmin Kim, Sang-Ki Ko and Yo-Sub Han
In Proceedings of the 33rd International Symposium on Algorithms and Computation (ISAAC'22), pp. 60:1--60:17, 2022
[paper]
1.
On Simon's congruence closure of a string, Sungmin Kim, Yo-Sub Han, Sang-Ki Ko and Kai Salomaa
In Proceedings of the 24th International Conference on Descriptional Complexity of Formal Systems (DCFS'22), pp. 127--141, 2022
[paper]
