| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Cristian S. Calude, Kai Salomaa, Tania Roblot |
State-Size Hierarchy for Finite-State Complexity.  |
Int. J. Found. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxue Piao, Kai Salomaa |
State Complexity of Kleene-Star Operations on Trees. |
Computation, Physics and Beyond |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Erzsébet Csuhaj-Varjú, Kai Salomaa |
Editorial: Computing with biomolecules. |
Natural Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Kai Salomaa, Tania Roblot |
Finite state complexity. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa |
Preface. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa |
Overlap-Free Languages and solid Codes. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa |
Limitations of lower bound methods for deterministic nested word automata. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Gao, Kai Salomaa, Sheng Yu |
Transition Complexity of Incomplete DFAs. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxue Piao, Kai Salomaa |
Transformations Between Different Models of Unranked Bottom-Up Tree Automata. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Okhotin, Kai Salomaa |
Descriptional Complexity of Unambiguous Nested Word Automata. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arto Salomaa, Kai Salomaa, Sheng Yu |
Undecidability of the State Complexity of Composed Regular Operations. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Okhotin, Kai Salomaa |
State Complexity of Operations on Input-Driven Pushdown Automata. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sears, Kai Salomaa |
Extended Watson-Crick L Systems with Regular Trigger Languages. |
UC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa |
On Language Decompositions and Primality. |
Rainbow of Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxue Piao, Kai Salomaa, Sándor Vágvölgyi |
Tree Homomorphisms for Unranked Trees. |
AFL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xiaoxue Piao, Kai Salomaa |
State Trade-Offs in Unranked Tree Automata. |
DCFS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa (eds.) |
Implementation and Application of Automata - 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers |
CIAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Clarridge, Kai Salomaa |
Analysis of a cellular automaton model for car traffic with a slow-to-stop rule. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Daley, Michael Domaratzki, Kai Salomaa |
Orthogonal Concatenation: Language Equations and State Complexity. |
J. UCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Clarridge, Kai Salomaa |
An Improved Cellular Automata Based Algorithm for the 45-Convex Hull Problem. |
J. Cellular Automata |
2010 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Kai Salomaa, Tania Roblot |
Finite-State Complexity and the Size of Transducers |
DCFS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa |
Nondeterministic State Complexity for Suffix-Free Regular Languages |
DCFS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxue Piao, Kai Salomaa |
Operational State Complexity of Deterministic Unranked Tree Automata |
DCFS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Gao, Kai Salomaa, Sheng Yu |
Transition Complexity of Incomplete DFAs |
DCFS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxue Piao, Kai Salomaa |
Transformations Between Different Types of Unranked Bottom-Up Tree Automata |
DCFS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa |
State complexity of basic operations on suffix-free regular languages. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franziska Biegler, Kai Salomaa |
On the synchronized derivation depth of context-free grammars. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa |
Nondeterministic state complexity of nested word automata. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxue Piao, Kai Salomaa |
Operational state complexity of nested word automata. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu, Jinfeng Zan |
Deciding determinism of caterpillar expressions. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Czeizler, Eugen Czeizler, Lila Kari, Kai Salomaa |
On the descriptional complexity of Watson-Crick automata. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arto Salomaa, Kai Salomaa, Sheng Yu |
Variants of codes and indecomposable languages. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa, Derick Wood |
Nondeterministic State Complexity of Basic Operations for Prefix-Free Regular Languages. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Daley, Michael Domaratzki, Kai Salomaa |
State complexity of orthogonal catenation |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa, Sheng Yu |
State Complexity of Combined Operations for Prefix-Free Regular Languages. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa |
State Complexity of Nested Word Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Clarridge, Kai Salomaa |
A Cryptosystem Based on the Composition of Reversible Cellular Automata. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa, Derick Wood |
Operational State Complexity of Prefix-Free Regular Languages. |
Automata, Formal Languages, and Related Topics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Adam Clarridge, Kai Salomaa |
A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
car traffic, single lane, simulation, model, cellular automata, highway |
| 1 | Yo-Sub Han, Kai Salomaa |
State Complexity of Union and Intersection of Finite Languages. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa |
Preface. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Gao, Kai Salomaa, Sheng Yu |
The State Complexity of Two Combined Operations: Star of Catenation and Star of Reversal. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa |
Lower bounds for the transition complexity of NFAs. |
J. Comput. Syst. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arto Salomaa, Kai Salomaa, Sheng Yu |
Length Codes, Products of Languages and Primality. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
Catenation of languages, language decomposition, prime decomposition, length code, star language |
| 1 | Xiaoxue Piao, Kai Salomaa |
Operational State Complexity of Nested Word Automata. |
DCFS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Franziska Biegler, Kai Salomaa |
On the Synchronized Derivation Depth of Context-Free Grammars. |
DCFS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mark Daley, Michael Domaratzki, Kai Salomaa |
State Complexity of Orthogonal Catenation. |
DCFS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Elena Czeizler, Eugen Czeizler, Lila Kari, Kai Salomaa |
Watson-Crick automata: determinism and state complexity. |
DCFS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kai Salomaa |
Language Decompositions, Primality, and Trajectory-Based Operations. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arto Salomaa, Kai Salomaa, Sheng Yu |
State complexity of combined operations. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franziska Biegler, Ian McQuillan, Kai Salomaa |
An infinite hierarchy induced by depth synchronization. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa |
Transition complexity of language operations. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Arto Salomaa, Kai Salomaa, Derick Wood, Sheng Yu |
On the existence of prime decompositions. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Brendan J. Cordy, Kai Salomaa |
On the existence of regular approximations. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Paul Schofield |
State Complexity of Additive Weighted Finite Automata. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu |
On the State Complexity of Combined Operations and their Estimation. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa, Derick Wood |
Intercode Regular Languages. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa |
State Complexity of Basic Operations on Suffix-Free Regular Languages. |
MFCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa |
State Complexity of Union and Intersection of Finite Languages. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa |
Descriptional Complexity of Nondeterministic Finite Automata. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu, Jinfeng Zan |
Deterministic Caterpillar Expressions. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
tree walking automata, decidability, regular expressions, determinism |
| 1 | Michael Domaratzki, Kai Salomaa |
Codes defined by multiple sets of trajectories. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Domaratzki, Grzegorz Rozenberg, Kai Salomaa |
Interpreted Trajectories. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa |
Lower Bounds for the Transition Complexity of NFAs. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa, Derick Wood |
Prime Decompositions of Regular Languages. |
Developments in Language Theory |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian McQuillan, Kai Salomaa, Mark Daley |
Iterated TGR Languages: Membership Problem and Effective Closure Properties. |
COCOON |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Brendan J. Cordy, Kai Salomaa |
Regular Approximations of Non-Regular Languages. |
DCFS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa |
Transition Complexity of Language Operations. |
DCFS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yuan Gao, Kai Salomaa, Sheng Yu |
State Complexity of Catenation and Reversal Combined with Star. |
DCFS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yo-Sub Han, Kai Salomaa, Derick Wood |
State Complexity of Prefix-Free Regular Languages. |
DCFS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Franziska Biegler, Ian McQuillan, Kai Salomaa |
An Infinite Hierarchy Induced by Depth Synchronization. |
DCFS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa |
Decidability of trajectory-based equations. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu |
Preface. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa |
Restricted sets of trajectories and decidability of shuffle decompositions. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Okhotin, Kai Salomaa |
Contextual Grammars with Uniform Sets of Trajectories. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa |
State Complexity of Shuffle on Trajectories. |
Journal of Automata, Languages and Combinatorics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa |
Decidability of Trajectory-Based Equations. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Derick Wood |
Structural Equivalence of Regularly Extended E0L Grammars: An Automata Theoretic Proof. |
Theory Is Forever |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa |
Restricted sets of trajectories and decidability of shuffle decompositions. |
DCFS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Domaratzki, Alexander Okhotin, Kai Salomaa, Sheng Yu (eds.) |
Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers |
CIAA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Kai Salomaa, Sheng Yu |
A Formal Study Of Practical Regular Expressions. |
Int. J. Found. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu |
Decidability of EDT0L structural equivalence. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Kai Salomaa, Sándor Vágvölgyi |
Shuffle Decompositions of Regular Languages. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Kai Salomaa, Sheng Yu |
Advances and Trends in Automata and Formal Languages A Collection of Papers in Honour of the 60th Birthday of Helmut Jürgensen - J.UCS Special Issue. |
J. UCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Kai Salomaa, Sheng Yu |
Additive Distances and Quasi-Distances Between Words. |
J. UCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Alexander Okhotin, Kai Salomaa, Michael Domaratzki |
One-Visit Caterpillar Tree Automata. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Kai Salomaa, Sheng Yu |
Tight Lower Bound for the State Complexity of Shuffle of Regular Languages. |
Journal of Automata, Languages and Combinatorics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael Domaratzki, Kai Salomaa |
State Complexity of Shuffle on Trajectories. |
DCFS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Kai Salomaa, Sheng Yu |
Regex and Extended Regex. |
CIAA |
2002 |
DBLP DOI BibTeX RDF |
regex, extended regex, programming languages, formal languages, Regular expressions |
| 1 | Alexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu |
A sharpening of the Parikh mapping. |
ITA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Kai Salomaa, Sheng Yu |
On the State Complexity of k-Entry Deterministic Finite Automata. |
Journal of Automata, Languages and Combinatorics |
2001 |
DBLP BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Kai Salomaa, Sándor Vágvölgyi |
Shuffle Quotient and Decompositions. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu |
Alternating finite automata and star-free languages. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa, Xiuming Wu, Sheng Yu |
Efficient Implementation of Regular Languages Using Reversed Alternating Finite Automata. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Mateescu, Kai Salomaa, Sheng Yu |
On Fairness of Many-Dimensional Trajectories. |
Journal of Automata, Languages and Combinatorics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu |
Generalized Fairness and Context-Free Languages. |
Acta Cybern. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu |
Synchronization Expressions and Languages. |
J. UCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Kai Salomaa, Sheng Yu |
Synchronization Expressions: Characterization Results and Implementation. |
Jewels are Forever |
1999 |
DBLP BibTeX RDF |
|
| 1 | Cezar Câmpeanu, Karel Culik II, Kai Salomaa, Sheng Yu |
State Complexity of Basic Operations on Finite Languages. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Calude, Kai Salomaa, Sheng Yu |
Metric Lexical Analysis. |
WIA |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")