Kai Salomaa

From MaRDI portal
Person:247255

Available identifiers

zbMath Open salomaa.kai-tDBLP02/6009WikidataQ28968124 ScholiaQ28968124MaRDI QIDQ247255

List of research outcomes





PublicationDate of PublicationType
Descriptional complexity of finite automata -- selected highlights2024-10-07Paper
Maximal existential and universal width2024-08-15Paper
Converting finite width AFAs to nondeterministic and universal finite automata2024-04-04Paper
Rediscovering pushdown machines2024-01-29Paper
https://portal.mardi4nfdi.de/entity/Q60706092023-11-23Paper
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
The nondeterministic state complexity of the site-directed deletion language operation2023-07-21Paper
On Simon's congruence closure of a string2023-01-18Paper
Decidability of confluence and termination of monadic term rewriting systems2022-12-09Paper
Deciding path size of nondeterministic (and input-driven) pushdown automata2022-11-17Paper
Width measures of alternating finite automata2022-11-09Paper
https://portal.mardi4nfdi.de/entity/Q58675232022-09-14Paper
Complexity of EOL structural equivalence2022-08-18Paper
Decidability of equivalence for deterministic synchronized tree automata2022-08-18Paper
Nondeterministic state complexity of site-directed deletion2022-08-16Paper
Concatenation operations and restricted variants of two-dimensional automata2022-03-24Paper
Degrees of restriction for two-dimensional automata2022-03-22Paper
Structural properties of NFAs and growth rates of nondeterminism measures2022-03-14Paper
Consensus string problem for multiple regular languages2021-07-21Paper
Recognition and complexity results for projection languages of two-dimensional automata2021-07-14Paper
Combining limited parallelism and nondeterminism in alternating finite automata2021-07-14Paper
Decision problems and projection languages for restricted variants of two-dimensional automata2021-06-03Paper
Closest substring problems for regular languages2021-03-09Paper
https://portal.mardi4nfdi.de/entity/Q49640212021-02-24Paper
https://portal.mardi4nfdi.de/entity/Q49640082021-02-24Paper
https://portal.mardi4nfdi.de/entity/Q49640252021-02-24Paper
https://portal.mardi4nfdi.de/entity/Q49640222021-02-24Paper
https://portal.mardi4nfdi.de/entity/Q49640142021-02-24Paper
Alternating finite automata with limited universal branching2020-07-27Paper
Site-directed insertion: decision problems, maximality and minimality2020-06-30Paper
Cycle height of finite automata2020-06-30Paper
Further closure properties of input-driven pushdown automata2020-06-30Paper
Nondeterminism growth and state complexity2020-05-12Paper
Limited nondeterminism of input-driven pushdown automata: decidability and complexity2020-05-12Paper
Decision problems for restricted variants of two-dimensional automata2020-05-06Paper
Branching Measures and Nearly Acyclic NFAs2019-12-10Paper
State Complexity of Suffix Distance2019-12-10Paper
State Complexity of the Quotient Operation on Input-Driven Pushdown Automata2019-12-10Paper
Site-directed insertion: language equations and decision problems2019-11-07Paper
Further closure properties of input-driven pushdown automata2019-11-07Paper
The relative edit-distance between two input-driven languages2019-10-15Paper
Pseudo-inversion: closure properties and decidability2019-07-08Paper
Edit distance neighbourhoods of input-driven pushdown automata2019-06-18Paper
Inclusion is undecidable for pattern languages2019-03-29Paper
Closest substring problems for regular languages2018-11-22Paper
Site-directed deletion2018-11-22Paper
Descriptional Complexity of Error Detection2018-10-04Paper
Quasi-Distances and Weighted Finite Automata2018-09-20Paper
https://portal.mardi4nfdi.de/entity/Q53763422018-09-17Paper
State Complexity of Neighbourhoods and Approximate Pattern Matching2018-05-15Paper
https://portal.mardi4nfdi.de/entity/Q46093322018-03-29Paper
Routing in a polygonal terrain with the shortest beacon watchtower2018-02-19Paper
State Complexity of k-Parallel Tree Concatenation2018-01-19Paper
Outfix-guided insertion2017-12-06Paper
Relative prefix distance between languages2017-10-13Paper
Pseudoknot-generating operation2017-09-28Paper
Branching measures and nearly acyclic NFAs2017-08-31Paper
State complexity of suffix distance2017-08-31Paper
The quotient operation on input-driven pushdown automata2017-08-31Paper
Ambiguity, Nondeterminism and State Complexity of Finite Automata2017-08-25Paper
Edit distance neighbourhoods of input-driven pushdown automata2017-08-22Paper
Worst Case Branching and Other Measures of Nondeterminism2017-06-20Paper
State complexity of prefix distance2017-06-19Paper
State complexity of permutation on finite languages over a binary alphabet2017-06-15Paper
Consensus String Problem for Multiple Regular Languages2017-06-01Paper
State complexity of operations on input-driven pushdown automata2017-05-26Paper
State Complexity of Insertion2017-03-28Paper
https://portal.mardi4nfdi.de/entity/Q55070742016-12-16Paper
State Complexity of Prefix Distance of Subregular Languages2016-11-09Paper
Outfix-Guided Insertion2016-08-30Paper
https://portal.mardi4nfdi.de/entity/Q57404322016-07-26Paper
State complexity of Kleene-star operations on regular tree languages2016-05-03Paper
Approximate matching between a context-free grammar and a finite-state automaton2016-03-10Paper
Pseudoknot-Generating Operation2016-03-10Paper
Extended Watson-Crick L systems with regular trigger languages and restricted derivation modes2016-03-09Paper
State complexity of deletion and bipolar deletion2016-02-19Paper
State complexity of inversion operations2015-12-10Paper
Operational state complexity of unary NFAs with finite nondeterminism2015-12-10Paper
State Complexity of Neighbourhoods and Approximate Pattern Matching2015-11-10Paper
Generalizations of Code Languages with Marginal Errors2015-11-10Paper
State Complexity of Prefix Distance2015-09-23Paper
Pseudo-inversion on Formal Languages2015-09-14Paper
Duplications and Pseudo-Duplications2015-09-14Paper
Nondeterministic Tree Width of Regular Languages2015-08-07Paper
Quasi-Distances and Weighted Finite Automata2015-08-07Paper
The State Complexity of Permutations on Finite Languages over Binary Alphabets2015-08-07Paper
State Complexity of k-Union and k-Intersection for Prefix-Free Regular Languages2015-07-06Paper
State Complexity of Finite Tree Width NFAs2015-03-16Paper
NONDETERMINISTIC STATE COMPLEXITY OF PROPORTIONAL REMOVALS2015-02-09Paper
Unary NFAs with Limited Nondeterminism2015-01-13Paper
Descriptional complexity of unambiguous input-driven pushdown automata2015-01-06Paper
Input-Driven Pushdown Automata with Limited Nondeterminism2014-10-14Paper
State Complexity of Deletion2014-10-14Paper
State Complexity of Unary Language Operations for NFAs with Limited Nondeterminism2014-08-07Paper
State Complexity of Inversion Operations2014-08-07Paper
Computation Width and Deviation Number2014-08-07Paper
THE EDIT-DISTANCE BETWEEN A REGULAR LANGUAGE AND A CONTEXT-FREE LANGUAGE2014-08-04Paper
GOODBY TO THE KINDHEARTED DRAGON PROF. SHENG YU, 1950–20122014-08-04Paper
Top-Down Tree Edit-Distance of Regular Tree Languages2014-03-31Paper
Undecidability of state complexity2013-10-22Paper
State Complexity of k-Union and k-Intersection for Prefix-Free Regular Languages2013-08-09Paper
Comparisons between Measures of Nondeterminism on Finite Automata2013-08-09Paper
Nondeterministic State Complexity of Proportional Removals2013-08-09Paper
Finite Nondeterminism vs. DFAs with Multiple Initial States2013-08-09Paper
Approximate Matching between a Context-Free Grammar and a Finite-State Automaton2013-08-07Paper
Cellular Automaton Based Motion Planning Algorithms for Mobile Sensor Networks2012-11-21Paper
State Complexity and Limited Nondeterminism2012-11-02Paper
State Complexity of Projection and Quotient on Unranked Trees2012-11-02Paper
Computing the Edit-Distance between a Regular Language and a Context-Free Language2012-11-02Paper
Descriptional Complexity of Input-Driven Pushdown Automata2012-11-01Paper
Sheng Yu (1950–2012) In Memoriam2012-10-31Paper
Lower bounds for the size of deterministic unranked tree automata2012-10-11Paper
In Memoriam Sheng Yu2012-09-20Paper
State-size hierarchy for finite-state complexity2012-08-30Paper
State Complexity of Kleene-Star Operations on Trees2012-06-15Paper
State complexity of the concatenation of regular tree languages2012-05-30Paper
Transformations Between Different Models of Unranked Bottom-Up Tree Automata2011-11-22Paper
Transition Complexity of Incomplete DFAs2011-11-22Paper
Finite state complexity2011-10-10Paper
OVERLAP-FREE LANGUAGES AND SOLID CODES2011-10-10Paper
State Complexity of Operations on Input-Driven Pushdown Automata2011-08-17Paper
State Trade-Offs in Unranked Tree Automata2011-07-29Paper
Limitations of lower bound methods for deterministic nested word automata2011-07-27Paper
Extended Watson-Crick L Systems with Regular Trigger Languages2011-06-17Paper
Undecidability of the State Complexity of Composed Regular Operations2011-06-03Paper
Descriptional Complexity of Unambiguous Nested Word Automata2011-06-03Paper
On Language Decompositions and Primality2011-05-27Paper
Analysis of a cellular automaton model for car traffic with a slow-to-stop rule2010-10-07Paper
https://portal.mardi4nfdi.de/entity/Q49294032010-09-22Paper
STATE COMPLEXITY OF ADDITIVE WEIGHTED FINITE AUTOMATA2010-01-29Paper
https://portal.mardi4nfdi.de/entity/Q36553662010-01-07Paper
https://portal.mardi4nfdi.de/entity/Q36540922010-01-04Paper
Variants of codes and indecomposable languages2009-11-27Paper
Deciding determinism of caterpillar expressions2009-09-14Paper
Operational state complexity of nested word automata2009-08-07Paper
Nondeterministic state complexity of nested word automata2009-08-07Paper
On the descriptional complexity of Watson-Crick automata2009-08-07Paper
On the synchronized derivation depth of context-free grammars2009-08-07Paper
State complexity of basic operations on suffix-free regular languages2009-07-10Paper
A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule2009-07-09Paper
Nondeterministic State Complexity of Basic Operations for Prefix-Free Regular Languages2009-05-22Paper
State Complexity of Nested Word Automata2009-04-02Paper
State Complexity of Combined Operations for Prefix-Free Regular Languages2009-04-02Paper
A Cryptosystem Based on the Composition of Reversible Cellular Automata2009-04-02Paper
Prime Decompositions of Regular Languages2009-03-26Paper
Language Decompositions, Primality, and Trajectory-Based Operations2009-02-12Paper
STATE COMPLEXITY OF UNION AND INTERSECTION OF FINITE LANGUAGES2008-11-24Paper
Length Codes, Products of Languages and Primality2008-11-20Paper
Lower bounds for the transition complexity of NFAs2008-11-19Paper
State Complexity of Basic Operations on Suffix-Free Regular Languages2008-09-17Paper
https://portal.mardi4nfdi.de/entity/Q35058862008-06-11Paper
Deterministic Caterpillar Expressions2008-06-10Paper
ON THE STATE COMPLEXITY OF COMBINED OPERATIONS AND THEIR ESTIMATION2008-05-20Paper
Transition complexity of language operations2007-12-19Paper
On the existence of regular approximations2007-12-19Paper
An infinite hierarchy induced by depth synchronization2007-12-19Paper
Descriptional Complexity of Nondeterministic Finite Automata2007-11-28Paper
State Complexity of Union and Intersection of Finite Languages2007-11-28Paper
https://portal.mardi4nfdi.de/entity/Q54222302007-10-17Paper
State complexity of combined operations2007-09-19Paper
Iterated TGR Languages: Membership Problem and Effective Closure Properties2007-09-10Paper
Lower Bounds for the Transition Complexity of NFAs2007-09-05Paper
On the existence of prime decompositions2007-05-11Paper
https://portal.mardi4nfdi.de/entity/Q34296402007-04-02Paper
Codes defined by multiple sets of trajectories2007-01-09Paper
https://portal.mardi4nfdi.de/entity/Q34099792006-11-21Paper
https://portal.mardi4nfdi.de/entity/Q54859942006-09-06Paper
Decidability of trajectory-based equations2005-12-06Paper
RESTRICTED SETS OF TRAJECTORIES AND DECIDABILITY OF SHUFFLE DECOMPOSITIONS2005-11-14Paper
A FORMAL STUDY OF PRACTICAL REGULAR EXPRESSIONS2005-10-19Paper
https://portal.mardi4nfdi.de/entity/Q53137872005-09-01Paper
Mathematical Foundations of Computer Science 20042005-08-22Paper
https://portal.mardi4nfdi.de/entity/Q46813102005-06-23Paper
SHUFFLE DECOMPOSITIONS OF REGULAR LANGUAGES2005-06-22Paper
https://portal.mardi4nfdi.de/entity/Q46628382005-03-30Paper
Theory Is Forever2005-01-18Paper
https://portal.mardi4nfdi.de/entity/Q47379062004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44741502004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44741492004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q48078242004-03-28Paper
https://portal.mardi4nfdi.de/entity/Q44534662004-03-07Paper
https://portal.mardi4nfdi.de/entity/Q44313422003-10-21Paper
https://portal.mardi4nfdi.de/entity/Q44186002003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47993612003-04-23Paper
A sharpening of the Parikh mapping2002-09-18Paper
Decidability of EDT0L structural equivalence2002-07-15Paper
Loop-free alternating finite automata2002-02-13Paper
Generalized fairness and context-free languages2001-06-13Paper
https://portal.mardi4nfdi.de/entity/Q49552552001-06-05Paper
https://portal.mardi4nfdi.de/entity/Q45207922001-02-27Paper
https://portal.mardi4nfdi.de/entity/Q45202822001-02-26Paper
https://portal.mardi4nfdi.de/entity/Q45313732001-01-01Paper
https://portal.mardi4nfdi.de/entity/Q49411472000-09-26Paper
https://portal.mardi4nfdi.de/entity/Q45003692000-09-04Paper
Efficient implementation of regular languages using reversed alternating finite automata2000-08-23Paper
Alternating finite automata and star-free languages2000-08-21Paper
Pattern languages with and without erasing2000-07-04Paper
Transducers and the decidability of independence in free monoids2000-06-27Paper
https://portal.mardi4nfdi.de/entity/Q42640991999-11-11Paper
https://portal.mardi4nfdi.de/entity/Q42665311999-10-03Paper
https://portal.mardi4nfdi.de/entity/Q42176081999-06-21Paper
Synchronization expressions with extended join operation1999-01-12Paper
https://portal.mardi4nfdi.de/entity/Q43905371998-08-10Paper
https://portal.mardi4nfdi.de/entity/Q43627391997-11-13Paper
Pumping and pushdown machines1997-10-30Paper
Complexity of E0L structural equivalence1997-10-08Paper
https://portal.mardi4nfdi.de/entity/Q43362691997-08-07Paper
https://portal.mardi4nfdi.de/entity/Q31251681997-08-07Paper
https://portal.mardi4nfdi.de/entity/Q43410281997-06-16Paper
Structural equivalence and ET0L grammars1997-02-27Paper
Decidability of equivalence for deterministic synchronized tree automata1997-02-27Paper
Yield-languages of two-way pushdown tree automata1997-02-27Paper
https://portal.mardi4nfdi.de/entity/Q49422491996-01-01Paper
P, NP, and the Post correspondence problem1995-11-14Paper
Measures of nondeterminism for pushdown automata1995-10-09Paper
https://portal.mardi4nfdi.de/entity/Q48401701995-07-20Paper
Decision problems for patterns1995-06-08Paper
Synchronized tree automata1994-05-15Paper
https://portal.mardi4nfdi.de/entity/Q42842641994-04-17Paper
The state complexities of some basic operations on regular languages1994-04-05Paper
Semantics of trees1994-03-24Paper
https://portal.mardi4nfdi.de/entity/Q40334991993-05-16Paper
https://portal.mardi4nfdi.de/entity/Q40361771993-05-16Paper
https://portal.mardi4nfdi.de/entity/Q39748791992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q47133731992-06-25Paper
Decidability of structural equivalence of E0L grammars1991-01-01Paper
The immortality problem for Lag systems1990-01-01Paper
Hierarchy ofk-context-free languages1989-01-01Paper
Hierarchy of k-context-free languages part 11989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47347791989-01-01Paper
Deterministic tree pushdown automata and monadic tree rewriting systems1988-01-01Paper
Yield-languages recognized by alternating tree recognizers1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38133171988-01-01Paper
A pumping result for 2-context-free languages1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37350941986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37581091986-01-01Paper
Direction independent context-sensitive grammars1984-01-01Paper

Research outcomes over time

This page was built for person: Kai Salomaa