Weak Inverse Neighborhoods of Languages

von Cheon, Hyunjoon
Veröffentlicht in DLT (27. : 2023 : Umeå) Developments in language theory (2023)

Computing the Shortest String and the Edit-Distance for Parsing Expression Languages

von Cheon, Hyunjoon
Veröffentlicht in DLT (24. : 2020 : Tampa, Fla.) Developments in language theory (2020)

How to Settle the ReDoS Problem: Back to the Classical Automata Theory

von Sung, Sicheol
Veröffentlicht in CIAA (26. : 2022 : Rouen) Implementation and application of automata (2022)

On the Decidability of Infix Inclusion Problem

von Cheon, Hyunjoon
Veröffentlicht in DLT (26. : 2022 : Tampa, Fla.) Developments in language theory (2022)

Implementation and application of automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings

Veröffentlicht 2016

Descriptional complexity of formal systems : 23rd IFIP WG 1.02 International Conference, DCFS 2021, virtual event, September 5, 2021 : proceedings

Veröffentlicht 2021

On Simon’s Congruence Closure of a String

von Kim, Sungmin
Veröffentlicht in DCFS (24. : 2022 : Debrecen) Descriptional complexity of formal systems (2022)

Most Pseudo-copy Languages Are Not Context-Free

von Cheon, Hyunjoon
Veröffentlicht in COCOON (27. : 2021 : Tainan) Computing and Combinatorics (2021)

Existential and Universal Width of Alternating Finite Automata

von Han, Yo-Sub
Veröffentlicht in DCFS (25. : 2023 : Potsdam) Descriptional Complexity of Formal Systems (2023)

On the Simon’s Congruence Neighborhood of Languages

von Kim, Sungmin
Veröffentlicht in DLT (27. : 2023 : Umeå) Developments in language theory (2023)

Automated Grading of Regular Expressions

von Kim, Su-Hyeon
Veröffentlicht in ESOP (32. : 2023 : Paris) Programming languages and systems (2023)

Descriptional complexity of formal systems : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, proceedings

Veröffentlicht 2022