Person:247254: Difference between revisions

From MaRDI portal
Person:247254
Created automatically from import230924090903
 
(No difference)

Latest revision as of 02:14, 25 September 2023

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 SL $$(2,\mathbb {Z})$$2017-05-19Paper
State Complexity of Regular Tree Languages for Tree Matching2017-04-06Paper
Matrix Semigroup Freeness Problems in 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