Sang-Ki Ko

From MaRDI portal
Person:247254

Available identifiers

zbMath Open ko.sang-kiMaRDI QIDQ247254

List of research outcomes





PublicationDate of PublicationType
Simon's congruence pattern matching2024-09-11Paper
Simon's congruence pattern matching2024-03-28Paper
Smaller representation of compiled regular expressions2024-02-28Paper
Automated grading of regular expressions2023-11-24Paper
On the Simon's congruence neighborhood of languages2023-11-16Paper
On Simon's congruence closure of a string2023-09-07Paper
Existential and universal width of alternating finite automata2023-08-17Paper
Generalizations of Code Languages with Marginal Errors2023-08-15Paper
Left is Better Than Right for Reducing Nondeterminism of NFAs2023-08-15Paper
Most pseudo-copy languages are not context-free2023-03-30Paper
On Simon's congruence closure of a string2023-01-18Paper
Deciding path size of nondeterministic (and input-driven) pushdown automata2022-11-17Paper
Efficient enumeration of regular expressions for faster regular expression synthesis2022-03-22Paper
Reachability problems in low-dimensional nondeterministic polynomial maps over integers2021-11-25Paper
On the Identity Problem for the Special Linear Group and the Heisenberg Group.2021-07-28Paper
Consensus string problem for multiple regular languages2021-07-21Paper
Closest substring problems for regular languages2021-03-09Paper
Limited nondeterminism of input-driven pushdown automata: decidability and complexity2020-05-12Paper
The relative edit-distance between two input-driven languages2019-10-15Paper
Alignment distance of regular tree languages2019-08-20Paper
Pseudo-inversion: closure properties and decidability2019-07-08Paper
Reachability problems in nondeterministic polynomial maps on the integers2018-11-22Paper
Closest substring problems for regular languages2018-11-22Paper
Vector Ambiguity and Freeness Problems in SL(2, ℤ)2018-10-02Paper
State complexity of \(k\)-parallel tree concatenation2018-01-19Paper
Alignment distance of regular tree languages2017-08-22Paper
Composition problems for braids: Membership, Identity and Freeness2017-07-26Paper
State complexity of permutation on finite languages over a binary alphabet2017-06-15Paper
Consensus string problem for multiple regular languages2017-06-01Paper
Vector ambiguity and freeness problems in \(\mathrm{SL} (2,\mathbb {Z})\)2017-05-19Paper
State complexity of regular tree languages for tree matching2017-04-06Paper
Matrix semigroup freeness problems in \(\mathrm{SL}(2,\mathbb {Z})\)2017-04-04Paper
Edit-distance between visibly pushdown languages2017-04-04Paper
State complexity of insertion2017-03-28Paper
Operational state complexity of subtree-free regular tree languages2016-12-14Paper
State complexity of Kleene-star operations on regular tree languages2016-05-03Paper
Inferring a relax NG schema from XML documents2016-04-13Paper
Approximate matching between a context-free grammar and a finite-state automaton2016-03-10Paper
State complexity of deletion and bipolar deletion2016-02-19Paper
State complexity of inversion operations2015-12-10Paper
Generalizations of code languages with marginal errors2015-11-10Paper
Pseudo-inversion on formal languages2015-09-14Paper
The state complexity of permutations on finite languages over binary alphabets2015-08-07Paper
State Complexity of Deletion2014-10-14Paper
Left is better than right for reducing nondeterminism of NFAs2014-09-26Paper
Decidability of involution hypercodes2014-08-26Paper
State complexity of regular tree languages for tree pattern matching2014-08-07Paper
State complexity of inversion operations2014-08-07Paper
The edit-distance between a regular language and a context-free language2014-08-04Paper
Top-down tree edit-distance of regular tree languages2014-03-31Paper
State complexity of subtree-free regular tree languages2013-08-09Paper
Approximate matching between a context-free grammar and a finite-state automaton2013-08-07Paper
Computing the edit-distance between a regular language and a context-free language2012-11-02Paper
Analysis of a cellular automaton model for car traffic with a junction2012-08-09Paper
A Cellular Automaton Model for Car Traffic with a Form-One-Lane Rule2011-07-29Paper

Research outcomes over time

This page was built for person: Sang-Ki Ko