Arto Salomaa

339 papers A* 10A 1B 8C 10Misc 1Journal 217Unranked 29
YearRankTypeTitle / Venue / Authors
2024 J jnl
Descriptional Complexity of Finite Automata - Selected Highlights.
Fundam. Informaticae
Arto Salomaa, Kai Salomaa, Taylor J. Smith
2024 J jnl
Volume Edited by Magnus Steinby.
Int. J. Found. Comput. Sci.
Arto Salomaa, Magnus Steinby
2023 J jnl
Descriptional Complexity of Finite Automata - Selected Highlights.
CoRR
Arto Salomaa, Kai Salomaa, Taylor J. Smith
2023 J jnl
Frontiers of Computability, Randomness, and Complexity (dedicated to the 70th birthday of Professor Cristian Calude).
Theor. Comput. Sci.
Alastair A. Abbott, Cezar Câmpeanu, Ludwig Staiger, Marius Zimand, Arto Salomaa
2023 J jnl
Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) - Preface.
Int. J. Found. Comput. Sci.
Manfred Droste, George Rahonis, Arto Salomaa
2021 J jnl
A fascinating rainbow of computation - Honoring Gheorghe Păun on the occasion of his 70th birthday.
Theor. Comput. Sci.
Lila Kari, Ion Petre, Grzegorz Rozenberg, Arto Salomaa
2021 — ed.
Membrane Computing - 21st International Conference, CMC 2020, Virtual Event, September 14-18, 2020, Revised Selected Papers
Int. Conf. on Membrane Computing
Rudolf Freund, Tseren-Onolt Ishdorj, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron
2020 J jnl
From Parikh Vectors to Parikh Matrices: Structure, Ambiguity, and Complexity.
Bull. Comput. Data Sci.
Arto Salomaa
2020 J jnl
Preface of the special issue for Gheorghe Pǎun's 70th anniversary.
J. Membr. Comput.
Marian Gheorghe, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa
2019 — ed.
Membrane Computing - 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers
Int. Conf. on Membrane Computing
Thomas Hinze, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron
2018 — ed.
Enjoying Natural Computing - Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Enjoying Natural Computing
Carmen Graciani Díaz, Agustín Riscos-Núñez, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2018 J jnl
From Infinite to Finite by Identifying Variables in Many-Valued Logic.
J. Autom. Lang. Comb.
Arto Salomaa
2018 — ed.
Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Int. Conf. on Membrane Computing
Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron
2018 — conf
Parikh Matrices: Subword Indicators and Degrees of Ambiguity.
Adventures Between Lower Bounds and Higher Altitudes
Arto Salomaa
2017 J jnl
Ambiguity, Nondeterminism and State Complexity of Finite Automata.
Acta Cybern.
Yo-Sub Han, Arto Salomaa, Kai Salomaa
2017 — conf
Depth of Closed Classes of Truth Functions in Many-Valued Logic.
The Role of Theory in Computer Science
Arto Salomaa
2017 J jnl
From finite state grammars to natural computing - In memory of Solomon Marcus.
Theor. Comput. Sci.
Gheorghe Paun, Ion Petre, Grzegorz Rozenberg, Arto Salomaa
2017 — ed.
Membrane Computing - 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers
Int. Conf. on Membrane Computing
Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron
2017 J jnl
Minimal reaction systems: Duration and blips.
Theor. Comput. Sci.
Arto Salomaa
2017 J jnl
Preface.
Fundam. Informaticae
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2015 J jnl
Alberto Apostolico.
Int. J. Found. Comput. Sci.
Arto Salomaa, Francis Y. L. Chin, Oscar H. Ibarra, Sartaj Sahni
2015 J jnl
Applications of the Chinese remainder theorem to reaction systems with duration.
Theor. Comput. Sci.
Arto Salomaa
2015 — ed.
Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Int. Conf. on Membrane Computing
Grzegorz Rozenberg, Arto Salomaa, José M. Sempere, Claudio Zandron
2015 J jnl
Two-Step Simulations of Reaction Systems by Minimal Ones.
Acta Cybern.
Arto Salomaa
2014 J jnl
Compositions of Reaction Systems.
J. Autom. Lang. Comb.
Arto Salomaa
2014 — ed.
Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005).
Discrete Mathematics and Computer Science
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2014 — ed.
Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
Int. Conf. on Membrane Computing
Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa
2014 — ed.
Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
Int. Conf. on Membrane Computing
Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Petr Sosík, Claudio Zandron
2014 — conf
Minimal Reaction Systems Defining Subset Functions.
Computing with New Resources
Arto Salomaa
2014 — conf
On Axiomatizations of General Many-Valued Propositional Calculi.
Discrete Mathematics and Computer Science
Arto Salomaa
2014 J jnl
Wilfried Brauer (1937-2014) in memoriam.
Bull. EATCS
Grzegorz Rozenberg, Arto Salomaa
2013 J jnl
Functional Constructions between reaction Systems and Propositional Logic.
Int. J. Found. Comput. Sci.
Arto Salomaa
2013 J jnl
Goodby to the Kindhearted Dragon Prof. Sheng Yu, 1950-2012.
Int. J. Found. Comput. Sci.
Arto Salomaa, Kai Salomaa, Andrew L. Szilard
2013 — ed.
Membrane Computing - 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
Int. Conf. on Membrane Computing
Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil
2013 J jnl
Minimal and almost minimal reaction systems.
Nat. Comput.
Arto Salomaa
2013 J jnl
Undecidability of state complexity.
Int. J. Comput. Math.
Arto Salomaa, Kai Salomaa, Sheng Yu
2012 — conf
Composition Sequences and Synchronizing Automata.
Computation, Physics and Beyond
Arto Salomaa
2012 J jnl
Functions and sequences generated by reaction systems.
Theor. Comput. Sci.
Arto Salomaa
2012 J jnl
In Memoriam Sheng Yu (1950-2012).
Bull. EATCS
Arto Salomaa
2012 — ed.
Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
Int. Conf. on Membrane Computing
Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan
2012 J jnl
Mirror Images and Schemes for the Maximal Complexity of Nondeterminism.
Fundam. Informaticae
Arto Salomaa
2012 — conf
On State Sequences Defined by Reaction Systems.
Logic and Program Semantics
Arto Salomaa
2012 J jnl
Preface.
Theor. Comput. Sci.
Giorgio Ausiello, Hendrik Jan Hoogeboom, Juhani Karhumäki, Ion Petre, Arto Salomaa
2012 J jnl
Preface.
Theor. Comput. Sci.
Grzegorz Rozenberg, Arto Salomaa
2012 J jnl
Sheng Yu (1950-2012) In Memoriam.
Fundam. Informaticae
Arto Salomaa, Kai Salomaa, Andrew L. Szilard
2012 J jnl
Sheng Yu.
Int. J. Found. Comput. Sci.
Francis Y. L. Chin, Oscar H. Ibarra, Sartaj Sahni, Arto Salomaa
2012 J jnl
Subword occurrences, weighted automata and iterated morphisms, especially the Fibonacci morphism.
Theor. Comput. Sci.
Arto Salomaa
2012 — conf
Undecidability of State Complexities Using Mirror Images.
Languages Alive
Arto Salomaa
2011 — ed.
Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers
Int. Conf. on Membrane Computing
Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2011 — conf
On Some Biologically Motivated Control Devices for Parallel Rewriting.
Computation, Cooperation, and Life
Arto Salomaa
2011 J jnl
Power Sums Associated with Certain Recursive Procedures on Words.
Int. J. Found. Comput. Sci.
Arto Salomaa
2011 J jnl
Preface.
Fundam. Informaticae
Juhani Karhumäki, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2011 — ed.
Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday
Rainbow of Computer Science
Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa
2011 C conf
Undecidability of the State Complexity of Composed Regular Operations.
LATA
Arto Salomaa, Kai Salomaa, Sheng Yu
2010 J jnl
Criteria for the matrix equivalence of words.
Theor. Comput. Sci.
Arto Salomaa
2010 — ed.
Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers
Workshop on Membrane Computing
Gheorghe Paun, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa
2010 J jnl
Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood.
J. Univers. Comput. Sci.
Arto Salomaa
2010 J jnl
Seventy Years Derick Wood.
J. Univers. Comput. Sci.
Helmut Jürgensen, Hermann A. Maurer, Arto Salomaa, Sheng Yu
2010 J jnl
Subword Occurrences, Parikh Matrices and Lyndon Images.
Int. J. Found. Comput. Sci.
Arto Salomaa, Sheng Yu
2010 J jnl
Subword balance, position indices and power sums.
J. Comput. Syst. Sci.
Arto Salomaa
2009 — ed.
Algorithmic Bioprocesses
Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree
2009 — conf
Characteristic Words for Parikh Matrices.
Automata, Formal Languages, and Related Topics
Arto Salomaa
2009 — conf
Grzegorz Rozenberg: A Magical Scientist and Brother.
Algorithmic Bioprocesses
Arto Salomaa
2009 — ed.
Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers
Workshop on Membrane Computing
David W. Corne, Pierluigi Frisco, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2009 J jnl
Variants of codes and indecomposable languages.
Inf. Comput.
Arto Salomaa, Kai Salomaa, Sheng Yu
2008 C conf
Length Codes, Products of Languages and Primality.
LATA
Arto Salomaa, Kai Salomaa, Sheng Yu
2008 J jnl
State complexity of basic language operations combined with reversal.
Inf. Comput.
Guangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu
2008 J jnl
Subword histories and associated matrices.
Theor. Comput. Sci.
Arto Salomaa
2007 J jnl
Comparing Subword Occurrences in Binary D0L Sequences.
Int. J. Found. Comput. Sci.
Arto Salomaa
2007 — ed.
Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers
Workshop on Membrane Computing
George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2007 — conf
On Languages Defined by Numerical Parameters.
Formal Models, Languages and Applications
Arto Salomaa
2007 J jnl
On the existence of prime decompositions.
Theor. Comput. Sci.
Yo-Sub Han, Arto Salomaa, Kai Salomaa, Derick Wood, Sheng Yu
2007 J jnl
Spiking Neural P Systems: an Early Survey.
Int. J. Found. Comput. Sci.
Gheorghe Paun, Mario J. Pérez-Jiménez, Arto Salomaa
2007 C conf
State Complexity of Basic Operations Combined with Reversal.
LATA
Guangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu
2007 J jnl
State complexity of combined operations.
Theor. Comput. Sci.
Arto Salomaa, Kai Salomaa, Sheng Yu
2007 J jnl
Subword Balance in BinaryWords, Languages and Sequences.
Fundam. Informaticae
Arto Salomaa
2006 J jnl
Independence of certain quantities indicating subword occurrences.
Theor. Comput. Sci.
Arto Salomaa
2006 — ed.
Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
Workshop on Membrane Computing
Rudolf Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2006 — ed.
Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers
Workshop on Membrane Computing
Hendrik Jan Hoogeboom, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2006 J jnl
On Some Problems of Mateescu Concerning Subword Occurrences.
Fundam. Informaticae
Cunsheng Ding, Arto Salomaa
2006 J jnl
Secret Sharing Schemes with Nice Access Structures.
Fundam. Informaticae
Cunsheng Ding, Arto Salomaa
2006 J jnl
Subword conditions and subword histories.
Inf. Comput.
Arto Salomaa, Sheng Yu
2005 J jnl
Connections between subwords and certain matrix mappings.
Theor. Comput. Sci.
Arto Salomaa
2005 — ed.
Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
Workshop on Membrane Computing
Giancarlo Mauri, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa
2005 J jnl
On the Injectivity of Parikh Matrix Mappings.
Fundam. Informaticae
Arto Salomaa
2004 J jnl
Matrix Indicators For Subword Occurrences And Ambiguity.
Int. J. Found. Comput. Sci.
Alexandru Mateescu, Arto Salomaa
2004 — ed.
Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers
Workshop on Membrane Computing
Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2004 J jnl
On the state complexity of reversals of regular languages.
Theor. Comput. Sci.
Arto Salomaa, Derick Wood, Sheng Yu
2004 J jnl
Subword histories and Parikh matrices.
J. Comput. Syst. Sci.
Alexandru Mateescu, Arto Salomaa, Sheng Yu
2004 — conf
The Power of Networks of Watson-Crick D0L Systems.
Aspects of Molecular Computing
Erzsébet Csuhaj-Varjú, Arto Salomaa
2003 J jnl
Cartesian authentication codes from functions with optimal nonlinearity.
Theor. Comput. Sci.
Samuel T. Chanson, Cunsheng Ding, Arto Salomaa
2003 J jnl
Composition sequences for functions over a finite domain.
Theor. Comput. Sci.
Arto Salomaa
2003 J jnl
Counting (scattered) Subwords.
Bull. EATCS
Arto Salomaa
2003 J jnl
From Watson-Crick L systems to Darwinian P systems.
Nat. Comput.
Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Gheorghe Paun, Arto Salomaa
2003 — ed.
Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers
WMC-CdeA
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron
2003 J jnl
Power and size of extended Watson-Crick L systems.
Theor. Comput. Sci.
Judit Csima, Erzsébet Csuhaj-Varjú, Arto Salomaa
2003 — conf
Three Constructions of Authentication/Secrecy Codes.
AAECC
Cunsheng Ding, Arto Salomaa, Patrick Solé, Xiaojian Tian
2003 J jnl
Watson-Crick D0L systems: the power of one transition.
Theor. Comput. Sci.
Arto Salomaa, Petr Sosík
2002 Misc conf
DNA Complementarity and Paradigms of Computing.
COCOON
Arto Salomaa
2002 C ed.
Developments in Language Theory, 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers
Developments in Language Theory
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa
2002 J jnl
Factorizations of Languages and Commutativity Conditions.
Acta Cybern.
Alexandru Mateescu, Arto Salomaa, Sheng Yu
2002 — ed.
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Formal and Natural Computing
Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa
2002 J jnl
Generation of Constants and Synchronization of Finite Automata.
J. Univers. Comput. Sci.
Arto Salomaa
2002 J jnl
ICALP, EATCS and Maurice Nivat.
Theor. Comput. Sci.
Grzegorz Rozenberg, Arto Salomaa
2002 — conf
Nondeterministic Trajectories.
Formal and Natural Computing
Alexandru Mateescu, Arto Salomaa
2002 J jnl
Operations and language generating devices suggested by the genome evolution.
Theor. Comput. Sci.
Jürgen Dassow, Victor Mitrana, Arto Salomaa
2002 J jnl
Some Decision Problems Concerning Semilinearity and Commutation.
J. Comput. Syst. Sci.
Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa
2002 — conf
Synchronization of Finite Automata: Contributions to an Old Problem.
The Essence of Computation
Arto Salomaa
2002 J jnl
Topics in the theory of DNA computing.
Theor. Comput. Sci.
Martyn Amos, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2002 J jnl
Uni-transitional Watson-Crick D0L systems.
Theor. Comput. Sci.
Arto Salomaa
2001 J jnl
A sharpening of the Parikh mapping.
RAIRO Theor. Informatics Appl.
Alexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu
2001 — book
Current Trends in Theoretical Computer Science, Entering the 21th Century
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2001 A* conf
Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages.
ICALP
Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa
2001 — conf
Iterated Morphisms with Complementarity on the DNA Alphabet.
Words, Semigroups, and Transductions
Arto Salomaa
2001 J jnl
Language-theoretic aspects of DNA complematarity.
Theor. Comput. Sci.
Valeria Mihalache, Arto Salomaa
2001 — ch.
Lindenmayer and DNA: Watson-Crick D0L Systems.
Current Trends in Theoretical Computer Science
Valeria Mihalache, Arto Salomaa
2001 — ch.
Many-Valued Truth Functions, Cernys' Conjecture, and Road Coloring.
Current Trends in Theoretical Computer Science
Alexandru Mateescu, Arto Salomaa
2001 — ed.
Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View [Workshop on Multiset Processing, WMP 2000, Curtea de Arges, Romania, August 21-25, 2000]
WMP
Cristian Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2001 — ch.
Networks of Language Processors: Parallel Communicating Systems.
Current Trends in Theoretical Computer Science
Erzsébet Csuhaj-Varjú, Arto Salomaa
2001 — conf
Sewing contexts and mildly context-sensitive languages.
Where Mathematics, Computer Science, Linguistics and Biology Meet
Carlos Martín-Vide, Alexandru Mateescu, Arto Salomaa
2001 — ch.
Simple Words in Equality Sets.
Current Trends in Theoretical Computer Science
Marjo Lipponen, Arto Salomaa
2001 J jnl
Watson-Crick D0L systems with regular triggers.
Theor. Comput. Sci.
Juha Honkala, Arto Salomaa
2000 — book
A Half-Century of Automata Theory: Celebration and Inspiration
A Half-Century of Automata Theory
Arto Salomaa, Derick Wood, Sheng Yu
2000 J jnl
A characterization of poly-slender context-free languages.
RAIRO Theor. Informatics Appl.
Lucian Ilie, Grzegorz Rozenberg, Arto Salomaa
2000 — ch.
Algebraic Representations of Regular Array Languages.
Finite Versus Infinite
Rudolf Freund, Alexandru Mateescu, Arto Salomaa
2000 — ch.
Compositions over a Finite Domain: From Completeness to Synchronizable Automata.
A Half-Century of Automata Theory
Arto Salomaa
2000 J jnl
Depth of Functional Compositions.
Bull. EATCS
Arto Salomaa
2000 J jnl
Membrane Computing with External Output.
Fundam. Informaticae
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2000 — conf
Networks of Watson-Crick D0L Systems.
Words, Languages & Combinatorics
Erzsébet Csuhaj-Varjú, Arto Salomaa
2000 J jnl
On slender 0L languages.
Theor. Comput. Sci.
Taishin Y. Nishida, Arto Salomaa
2000 J jnl
On strongly context-free languages.
Discret. Appl. Math.
Lucian Ilie, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
2000 J jnl
On the Expressiveness of Subset-Sum Representations.
Acta Informatica
Lucian Ilie, Arto Salomaa
1999 B conf
Caesar and DNA. Views on Cryptology.
FCT
Arto Salomaa
1999 J jnl
Contexts on trajectories.
Int. J. Comput. Math.
Carlos Martín-Vide, Alexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa
1999 A* conf
DNA Computing: New Ideas and Paradigms.
ICALP
Grzegorz Rozenberg, Arto Salomaa
1999 — ed.
Grammatical Models of Multi-Agent Systems
Grammatical Models of Multi-Agent Systems
Gheorghe Paun, Arto Salomaa
1999 J jnl
Many-Valued Truth Functions, Cerny's Conjecture and Road Coloring.
Bull. EATCS
Alexandru Mateescu, Arto Salomaa
1999 C conf
On the decomposition of finite languages.
Developments in Language Theory
Arto Salomaa, Sheng Yu
1999 — ch.
Theoretical Computer Science.
Handbook of Discrete and Combinatorial Mathematics
William I. Gasarch, Arto Salomaa, Thomas H. Cormen, Lane A. Hemaspaandra, Milena Mihail
1999 J jnl
Watson-Crick Walks and Roads on DOL Graphs.
Acta Cybern.
Arto Salomaa
1998 J jnl
2-Testability and Relabelings Produce Everything.
J. Comput. Syst. Sci.
Lucian Ilie, Arto Salomaa
1998 J jnl
A comparative overview ofcryptographic voting protocols.
Ann. Oper. Res.
Hannu Nurmi, Arto Salomaa
1998 J jnl
Characterizations of Recursively Enumerable Languages by Means of Insertion Grammars.
Theor. Comput. Sci.
Carlos Martín-Vide, Gheorghe Paun, Arto Salomaa
1998 J jnl
Characterizations of re languages starting from internal contextual languages.
Int. J. Comput. Math.
Alexandru Mateescu, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1998 J jnl
Complementarity versus universality: Keynotes of DNA computing.
Complex.
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1998 — book
DNA Computing - New Computing Paradigms.
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1998 J jnl
DNA Computing, Sticker Systems, and Universality.
Acta Informatica
Lila Kari, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sheng Yu
1998 J jnl
Language-theoretic aspects of string replication.
Int. J. Comput. Math.
Valeria Mihalache, Arto Salomaa
1998 J jnl
Networks of Language Processors: Parallel Communicating Systems.
Bull. EATCS
Erzsébet Csuhaj-Varjú, Arto Salomaa
1998 J jnl
On Well Quasi Orders of Free Monoids.
Theor. Comput. Sci.
Lucian Ilie, Arto Salomaa
1998 J jnl
Shuffle on Trajectories: Syntactic Constraints.
Theor. Comput. Sci.
Alexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa
1998 B conf
Shuffle on Trajectories: The Schützenberger Product and Related Operations.
MFCS
Tero Harju, Alexandru Mateescu, Arto Salomaa
1998 J jnl
Simple Splicing Systems.
Discret. Appl. Math.
Alexandru Mateescu, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1997 — ch.
Aspects of Classical Language Theory.
Handbook of Formal Languages (1)
Alexandru Mateescu, Arto Salomaa
1997 C conf
Computing by splicing: programmed and evolving splicing systems.
ICEC
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1997 J jnl
Conjugate Words, Cuts of the Deck and Cryptographic Protocols.
Bull. EATCS
Arto Salomaa
1997 — ch.
Families Generated by Grammars and L Systems.
Handbook of Formal Languages (1)
Gheorghe Paun, Arto Salomaa
1997 — ch.
Formal Languages: an Introduction and a Synopsis.
Handbook of Formal Languages (1)
Alexandru Mateescu, Arto Salomaa
1997 J jnl
Geometric Transformations on Language Families: The Power of Symmetry.
Int. J. Found. Comput. Sci.
Alexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa
1997 — ch.
Grammars with Controlled Derivations.
Handbook of Formal Languages (2)
Jürgen Dassow, Gheorghe Paun, Arto Salomaa
1997 — book
Handbook of Formal Languages, Volume 1: Word, Language, Grammar.
Handbook of Formal Languages (1)
Grzegorz Rozenberg, Arto Salomaa
1997 — book
Handbook of Formal Languages, Volume 2. Linear Modeling: Background and Application.
Handbook of Formal Languages (2)
Grzegorz Rozenberg, Arto Salomaa
1997 — book
Handbook of Formal Languages, Volume 3: Beyond Words.
Handbook of Formal Languages (3)
Grzegorz Rozenberg, Arto Salomaa
1997 — ch.
L Systems.
Handbook of Formal Languages (1)
Lila Kari, Grzegorz Rozenberg, Arto Salomaa
1997 J jnl
Lindenmayer and DNA: Watson-Crick D0L Systems.
Bull. EATCS
Valeria Mihalache, Arto Salomaa
1997 — conf
Networks of Parallel Language Processors.
New Trends in Formal Languages
Erzsébet Csuhaj-Varjú, Arto Salomaa
1997 — ed.
New Trends in Formal Languages - Control, Cooperation, and Combinatorics (to Jürgen Dassow on the occasion of his 50th birthday)
New Trends in Formal Languages
Gheorghe Paun, Arto Salomaa
1997 J jnl
Pattern Languages Versus Parallel Communicating Grammar Systems.
Int. J. Found. Comput. Sci.
Sorina Dumitrescu, Gheorghe Paun, Arto Salomaa
1997 — conf
Shuffle-like Operations on omega-words.
New Trends in Formal Languages
Alexandru Mateescu, George Daniel Mateescu, Grzegorz Rozenberg, Arto Salomaa
1997 — ed.
Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht
Structures in Logic and Computer Science
Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa
1997 — conf
Syntactic and Semantic Aspects of Parallelism.
Foundations of Computer Science: Potential - Theory - Cognition
Alexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa
1997 A* conf
TWOPRIME: A Fast Stream Ciphering Algorithm.
FSE
Cunsheng Ding, Valtteri Niemi, Ari Renvall, Arto Salomaa
1997 — conf
Watson-Crick finite automata.
DNA Based Computers
Rudolf Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1996 J jnl
Computing by Splicing.
Theor. Comput. Sci.
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1996 J jnl
Conjugate Words, Cuts of the Deck and Cryptographic Protocol.
Bull. EATCS
Arto Salomaa
1996 J jnl
Contextual Grammars: Parallelism and Blocking of Derivation.
Fundam. Informaticae
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1996 C ed.
Developments in Language Theory II, At the Crossroads of Mathematics, Computer Science and Biology, Magdeburg, Germany, 17-21 July 1995
Developments in Language Theory
Jürgen Dassow, Grzegorz Rozenberg, Arto Salomaa
1996 — conf
From DNA Recombination to DNA Computing, Via Formal Languages.
German Conference on Bioinformatics - Selected Papers
Gheorghe Paun, Arto Salomaa
1996 — conf
From DNA Recombination to DNA Computing, Via Formal Languages.
German Conference on Bioinformatics
Gheorghe Paun, Arto Salomaa
1996 J jnl
Growth Functions and Length Sets of Replicating Systems.
Acta Cybern.
Valeria Mihalache, Arto Salomaa
1996 J jnl
On Cooperatively Distributed Ciphering and Hashing.
Comput. Artif. Intell.
Cunsheng Ding, Arto Salomaa
1996 J jnl
On Regular Characterizations of Languages by Grammar Systems.
Acta Cybern.
Lucian Ilie, Arto Salomaa
1996 J jnl
On Representing RE Languages by One-Sided Internal Contextual Languages.
Acta Cybern.
Andrzej Ehrenfeucht, Alexandru Mateescu, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1996 J jnl
Pattern Grammars.
J. Autom. Lang. Comb.
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1996 J jnl
Pattern Systems.
Theor. Comput. Sci.
Victor Mitrana, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1996 — book
Public Key Cryptography, Second Edition.
Arto Salomaa
1996 J jnl
Restricted use of the splicing operation.
Int. J. Comput. Math.
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1996 J jnl
Simple Words in Equality Sets.
Bull. EATCS
Marjo Lipponen, Arto Salomaa
1996 J jnl
Slender 0L Languages.
Theor. Comput. Sci.
Taishin Y. Nishida, Arto Salomaa
1996 J jnl
The Power of Restricted Splicing with Rules from a Regular Language.
J. Univers. Comput. Sci.
Lila Kari, Gheorghe Paun, Arto Salomaa
1996 J jnl
Views on Linguistics.
Bull. EATCS
Alexandru Mateescu, Arto Salomaa
1995 J jnl
Conditional Tabled Eco-Grammar Systems.
J. Univers. Comput. Sci.
Erzsébet Csuhaj-Varjú, Gheorghe Paun, Arto Salomaa
1995 J jnl
Decision Problems for Patterns.
J. Comput. Syst. Sci.
Tao Jiang, Arto Salomaa, Kai Salomaa, Sheng Yu
1995 J jnl
From Parikh vectors to GO territories.
Bull. EATCS
Arto Salomaa
1995 J jnl
Generalised DOL Trees.
Acta Cybern.
Lila Kari, Grzegorz Rozenberg, Arto Salomaa
1995 J jnl
Grammars Based on the Shuffle Operation.
J. Univers. Comput. Sci.
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1995 J jnl
Lexical Analysis with a Simple Finite-Fuzzy-Automaton Model.
J. Univers. Comput. Sci.
Alexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu
1995 J jnl
Multi-Pattern Languages.
Theor. Comput. Sci.
Lila Kari, Alexandru Mateescu, Gheorghe Paun, Arto Salomaa
1995 J jnl
On Parallel Deletions Applied to a Word.
RAIRO Theor. Informatics Appl.
Lila Kari, Alexandru Mateescu, Gheorghe Paun, Arto Salomaa
1995 J jnl
P, NP and the Post Correspondence Problem
Inf. Comput.
Alexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu
1995 J jnl
Parikh Prime Words and GO-like Territories.
J. Univers. Comput. Sci.
Alexandru Mateescu, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1995 J jnl
Return to Patterns.
Bull. EATCS
Arto Salomaa
1995 J jnl
Teams in cooperating grammar systems.
J. Exp. Theor. Artif. Intell.
Lila Kari, Alexandru Mateescu, Gheorghe Paun, Arto Salomaa
1995 J jnl
Thin and Slender Languages.
Discret. Appl. Math.
Gheorghe Paun, Arto Salomaa
1994 J jnl
Conducting secret ballot elections in computer networks: Problems and solutions.
Ann. Oper. Res.
Hannu Nurmi, Arto Salomaa
1994 — book
Cornerstones of undecidability.
Grzegorz Rozenberg, Arto Salomaa
1994 C ed.
Developments in Language Theory, At the Crossroads of Mathematics, Computer Science and Biology, Turku, Finland, 12-15 July 1993
Developments in Language Theory
Grzegorz Rozenberg, Arto Salomaa
1994 J jnl
Finite Degrees of Ambiguity in Pattern Languages.
RAIRO Theor. Informatics Appl.
Alexandru Mateescu, Arto Salomaa
1994 J jnl
Journal of Universal Computer Science.
J. Univers. Comput. Sci.
Cristian Calude, Hermann A. Maurer, Arto Salomaa
1994 — ch.
Marcus Contextual Grammars: Modularity and Leftmost Derivation.
Mathematical Aspects of Natural and Formal Languages
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1994 A conf
Nondeterminism in Patterns.
STACS
Alexandru Mateescu, Arto Salomaa
1994 J jnl
Patterns.
Bull. EATCS
Arto Salomaa
1993 C conf
Algorithmically Coding the Universe.
Developments in Language Theory
Cristian Calude, Arto Salomaa
1993 J jnl
Closure Properties of Slender Languages.
Theor. Comput. Sci.
Gheorghe Paun, Arto Salomaa
1993 C conf
Contextual Grammars: Erasing, Determinism, One-Side Contexts.
Developments in Language Theory
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa
1993 — book
Current Trends in Theoretical Computer Science - Essays and Tutorials
Current Trends in Theoretical Computer Science
Grzegorz Rozenberg, Arto Salomaa
1993 — ch.
Decidability in Finite Automata.
Current Trends in Theoretical Computer Science
Arto Salomaa
1993 J jnl
Deletion Sets.
Fundam. Informaticae
Lila Kari, Alexandru Mateescu, Arto Salomaa, Gheorghe Paun
1993 — ch.
Formal Language Theory.
Current Trends in Theoretical Computer Science
Arto Salomaa
1993 J jnl
Gramars with Oracles.
Sci. Ann. Cuza Univ.
Lila Kari, Alexandru Mateescu, Arto Salomaa, Gheorghe Paun
1993 J jnl
Grammars Based on Patterns.
Int. J. Found. Comput. Sci.
Jürgen Dassow, Gheorghe Paun, Arto Salomaa
1993 — ch.
In the prehistory of formal language theory: Gauss languages.
Current Trends in Theoretical Computer Science
Lila Kari, Solomon Marcus, Gheorghe Paun, Arto Salomaa
1993 A* conf
Inclusion is Undecidable for Pattern Languages.
ICALP
Tao Jiang, Arto Salomaa, Kai Salomaa, Sheng Yu
1993 — ch.
L codes and L Systems with immigration.
Current Trends in Theoretical Computer Science
Arto Salomaa
1993 J jnl
Language-theoretic problems arising from Richelieu cryptosystems.
Theor. Comput. Sci.
Mircea Andrasiu, Gheorghe Paun, Jürgen Dassow, Arto Salomaa
1993 J jnl
On Simplest Possible Solutions for Post Correspondence Problems.
Acta Informatica
Alexandru Mateescu, Arto Salomaa
1993 J jnl
On the Union of 0L Languages.
Inf. Process. Lett.
Jürgen Dassow, Gheorghe Paun, Arto Salomaa
1993 J jnl
PCP-Prime Words and Primality Types.
RAIRO Theor. Informatics Appl.
Alexandru Mateescu, Arto Salomaa
1993 B conf
Pattern Languages: Problems of Decidability and Generation.
FCT
Arto Salomaa
1993 B conf
Post Correspondence Problem: Primitivity and Interrelations with Complexity Classes.
MFCS
Alexandru Mateescu, Arto Salomaa
1993 J jnl
Simple Reductions Between
Discret. Appl. Math.
Arto Salomaa
1993 — ch.
What Emil said about the Post Correspondence Problem.
Current Trends in Theoretical Computer Science
Arto Salomaa
1992 J jnl
Characterization results about L codes.
RAIRO Theor. Informatics Appl.
Juha Honkala, Arto Salomaa
1992 J jnl
Decision Problems Concerning the Thinness of DOL Languages.
Bull. EATCS
Gheorghe Paun, Arto Salomaa
1992 J jnl
In the prehistory of formal language theory: Gauss Languages.
Bull. EATCS
Lila Kari, Solomon Marcus, Gheorghe Paun, Arto Salomaa
1992 J jnl
Regularizing Context-Free Languages by AFL Operations: Concatenation and Kleene Closure.
Acta Cybern.
Jürgen Dassow, Alexandru Mateescu, Gheorghe Paun, Arto Salomaa
1992 J jnl
What Emil said about the Post correspondance problem.
Bull. EATCS
Arto Salomaa
1991 J jnl
A Deterministic Algorithm for Modular Knapsack Problems.
Theor. Comput. Sci.
Arto Salomaa
1991 J jnl
Bounded Delay L Codes.
Theor. Comput. Sci.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1991 J jnl
L Codes and L Systems with Immigration.
Bull. EATCS
Arto Salomaa
1991 A* conf
L Morphisms: Bounded Delay and Regularity of Ambiguity.
ICALP
Juha Honkala, Arto Salomaa
1991 J jnl
Many aspects of formal languages.
Inf. Sci.
Arto Salomaa
1991 J jnl
Preface.
Discret. Appl. Math.
Arto Salomaa
1991 J jnl
Primary Types of Instances of the Post Correspondence Problem.
Bull. EATCS
Arto Salomaa, Kai Salomaa, Sheng Yu
1991 J jnl
Secret ballot elections in computer networks.
Comput. Secur.
Hannu Nurmi, Arto Salomaa, Lila Santean
1991 — conf
Verifying and Recasting Secret Ballots in Computer Networks.
New Results and New Trends in Computer Science
Arto Salomaa
1990 J jnl
Decidability in finite automata.
Bull. EATCS
Arto Salomaa
1990 J jnl
Decision problems arising from knapsack transformations.
Acta Cybern.
Arto Salomaa
1990 — ch.
Formal Languages and Power Series.
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)
Arto Salomaa
1990 — book
Public-Key Cryptography
Arto Salomaa
1990 J jnl
Secret Selling of Secrets with Several Buyers.
Bull. EATCS
Arto Salomaa, Lila Santean
1989 — ch.
Public-Key Cryptosystems and Language Theory.
A Perspective in Theoretical Computer Science
Arto Salomaa
1989 J jnl
The Formal Language Theory Column.
Bull. EATCS
Arto Salomaa
1988 J jnl
A Pumping Result for 2-Context-Free Languages.
Theor. Comput. Sci.
Arto Salomaa
1988 J jnl
A public-key cryptosystem based on language theory.
Comput. Secur.
Arto Salomaa
1988 A* ed.
Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings
ICALP
Timo Lepistö, Arto Salomaa
1988 — conf
Cryptography and Data Security.
IMYCS
Arto Salomaa
1988 J jnl
The Formal Language Theory Column.
Bull. EATCS
Arto Salomaa
1988 J jnl
The Formal Language Theory Column.
Bull. EATCS
Arto Salomaa, Juhani Karhumäki
1988 J jnl
The formal language theory column.
Bull. EATCS
Arto Salomaa
1987 J jnl
Formal Language Theory Column - Two-way Thue.
Bull. EATCS
Arto Salomaa
1987 — book
Formal languages.
Arto Salomaa
1987 J jnl
The formal Language Theory Column.
Bull. EATCS
Arto Salomaa
1986 J jnl
On a Public-Key Cryptosystem Based on Iterated Morphisms and Substitutions.
Theor. Comput. Sci.
Arto Salomaa
1986 J jnl
On the equivalence of grammars inferred from derivation.
Bull. EATCS
Efim B. Kinber, Arto Salomaa, Sheng Yu
1986 — book
Semirings, Automata, Languages
Werner Kuich, Arto Salomaa
1986 J jnl
Systolic Trellis Automata: Stability, Decidability and Complexity
Inf. Control.
Karel Culík II, Jozef Gruska, Arto Salomaa
1986 — book
The book of L.
Grzegorz Rozenberg, Arto Salomaa
1985 J jnl
Syntactic monoids in the construction of systolic tree automata.
Int. J. Parallel Program.
Helmut Jürgensen, Arto Salomaa
1985 J jnl
The Ehrenfeucht conjecture: a proof for language theorists.
Bull. EATCS
Arto Salomaa
1984 J jnl
Systolic Tree Acceptors.
RAIRO Theor. Informatics Appl.
Karel Culík II, Arto Salomaa, Derick Wood
1983 J jnl
A Supernormal-Form Theorem for Context-Free Grammars
J. ACM
Hermann A. Maurer, Arto Salomaa, Derick Wood
1983 J jnl
Ambiguity and Decision Problems Concerning Number Systems
Inf. Control.
Karel Culík II, Arto Salomaa
1983 A* conf
Ambiguity and Decision Problems Concerning Number Systems.
ICALP
Karel Culík II, Arto Salomaa
1983 J jnl
L Codes and Number Systems.
Theor. Comput. Sci.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1983 J jnl
On a Family of L Languages Resulting from Systolic Tree Automata.
Theor. Comput. Sci.
Karel Culík II, Jozef Gruska, Arto Salomaa
1982 J jnl
A homomorphic characterization of regular languages.
Discret. Appl. Math.
Karel Culík II, Faith E. Fich, Arto Salomaa
1982 J jnl
Dense Hierarchies of Grammatical Families.
J. ACM
Hermann A. Maurer, Arto Salomaa, Derick Wood
1982 J jnl
Finitary and Infinitary Interpretations of Languages.
Math. Syst. Theory
Hermann A. Maurer, Arto Salomaa, Derick Wood
1982 J jnl
On Infinite Words Obtained by Iterating Morphisms.
Theor. Comput. Sci.
Karel Culík II, Arto Salomaa
1982 J jnl
Systolic Automata for VLSI on Balanced Trees.
Acta Informatica
Karel Culík II, Jozef Gruska, Arto Salomaa
1981 J jnl
Colorings and interpretations: a connection between graphs and grammar forms.
Discret. Appl. Math.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1981 J jnl
Completeness of Context-Free Grammar Forms.
J. Comput. Syst. Sci.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1981 J jnl
Decidability and density in two-symbol grammar forms.
Discret. Appl. Math.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1981 J jnl
On Predecessors of Finite Languages
Inf. Control.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1981 J jnl
Sub-Regular Grammar Forms.
Inf. Process. Lett.
Thomas Ottmann, Arto Salomaa, Derick Wood
1981 J jnl
Synchronized EOL Forms Under Uniform Interpretation.
RAIRO Theor. Informatics Appl.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1981 J jnl
Table systems with unconditional transfer.
Discret. Appl. Math.
Grzegorz Rozenberg, Arto Salomaa
1981 J jnl
Uniform Interpretations of Grammar Forms.
SIAM J. Comput.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1980 J jnl
Context-Free Grammar Forms with Strict Interpretations.
J. Comput. Syst. Sci.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1980 A* conf
Grammatical Families.
ICALP
Arto Salomaa
1980 J jnl
MSW Spaces
Inf. Control.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1980 J jnl
On Generators and Generative Capacity of EOL Forms.
Acta Informatica
Hermann A. Maurer, Arto Salomaa, Derick Wood
1980 J jnl
Pure Grammars
Inf. Control.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1980 J jnl
Synchronized E0L Forms.
Theor. Comput. Sci.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1980 J jnl
Test Sets and Checking Words for Homomorphism Equivalence.
J. Comput. Syst. Sci.
Karel Culík II, Arto Salomaa
1979 J jnl
Context-Dependent L Forms
Inf. Control.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1979 J jnl
On Non Context-Free Grammar Forms.
Math. Syst. Theory
Hermann A. Maurer, Martti Penttonen, Arto Salomaa, Derick Wood
1979 B conf
Power from Power Series.
MFCS
Arto Salomaa
1979 J jnl
Pure interpretations for EOL forms.
RAIRO Theor. Informatics Appl.
Hermann A. Maurer, Grzegorz Rozenberg, Arto Salomaa, Derick Wood
1978 — book
Automata-Theoretic Aspects of Formal Power Series.
Arto Salomaa, Matti Soittola
1978 J jnl
ETOL Forms.
J. Comput. Syst. Sci.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1978 J jnl
Equality sets for homomorphisms of free monoids.
Acta Cybern.
Arto Salomaa
1978 — book
Formale Sprachen.
Arto Salomaa
1978 J jnl
Isomorphism, Form Equivalence and Sequence Equivalence of PD0L Forms.
Theor. Comput. Sci.
Karel Culík II, Hermann A. Maurer, Thomas Ottmann, Keijo Ruohonen, Arto Salomaa
1978 J jnl
On Good E0L Forms.
SIAM J. Comput.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1978 J jnl
On the Decidability of Homomorphism Equivalence for Languages.
J. Comput. Syst. Sci.
Karel Culík II, Arto Salomaa
1978 J jnl
Relative Goodness for EOL Forms.
RAIRO Theor. Informatics Appl.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1978 J jnl
Uniform Interpretations of L Forms
Inf. Control.
Hermann A. Maurer, Arto Salomaa, Derick Wood
1977 A* ed.
Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings
ICALP
Arto Salomaa, Magnus Steinby
1977 J jnl
Bibliography of L Systems.
Theor. Comput. Sci.
Grzegorz Rozenberg, Martti Penttonen, Arto Salomaa
1977 J jnl
EOL Forms.
Acta Informatica
Hermann A. Maurer, Arto Salomaa, Derick Wood
1977 J jnl
New squeezing mechanisms for L systems.
Inf. Sci.
Grzegorz Rozenberg, Arto Salomaa
1977 J jnl
On the Form Equivalence of
Theor. Comput. Sci.
Hermann A. Maurer, Thomas Ottmann, Arto Salomaa
1976 J jnl
Context-Free Grammars with Graph-Controlled Tables.
J. Comput. Syst. Sci.
Grzegorz Rozenberg, Arto Salomaa
1976 B conf
Recent Results on L Systems.
MFCS
Arto Salomaa
1976 J jnl
Undecidable Problems Concerning Growth in Informationless Lindenmayer Systems.
J. Inf. Process. Cybern.
Arto Salomaa
1975 B conf
Formal Power Series and Growth Functions of Lindenmayer Systems.
MFCS
Arto Salomaa
1975 — conf
Growth Functions of Lindenmayer Systems: Some New Approaches.
Automata, Languages, Development
Arto Salomaa
1974 — conf
Iteration Grammars and Lindenmayer AFL's.
L Systems
Arto Salomaa
1974 — ed.
L Systems, Most of the papers were presented at a conference in Aarhus, Denmark, January 14-25, 1974
L Systems
Grzegorz Rozenberg, Arto Salomaa
1974 J jnl
Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. I. Deterministic Systems.
Acta Informatica
Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum
1974 J jnl
Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems.
Acta Informatica
Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum
1974 A* conf
Parallelism in Rewriting Systems.
ICALP
Arto Salomaa
1974 J jnl
Solution of a decision problem concerning unary Lindenmayer systems.
Discret. Math.
Arto Salomaa
1973 J jnl
Integral Sequential Word Functions and Growth Equivalence of Lindenmayer Systems
Inf. Control.
Azaria Paz, Arto Salomaa
1973 B conf
L-Systems: A Device in Biologically Motivated Automata Theory.
MFCS
Arto Salomaa
1973 J jnl
On Sentential Forms of Context-Free Grammars.
Acta Informatica
Arto Salomaa
1973 — conf
On some recent problems concerning developmental languages.
Automatentheorie und Formale Sprachen
Arto Salomaa
1972 J jnl
Matrix Grammars with a Leftmost Restriction
Inf. Control.
Arto Salomaa
1971 J jnl
The Generative Capacity of Transformational Grammars of Ginsburg and Partee
Inf. Control.
Arto Salomaa
1970 J jnl
Periodically Time-Variant Context-Free Grammars
Inf. Control.
Arto Salomaa
1969 J jnl
On the Index of a Context-Free Grammar and Language
Inf. Control.
Arto Salomaa
1969 J jnl
Probabilistic and Weighted Grammars
Inf. Control.
Arto Salomaa
1968 J jnl
On Finite Automata with a Time-Variant Structure
Inf. Control.
Arto Salomaa
1968 J jnl
On Regular Expressions and Regular Canonical Systems.
Math. Syst. Theory
Arto Salomaa
1967 J jnl
On m-adic Probabilistic Automata
Inf. Control.
Arto Salomaa
1966 J jnl
Two Complete Axiom Systems for the Algebra of Regular Events.
J. ACM
Arto Salomaa
1960 J jnl
A Theorem Concerning the Composition of Functions of Several Variables Ranging Over a Finite Set.
J. Symb. Log.
Arto Salomaa