Arto Salomaa

Publication Activity (10 Years)

Years Active: 1960-2024
Publications (10 Years): 14

Top Venues

Theor. Comput. Sci.

Int. J. Found. Comput. Sci.

Fundam. Informaticae

J. Autom. Lang. Comb.

Publications

Arto Salomaa, Kai Salomaa, Taylor J. Smith
Descriptional Complexity of Finite Automata - Selected Highlights. Fundam. Informaticae 191 (3-4) (2024)
Arto Salomaa, Magnus Steinby
Volume Edited by Magnus Steinby. Int. J. Found. Comput. Sci. 35 (1&2) (2024)
Alastair A. Abbott, Cezar Câmpeanu, Ludwig Staiger, Marius Zimand, Arto Salomaa
Frontiers of Computability, Randomness, and Complexity (dedicated to the 70th birthday of Professor Cristian Calude). Theor. Comput. Sci. 952 (2023)
Arto Salomaa, Kai Salomaa, Taylor J. Smith
Descriptional Complexity of Finite Automata - Selected Highlights. CoRR (2023)
Manfred Droste, George Rahonis, Arto Salomaa
Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) - Preface. Int. J. Found. Comput. Sci. 34 (6) (2023)
Lila Kari, Ion Petre, Grzegorz Rozenberg, Arto Salomaa
A fascinating rainbow of computation - Honoring Gheorghe Păun on the occasion of his 70th birthday. Theor. Comput. Sci. 862 (2021)
Marian Gheorghe, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa
Preface of the special issue for Gheorghe Pǎun's 70th anniversary. J. Membr. Comput. 2 (4) (2020)
Arto Salomaa
From Infinite to Finite by Identifying Variables in Many-Valued Logic. J. Autom. Lang. Comb. 23 (1-3) (2018)
Arto Salomaa
Parikh Matrices: Subword Indicators and Degrees of Ambiguity. Adventures Between Lower Bounds and Higher Altitudes (2018)
Yo-Sub Han, Arto Salomaa, Kai Salomaa
Ambiguity, Nondeterminism and State Complexity of Finite Automata. Acta Cybern. 23 (1) (2017)
Arto Salomaa
Minimal reaction systems: Duration and blips. Theor. Comput. Sci. 682 (2017)
Gheorghe Paun, Ion Petre, Grzegorz Rozenberg, Arto Salomaa
From finite state grammars to natural computing - In memory of Solomon Marcus. Theor. Comput. Sci. 701 (2017)
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
Preface. Fundam. Informaticae 154 (1-4) (2017)
Arto Salomaa
Depth of Closed Classes of Truth Functions in Many-Valued Logic. The Role of Theory in Computer Science (2017)
Arto Salomaa, Francis Y. L. Chin, Oscar H. Ibarra, Sartaj Sahni
Alberto Apostolico. Int. J. Found. Comput. Sci. 26 (5) (2015)
Arto Salomaa
Applications of the Chinese remainder theorem to reaction systems with duration. Theor. Comput. Sci. 598 (2015)
Arto Salomaa
Two-Step Simulations of Reaction Systems by Minimal Ones. Acta Cybern. 22 (2) (2015)
Grzegorz Rozenberg, Arto Salomaa
Wilfried Brauer (1937-2014) in memoriam. Bull. EATCS 113 (2014)
Arto Salomaa
Compositions of Reaction Systems. J. Autom. Lang. Comb. 19 (1-4) (2014)
Arto Salomaa
Minimal Reaction Systems Defining Subset Functions. Computing with New Resources (2014)
Arto Salomaa
On Axiomatizations of General Many-Valued Propositional Calculi. Discrete Mathematics and Computer Science (2014)
Arto Salomaa
Minimal and almost minimal reaction systems. Nat. Comput. 12 (3) (2013)
Arto Salomaa, Kai Salomaa, Andrew L. Szilard
Goodby to the Kindhearted Dragon Prof. Sheng Yu, 1950-2012. Int. J. Found. Comput. Sci. 24 (7) (2013)
Arto Salomaa, Kai Salomaa, Sheng Yu
Undecidability of state complexity. Int. J. Comput. Math. 90 (6) (2013)
Arto Salomaa
Functional Constructions between reaction Systems and Propositional Logic. Int. J. Found. Comput. Sci. 24 (1) (2013)
Grzegorz Rozenberg, Arto Salomaa
Preface. Theor. Comput. Sci. 454 (2012)
Arto Salomaa
Undecidability of State Complexities Using Mirror Images. Languages Alive (2012)
Arto Salomaa
Functions and sequences generated by reaction systems. Theor. Comput. Sci. 466 (2012)
Arto Salomaa, Kai Salomaa, Andrew L. Szilard
Sheng Yu (1950-2012) In Memoriam. Fundam. Informaticae 120 (1) (2012)
Arto Salomaa
In Memoriam Sheng Yu (1950-2012). Bull. EATCS 106 (2012)
Arto Salomaa
Mirror Images and Schemes for the Maximal Complexity of Nondeterminism. Fundam. Informaticae 116 (1-4) (2012)
Arto Salomaa
On State Sequences Defined by Reaction Systems. Logic and Program Semantics (2012)
Francis Y. L. Chin, Oscar H. Ibarra, Sartaj Sahni, Arto Salomaa
Sheng Yu. Int. J. Found. Comput. Sci. 23 (2) (2012)
Arto Salomaa
Composition Sequences and Synchronizing Automata. Computation, Physics and Beyond (2012)
Giorgio Ausiello, Hendrik Jan Hoogeboom, Juhani Karhumäki, Ion Petre, Arto Salomaa
Preface. Theor. Comput. Sci. 429 (2012)
Arto Salomaa
Subword occurrences, weighted automata and iterated morphisms, especially the Fibonacci morphism. Theor. Comput. Sci. 432 (2012)
Arto Salomaa
On Some Biologically Motivated Control Devices for Parallel Rewriting. Computation, Cooperation, and Life (2011)
Arto Salomaa
Power Sums Associated with Certain Recursive Procedures on Words. Int. J. Found. Comput. Sci. 22 (1) (2011)
Arto Salomaa, Kai Salomaa, Sheng Yu
Undecidability of the State Complexity of Composed Regular Operations. LATA (2011)
Juhani Karhumäki, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
Preface. Fundam. Informaticae 110 (1-4) (2011)
Arto Salomaa
Criteria for the matrix equivalence of words. Theor. Comput. Sci. 411 (16-18) (2010)
Arto Salomaa, Sheng Yu
Subword Occurrences, Parikh Matrices and Lyndon Images. Int. J. Found. Comput. Sci. 21 (1) (2010)
Arto Salomaa
Subword balance, position indices and power sums. J. Comput. Syst. Sci. 76 (8) (2010)
Helmut Jürgensen, Hermann A. Maurer, Arto Salomaa, Sheng Yu
Seventy Years Derick Wood. J. Univers. Comput. Sci. 16 (5) (2010)
Arto Salomaa
Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood. J. Univers. Comput. Sci. 16 (5) (2010)
Arto Salomaa
Grzegorz Rozenberg: A Magical Scientist and Brother. Algorithmic Bioprocesses (2009)
Arto Salomaa
Characteristic Words for Parikh Matrices. Automata, Formal Languages, and Related Topics (2009)
Arto Salomaa, Kai Salomaa, Sheng Yu
Variants of codes and indecomposable languages. Inf. Comput. 207 (11) (2009)
Arto Salomaa, Kai Salomaa, Sheng Yu
Length Codes, Products of Languages and Primality. LATA (2008)
Guangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu
State complexity of basic language operations combined with reversal. Inf. Comput. 206 (9-10) (2008)
Arto Salomaa
Subword histories and associated matrices. Theor. Comput. Sci. 407 (1-3) (2008)
Arto Salomaa
Comparing Subword Occurrences in Binary D0L Sequences. Int. J. Found. Comput. Sci. 18 (6) (2007)
Arto Salomaa, Kai Salomaa, Sheng Yu
State complexity of combined operations. Theor. Comput. Sci. 383 (2-3) (2007)
Yo-Sub Han, Arto Salomaa, Kai Salomaa, Derick Wood, Sheng Yu
On the existence of prime decompositions. Theor. Comput. Sci. 376 (1-2) (2007)
Arto Salomaa
Subword Balance in BinaryWords, Languages and Sequences. Fundam. Informaticae 75 (1-4) (2007)
Gheorghe Paun, Mario J. Pérez-Jiménez, Arto Salomaa
Spiking Neural P Systems: an Early Survey. Int. J. Found. Comput. Sci. 18 (3) (2007)
Guangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu
State Complexity of Basic Operations Combined with Reversal. LATA (2007)
Arto Salomaa
On Languages Defined by Numerical Parameters. Formal Models, Languages and Applications (2007)
Arto Salomaa
Independence of certain quantities indicating subword occurrences. Theor. Comput. Sci. 362 (1-3) (2006)
Cunsheng Ding, Arto Salomaa
Secret Sharing Schemes with Nice Access Structures. Fundam. Informaticae 73 (1-2) (2006)
Cunsheng Ding, Arto Salomaa
On Some Problems of Mateescu Concerning Subword Occurrences. Fundam. Informaticae 73 (1-2) (2006)
Arto Salomaa, Sheng Yu
Subword conditions and subword histories. Inf. Comput. 204 (12) (2006)
Arto Salomaa
Connections between subwords and certain matrix mappings. Theor. Comput. Sci. 340 (1) (2005)
Arto Salomaa
On the Injectivity of Parikh Matrix Mappings. Fundam. Informaticae 64 (1-4) (2005)
Alexandru Mateescu, Arto Salomaa, Sheng Yu
Subword histories and Parikh matrices. J. Comput. Syst. Sci. 68 (1) (2004)
Arto Salomaa, Derick Wood, Sheng Yu
On the state complexity of reversals of regular languages. Theor. Comput. Sci. 320 (2-3) (2004)
Alexandru Mateescu, Arto Salomaa
Matrix Indicators For Subword Occurrences And Ambiguity. Int. J. Found. Comput. Sci. 15 (2) (2004)
Erzsébet Csuhaj-Varjú, Arto Salomaa
The Power of Networks of Watson-Crick D0L Systems. Aspects of Molecular Computing (2004)
Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Gheorghe Paun, Arto Salomaa
From Watson-Crick L systems to Darwinian P systems. Nat. Comput. 2 (3) (2003)
Arto Salomaa
Composition sequences for functions over a finite domain. Theor. Comput. Sci. 292 (1) (2003)
Judit Csima, Erzsébet Csuhaj-Varjú, Arto Salomaa
Power and size of extended Watson-Crick L systems. Theor. Comput. Sci. 290 (3) (2003)
Samuel T. Chanson, Cunsheng Ding, Arto Salomaa
Cartesian authentication codes from functions with optimal nonlinearity. Theor. Comput. Sci. 290 (3) (2003)
Cunsheng Ding, Arto Salomaa, Patrick Solé, Xiaojian Tian
Three Constructions of Authentication/Secrecy Codes. AAECC (2003)
Arto Salomaa
Counting (scattered) Subwords. Bull. EATCS 81 (2003)
Arto Salomaa, Petr Sosík
Watson-Crick D0L systems: the power of one transition. Theor. Comput. Sci. 301 (1-3) (2003)
Arto Salomaa
Uni-transitional Watson-Crick D0L systems. Theor. Comput. Sci. 281 (1-2) (2002)
Grzegorz Rozenberg, Arto Salomaa
ICALP, EATCS and Maurice Nivat. Theor. Comput. Sci. 281 (1-2) (2002)
Alexandru Mateescu, Arto Salomaa
Nondeterministic Trajectories. Formal and Natural Computing (2002)
Arto Salomaa
Synchronization of Finite Automata: Contributions to an Old Problem. The Essence of Computation (2002)
Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa
Some Decision Problems Concerning Semilinearity and Commutation. J. Comput. Syst. Sci. 65 (2) (2002)
Alexandru Mateescu, Arto Salomaa, Sheng Yu
Factorizations of Languages and Commutativity Conditions. Acta Cybern. 15 (3) (2002)
Jürgen Dassow, Victor Mitrana, Arto Salomaa
Operations and language generating devices suggested by the genome evolution. Theor. Comput. Sci. 270 (1-2) (2002)
Martyn Amos, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
Topics in the theory of DNA computing. Theor. Comput. Sci. 287 (1) (2002)
Arto Salomaa
Generation of Constants and Synchronization of Finite Automata. J. Univers. Comput. Sci. 8 (2) (2002)
Arto Salomaa
DNA Complementarity and Paradigms of Computing. COCOON (2002)
Carlos Martín-Vide, Alexandru Mateescu, Arto Salomaa
Sewing contexts and mildly context-sensitive languages. Where Mathematics, Computer Science, Linguistics and Biology Meet (2001)
Juha Honkala, Arto Salomaa
Watson-Crick D0L systems with regular triggers. Theor. Comput. Sci. 259 (1-2) (2001)
Arto Salomaa
Iterated Morphisms with Complementarity on the DNA Alphabet. Words, Semigroups, and Transductions (2001)
Valeria Mihalache, Arto Salomaa
Language-theoretic aspects of DNA complematarity. Theor. Comput. Sci. 250 (1-2) (2001)
Alexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu
A sharpening of the Parikh mapping. RAIRO Theor. Informatics Appl. 35 (6) (2001)
Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa
Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. ICALP (2001)
Lucian Ilie, Grzegorz Rozenberg, Arto Salomaa
A characterization of poly-slender context-free languages. RAIRO Theor. Informatics Appl. 34 (1) (2000)
Erzsébet Csuhaj-Varjú, Arto Salomaa
Networks of Watson-Crick D0L Systems. Words, Languages & Combinatorics (2000)
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
Membrane Computing with External Output. Fundam. Informaticae 41 (3) (2000)
Lucian Ilie, Arto Salomaa
On the Expressiveness of Subset-Sum Representations. Acta Informatica 36 (8) (2000)
Taishin Y. Nishida, Arto Salomaa
On slender 0L languages. Theor. Comput. Sci. 233 (1-2) (2000)
Lucian Ilie, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
On strongly context-free languages. Discret. Appl. Math. 103 (1-3) (2000)
Arto Salomaa
Depth of Functional Compositions. Bull. EATCS 71 (2000)
Carlos Martín-Vide, Alexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa
Contexts on trajectories. Int. J. Comput. Math. 73 (1) (1999)
Alexandru Mateescu, Arto Salomaa
Many-Valued Truth Functions, Cerny's Conjecture and Road Coloring. Bull. EATCS 68 (1999)

Arto Salomaa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Arto Salomaa