Arto Salomaa Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Biographical Citations

DBLP keys2012
254Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan: Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers Springer 2012
253Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Composition Sequences and Synchronizing Automata. Computation, Physics and Beyond 2012: 403-416
252Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: On State Sequences Defined by Reaction Systems. Logic and Program Semantics 2012: 271-282
251Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancis Y. L. Chin, Oscar H. Ibarra, Sartaj Sahni, Arto Salomaa: Sheng Yu. Int. J. Found. Comput. Sci. 23(2): (2012)
2011
250Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Membrane Computing - 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers Springer 2011
249Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian S. Calude, Grzegorz Rozenberg, Arto Salomaa: Rainbow of Computer Science - Dedicated to Hermann Maurer on the Occasion of His 70th Birthday Springer 2011
248Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: On Some Biologically Motivated Control Devices for Parallel Rewriting. Computation, Cooperation, and Life 2011: 181-190
247Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Kai Salomaa, Sheng Yu: Undecidability of the State Complexity of Composed Regular Operations. LATA 2011: 489-498
246Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhani Karhumäki, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Preface. Fundam. Inform. 110(1-4): (2011)
245Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Power Sums Associated with Certain Recursive Procedures on Words. Int. J. Found. Comput. Sci. 22(1): 261-272 (2011)
2010
244Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa: Membrane Computing, 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers Springer 2010
243Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Sheng Yu: Subword Occurrences, Parikh Matrices and Lyndon Images. Int. J. Found. Comput. Sci. 21(1): 91-111 (2010)
242Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Subword balance, position indices and power sums. J. Comput. Syst. Sci. 76(8): 861-871 (2010)
241Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelmut Jürgensen, Hermann A. Maurer, Arto Salomaa, Sheng Yu: Seventy Years Derick Wood. J. UCS 16(5): 577-585 (2010)
240Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood. J. UCS 16(5): 821-832 (2010)
239Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Criteria for the matrix equivalence of words. Theor. Comput. Sci. 411(16-18): 1818-1827 (2010)
2009
238Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Corne, Pierluigi Frisco, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers Springer 2009
237no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Characteristic Words for Parikh Matrices. Automata, Formal Languages, and Related Topics 2009: 117-127
236Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Kai Salomaa, Sheng Yu: Variants of codes and indecomposable languages. Inf. Comput. 207(11): 1340-1349 (2009)
2008
235Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Kai Salomaa, Sheng Yu: Length Codes, Products of Languages and Primality. LATA 2008: 476-486
234Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu: State complexity of basic language operations combined with reversal. Inf. Comput. 206(9-10): 1178-1186 (2008)
233Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Subword histories and associated matrices. Theor. Comput. Sci. 407(1-3): 250-257 (2008)
2007
232no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers Springer 2007
231no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuangwu Liu, Carlos Martín-Vide, Arto Salomaa, Sheng Yu: State Complexity of Basic Operations Combined with Reversal. LATA 2007: 355-366
230Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Subword Balance in BinaryWords, Languages and Sequences. Fundam. Inform. 75(1-4): 469-482 (2007)
229Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Mario J. Pérez-Jiménez, Arto Salomaa: Spiking Neural P Systems: an Early Survey. Int. J. Found. Comput. Sci. 18(3): 435-455 (2007)
228Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Comparing Subword Occurrences in Binary D0L Sequences. Int. J. Found. Comput. Sci. 18(6): 1395-1406 (2007)
227Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYo-Sub Han, Arto Salomaa, Kai Salomaa, Derick Wood, Sheng Yu: On the existence of prime decompositions. Theor. Comput. Sci. 376(1-2): 60-69 (2007)
226Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Kai Salomaa, Sheng Yu: State complexity of combined operations. Theor. Comput. Sci. 383(2-3): 140-152 (2007)
2006
225no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Freund, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers Springer 2006
224no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHendrik Jan Hoogeboom, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Membrane Computing, 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers Springer 2006
223Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCunsheng Ding, Arto Salomaa: Secret Sharing Schemes with Nice Access Structures. Fundam. Inform. 73(1-2): 51-63 (2006)
222Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCunsheng Ding, Arto Salomaa: On Some Problems of Mateescu Concerning Subword Occurrences. Fundam. Inform. 73(1-2): 65-79 (2006)
221Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Sheng Yu: Subword conditions and subword histories. Inf. Comput. 204(12): 1741-1755 (2006)
220Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Independence of certain quantities indicating subword occurrences. Theor. Comput. Sci. 362(1-3): 222-231 (2006)
2005
219no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiancarlo Mauri, Gheorghe Paun, Mario J. Pérez-Jiménez, Grzegorz Rozenberg, Arto Salomaa: Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers Springer 2005
218Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: On the Injectivity of Parikh Matrix Mappings. Fundam. Inform. 64(1-4): 391-404 (2005)
217Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Connections between subwords and certain matrix mappings. Theor. Comput. Sci. 340(1): 188-203 (2005)
2004
216no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers Springer 2004
215Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErzsébet Csuhaj-Varjú, Arto Salomaa: The Power of Networks of Watson-Crick D0L Systems. Aspects of Molecular Computing 2004: 106-118
214Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa: Matrix Indicators For Subword Occurrences And Ambiguity. Int. J. Found. Comput. Sci. 15(2): 277-292 (2004)
213Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa, Sheng Yu: Subword histories and Parikh matrices. J. Comput. Syst. Sci. 68(1): 1-21 (2004)
212Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Derick Wood, Sheng Yu: On the state complexity of reversals of regular languages. Theor. Comput. Sci. 320(2-3): 315-329 (2004)
2003
211no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron: Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers Springer 2003
210Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCunsheng Ding, Arto Salomaa, Patrick Solé, Xiaojian Tian: Three Constructions of Authentication/Secrecy Codes. AAECC 2003: 24-33
209no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Counting (scattered) Subwords. Bulletin of the EATCS 81: 165-179 (2003)
208Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErzsébet Csuhaj-Varjú, Carlos Martín-Vide, Gheorghe Paun, Arto Salomaa: From Watson-Crick L systems to Darwinian P systems. Natural Computing 2(3): 299-318 (2003)
207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Petr Sosík: Watson-Crick D0L systems: the power of one transition. Theor. Comput. Sci. 1-3(301): 187-200 (2003)
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJudit Csima, Erzsébet Csuhaj-Varjú, Arto Salomaa: Power and size of extended Watson-Crick L systems. Theor. Comput. Sci. 290(3): 1665-1678 (2003)
205Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamuel T. Chanson, Cunsheng Ding, Arto Salomaa: Cartesian authentication codes from functions with optimal nonlinearity. Theor. Comput. Sci. 290(3): 1737-1752 (2003)
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Composition sequences for functions over a finite domain. Theor. Comput. Sci. 292(1): 263-281 (2003)
2002
203no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Kuich, Grzegorz Rozenberg, Arto Salomaa: Developments in Language Theory, 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers Springer 2002
202no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto Salomaa: Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002] Springer 2002
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: DNA Complementarity and Paradigms of Computing. COCOON 2002: 3-17
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa: Nondeterministic Trajectories. Formal and Natural Computing 2002: 96-106
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Synchronization of Finite Automata: Contributions to an Old Problem. The Essence of Computation 2002: 37-59
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa, Sheng Yu: Factorizations of Languages and Commutativity Conditions. Acta Cybern. 15(3): 339-351 (2002)
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa: Some Decision Problems Concerning Semilinearity and Commutation. J. Comput. Syst. Sci. 65(2): 278-294 (2002)
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Generation of Constants and Synchronization of Finite Automata. J. UCS 8(2): 332-347 (2002)
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dassow, Victor Mitrana, Arto Salomaa: Operations and language generating devices suggested by the genome evolution. Theor. Comput. Sci. 270(1-2): 701-738 (2002)
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Arto Salomaa: ICALP, EATCS and Maurice Nivat. Theor. Comput. Sci. 281(1-2): 25-30 (2002)
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Uni-transitional Watson-Crick D0L systems. Theor. Comput. Sci. 281(1-2): 537-553 (2002)
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartyn Amos, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Topics in the theory of DNA computing. Theor. Comput. Sci. 287(1): 3-38 (2002)
2001
191no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: 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] Springer 2001
190no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Current Trends in Theoretical Computer Science, Entering the 21th Century World Scientific 2001
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa: Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages. ICALP 2001: 579-590
188no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Martín-Vide, Alexandru Mateescu, Arto Salomaa: Sewing contexts and mildly context-sensitive languages. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 75-84
187no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Iterated Morphisms with Complementarity on the DNA Alphabet. Words, Semigroups, and Transductions 2001: 405-420
186no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa: Many-Valued Truth Functions, Cernys' Conjecture, and Road Coloring. Current Trends in Theoretical Computer Science 2001: 693-707
185no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarjo Lipponen, Arto Salomaa: Simple Words in Equality Sets. Current Trends in Theoretical Computer Science 2001: 717-733
184no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValeria Mihalache, Arto Salomaa: Lindenmayer and DNA: Watson-Crick D0L Systems. Current Trends in Theoretical Computer Science 2001: 740-751
183no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErzsébet Csuhaj-Varjú, Arto Salomaa: Networks of Language Processors: Parallel Communicating Systems. Current Trends in Theoretical Computer Science 2001: 791-810
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu: A sharpening of the Parikh mapping. ITA 35(6): 551-564 (2001)
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValeria Mihalache, Arto Salomaa: Language-theoretic aspects of DNA complematarity. Theor. Comput. Sci. 250(1-2): 163-178 (2001)
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuha Honkala, Arto Salomaa: Watson-Crick D0L systems with regular triggers. Theor. Comput. Sci. 259(1-2): 689-698 (2001)
2000
179no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Derick Wood, Sheng Yu: A Half-Century of Automata Theory: Celebration and Inspiration World Scientific 2000
178no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Compositions over a Finite Domain: From Completeness to Synchronizable Automata. A Half-Century of Automata Theory 2000: 131-143
177no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErzsébet Csuhaj-Varjú, Arto Salomaa: Networks of Watson-Crick D0L Systems. Words, Languages & Combinatorics 2000: 134-150
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucian Ilie, Arto Salomaa: On the Expressiveness of Subset-Sum Representations. Acta Inf. 36(8): 665-672 (2000)
175no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Depth of Functional Compositions. Bulletin of the EATCS 71: 143-150 (2000)
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucian Ilie, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: On strongly context-free languages. Discrete Applied Mathematics 103(1-3): 153-165 (2000)
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Membrane Computing with External Output. Fundam. Inform. 41(3): 313-340 (2000)
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucian Ilie, Grzegorz Rozenberg, Arto Salomaa: A characterization of poly-slender context-free languages. ITA 34(1): 77-86 (2000)
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaishin Y. Nishida, Arto Salomaa: On slender 0L languages. Theor. Comput. Sci. 233(1-2): 279-286 (2000)
1999
170no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Arto Salomaa: Grammatical Models of Multi-Agent Systems Gordon and Breach Science Publishers 1999
169no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Sheng Yu: On the decomposition of finite languages. Developments in Language Theory 1999: 22-31
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Caesar and DNA. Views on Cryptology. FCT 1999: 39-53
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Arto Salomaa: DNA Computing: New Ideas and Paradigms. ICALP 1999: 106-118
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Watson-Crick Walks and Roads on DOL Graphs. Acta Cybern. 14(1): 179-192 (1999)
165no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa: Many-Valued Truth Functions, Cerny's Conjecture and Road Coloring. Bulletin of the EATCS 68: 134-150 (1999)
1998
164no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: DNA computing - new computing paradigms. Springer 1998: I-IX, 1-402
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTero Harju, Alexandru Mateescu, Arto Salomaa: Shuffle on Trajectories: The Schützenberger Product and Related Operations. MFCS 1998: 503-511
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLila Kari, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sheng Yu: DNA Computing, Sticker Systems, and Universality. Acta Inf. 35(5): 401-420 (1998)
161no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErzsébet Csuhaj-Varjú, Arto Salomaa: Networks of Language Processors: Parallel Communicating Systems. Bulletin of the EATCS 66: 122-138 (1998)
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Simple Splicing Systems. Discrete Applied Mathematics 84(1-3): 145-163 (1998)
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucian Ilie, Arto Salomaa: 2-Testability and Relabelings Produce Everything. J. Comput. Syst. Sci. 56(3): 253-262 (1998)
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa: Shuffle on Trajectories: Syntactic Constraints. Theor. Comput. Sci. 197(1-2): 1-56 (1998)
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucian Ilie, Arto Salomaa: On Well Quasi Orders of Free Monoids. Theor. Comput. Sci. 204(1-2): 131-152 (1998)
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Martín-Vide, Gheorghe Paun, Arto Salomaa: Characterizations of Recursively Enumerable Languages by Means of Insertion Grammars. Theor. Comput. Sci. 205(1-2): 195-205 (1998)
1997
155no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Arto Salomaa: New Trends in Formal Languages - Control, Cooperation, and Combinatorics (to Jürgen Dassow on the occasion of his 50th birthday) Springer 1997
154no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Mycielski, Grzegorz Rozenberg, Arto Salomaa: Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht Springer 1997
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCunsheng Ding, Valtteri Niemi, Ari Renvall, Arto Salomaa: TWOPRIME: A Fast Stream Ciphering Algorithm. FSE 1997: 88-102
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa: Syntactic and Semantic Aspects of Parallelism. Foundations of Computer Science: Potential - Theory - Cognition 1997: 79-105
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErzsébet Csuhaj-Varjú, Arto Salomaa: Networks of Parallel Language Processors. New Trends in Formal Languages 1997: 299-318
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, George Daniel Mateescu, Grzegorz Rozenberg, Arto Salomaa: Shuffle-like Operations on omega-words. New Trends in Formal Languages 1997: 395-411
149no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Conjugate Words, Cuts of the Deck and Cryptographic Protocols. Bulletin of the EATCS 61: (1997)
148no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValeria Mihalache, Arto Salomaa: Lindenmayer and DNA: Watson-Crick D0L Systems. Bulletin of the EATCS 62: (1997)
147no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa: Geometric Transformations on Language Families: The Power of Symmetry. Int. J. Found. Comput. Sci. 8(1): 1- (1997)
146no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSorina Dumitrescu, Gheorghe Paun, Arto Salomaa: Pattern Languages Versus Parallel Communicating Grammar Systems. Int. J. Found. Comput. Sci. 8(1): 67- (1997)
1996
145no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Public key cryptography (2. ed.). Springer 1996: I-X, 1-271
144no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Arto Salomaa: From DNA Recombination to DNA Computing, Via Formal Languages. German Conference on Bioinformatics 1996: 93-98
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Arto Salomaa: From DNA Recombination to DNA Computing, Via Formal Languages. German Conference on Bioinformatics - Selected Papers 1996: 210-220
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrzej Ehrenfeucht, Alexandru Mateescu, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: On Representing RE Languages by One-Sided Internal Contextual Languages. Acta Cybern. 12(3): 217-234 (1996)
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValeria Mihalache, Arto Salomaa: Growth Functions and Length Sets of Replicating Systems. Acta Cybern. 12(3): 235-248 (1996)
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucian Ilie, Arto Salomaa: On Regular Characterizations of Languages by Grammar Systems. Acta Cybern. 12(4): 411-426 (1996)
139no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa: Views on Linguistics. Bulletin of the EATCS 58: (1996)
138no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Conjugate Words, Cuts of the Deck and Cryptographic Protocol. Bulletin of the EATCS 59: (1996)
137no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarjo Lipponen, Arto Salomaa: Simple Words in Equality Sets. Bulletin of the EATCS 60: 123-143 (1996)
136no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCunsheng Ding, Arto Salomaa: On Cooperatively Distributed Ciphering and Hashing. Computers and Artificial Intelligence 15(2-3): (1996)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Contextual Grammars: Parallelism and Blocking of Derivation. Fundam. Inform. 25(3): 381-397 (1996)
134no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLila Kari, Gheorghe Paun, Arto Salomaa: The Power of Restricted Splicing with Rules from a Regular Language. J. UCS 2(4): 224-240 (1996)
133no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Pattern Grammars. Journal of Automata, Languages and Combinatorics 1(3): 219-242 (1996)
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor Mitrana, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Pattern Systems. Theor. Comput. Sci. 154(2): 183-201 (1996)
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaishin Y. Nishida, Arto Salomaa: Slender 0L Languages. Theor. Comput. Sci. 158(1&2): 161-176 (1996)
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Computing by Splicing. Theor. Comput. Sci. 168(2): 321-336 (1996)
1995
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLila Kari, Grzegorz Rozenberg, Arto Salomaa: Generalised DOL Trees. Acta Cybern. 12(1): 1-10 (1995)
128no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Return to Patterns. Bulletin of the EATCS 55: (1995)
127no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: From Parikh vectors to GO territories. Bulletin of the EATCS 56: (1995)
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Arto Salomaa: Thin and Slender Languages. Discrete Applied Mathematics 61(3): 257-270 (1995)
125no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLila Kari, Alexandru Mateescu, Gheorghe Paun, Arto Salomaa: On Parallel Deletions Applied to a Word. ITA 29(2): 129-144 (1995)
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu: P, NP and the Post Correspondence Problem Inf. Comput. 121(2): 135-142 (1995)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Jiang, Arto Salomaa, Kai Salomaa, Sheng Yu: Decision Problems for Patterns. J. Comput. Syst. Sci. 50(1): 53-63 (1995)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLila Kari, Alexandru Mateescu, Gheorghe Paun, Arto Salomaa: Teams in cooperating grammar systems. J. Exp. Theor. Artif. Intell. 7(4): 347-359 (1995)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Grammars Based on the Shuffle Operation. J. UCS 1(1): 67-81 (1995)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Parikh Prime Words and GO-like Territories. J. UCS 1(12): 790-810 (1995)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErzsébet Csuhaj-Varjú, Gheorghe Paun, Arto Salomaa: Conditional Tabled Eco-Grammar Systems. J. UCS 1(5): 252-268 (1995)
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu: Lexical Analysis with a Simple Finite-Fuzzy-Automaton Model. J. UCS 1(5): 292-311 (1995)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLila Kari, Alexandru Mateescu, Gheorghe Paun, Arto Salomaa: Multi-Pattern Languages. Theor. Comput. Sci. 141(1&2): 253-268 (1995)
1994
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Arto Salomaa: Cornerstones of undecidability. Prentice Hall 1994: I-XVI, 1-197
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa: Nondeterminism in Patterns. STACS 1994: 661-668
114no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Patterns. Bulletin of the EATCS 54: 194-206 (1994)
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa: Finite Degrees of Ambiguity in Pattern Languages. ITA 28(3-4): 233-253 (1994)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Hermann A. Maurer, Arto Salomaa: Journal of Universal Computer Science. J. UCS 0(0): 109-115 (1994)
1993
111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Grzegorz Rozenberg, Arto Salomaa: Contextual Grammars: Erasing, Determinism, One-Side Contexts. Developments in Language Theory 1993: 370-388
110no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristian Calude, Arto Salomaa: Algorithmically Coding the Universe. Developments in Language Theory 1993: 472-492
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Pattern Languages: Problems of Decidability and Generation. FCT 1993: 121-132
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTao Jiang, Arto Salomaa, Kai Salomaa, Sheng Yu: Inclusion is Undecidable for Pattern Languages. ICALP 1993: 301-312
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa: Post Correspondence Problem: Primitivity and Interrelations with Complexity Classes. MFCS 1993: 174-184
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa: On Simplest Possible Solutions for Post Correspondence Problems. Acta Inf. 30(5): 441-457 (1993)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Simple Reductions Between D0L Language and Sequence Equivalence Problems. Discrete Applied Mathematics 41(3): 271-274 (1993)
104no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLila Kari, Alexandru Mateescu, Arto Salomaa, Gheorghe Paun: Deletion Sets. Fundam. Inform. 19(3/4): 355-370 (1993)
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandru Mateescu, Arto Salomaa: PCP-Prime Words and Primality Types. ITA 27(1): 57-70 (1993)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dassow, Gheorghe Paun, Arto Salomaa: On the Union of 0L Languages. Inf. Process. Lett. 47(2): 59-63 (1993)
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dassow, Gheorghe Paun, Arto Salomaa: Grammars Based on Patterns. Int. J. Found. Comput. Sci. 4(1): 1-14 (1993)
100no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLila Kari, Alexandru Mateescu, Arto Salomaa, Gheorghe Paun: Gramars with Oracles. Sci. Ann. Cuza Univ. 2: 3-12 (1993)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Arto Salomaa: Closure Properties of Slender Languages. Theor. Comput. Sci. 120(2): 293-301 (1993)
1992
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dassow, Alexandru Mateescu, Gheorghe Paun, Arto Salomaa: Regularizing Context-Free Languages by AFL Operations: Concatenation and Kleene Closure. Acta Cybern. 10(4): 243-254 (1992)
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLila Kari, Solomon Marcus, Gheorghe Paun, Arto Salomaa: In the prehistory of formal language theory: Gauss Languages. Bulletin of the EATCS 46: 124-139 (1992)
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGheorghe Paun, Arto Salomaa: Decision Problems Concerning the Thinness of DOL Languages. Bulletin of the EATCS 46: 171-181 (1992)
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: What Emil said about the Post correspondance problem. Bulletin of the EATCS 47: 154-165 (1992)
94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuha Honkala, Arto Salomaa: Characterization results about L codes. ITA 26: 287-302 (1992)
1991
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuha Honkala, Arto Salomaa: L Morphisms: Bounded Delay and Regularity of Ambiguity. ICALP 1991: 566-574
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Verifying and Recasting Secret Ballots in Computer Networks. New Results and New Trends in Computer Science 1991: 283-289
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: L Codes and L Systems with Immigration. Bulletin of the EATCS 43: 124-130 (1991)
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Kai Salomaa, Sheng Yu: Primary Types of Instances of the Post Correspondence Problem. Bulletin of the EATCS 44: 226-241 (1991)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHannu Nurmi, Arto Salomaa, Lila Santean: Secret ballot elections in computer networks. Computers & Security 10(6): 553-560 (1991)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Preface. Discrete Applied Mathematics 32(2): 83 (1991)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Many aspects of formal languages. Inf. Sci. 57-58: 119-129 (1991)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: Bounded Delay L Codes. Theor. Comput. Sci. 84(2): 265-279 (1991)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: A Deterministic Algorithm for Modular Knapsack Problems. Theor. Comput. Sci. 88(1): 127-138 (1991)
1990
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Formal Language and Power Series. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 103-132
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Decision problems arising from knapsack transformations. Acta Cybern. 9(4): 419-440 (1990)
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Decidability in finite automata. Bulletin of the EATCS 41: 175-183 (1990)
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Lila Santean: Secret Selling of Secrets with Several Buyers. Bulletin of the EATCS 42: 178-186 (1990)
1989
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: The Formal Language Theory Column. Bulletin of the EATCS 38: 107-122 (1989)
1988
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimo Lepistö, Arto Salomaa: Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings Springer 1988
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Cryptography and Data Security. IMYCS 1988: 220-244
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Juhani Karhumäki: The Formal Language Theory Column. Bulletin of the EATCS 34: 82-96 (1988)
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: The formal language theory column. Bulletin of the EATCS 35: 82-96 (1988)
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: The Formal Language Theory Column. Bulletin of the EATCS 36: 85-95 (1988)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: A Pumping Result for 2-Context-Free Languages. Theor. Comput. Sci. 62(3): 267-287 (1988)
1987
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Formal languages. Academic Press 1987: I-XIII, 1-322
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Formal Language Theory Column - Two-way Thue. Bulletin of the EATCS 32: 82-87 (1987)
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: The formal Language Theory Column. Bulletin of the EATCS 33: 42-53 (1987)
1986
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Kuich, Arto Salomaa: Semirings, Automata, Languages Springer 1986
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Arto Salomaa: The book of L. Springer 1986: I-XV, 1-471
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEfim B. Kinber, Arto Salomaa, Sheng Yu: On the equivalence of grammars inferred from derivation. Bulletin of the EATCS 29: 39-45 (1986)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Jozef Gruska, Arto Salomaa: Systolic Trellis Automata: Stability, Decidability and Complexity Information and Control 71(3): 218-230 (1986)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: On a Public-Key Cryptosystem Based on Iterated Morphisms and Substitutions. Theor. Comput. Sci. 48(3): 283-296 (1986)
1985
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: The Ehrenfeucht conjecture: a proof for language theorists. Bulletin of the EATCS 27: 71-82 (1985)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelmut Jürgensen, Arto Salomaa: Syntactic monoids in the construction of systolic tree automata. International Journal of Parallel Programming 14(1): 35-49 (1985)
1984
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Arto Salomaa, Derick Wood: Systolic Tree Acceptors. ITA 18(1): 53-69 (1984)
1983
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Arto Salomaa: Ambiguity and Decision Problems Concerning Number Systems. ICALP 1983: 137-146
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Arto Salomaa: Ambiguity and Decision Problems Concerning Number Systems Information and Control 56(3): 139-153 (1983)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: A Supernormal-Form Theorem for Context-Free Grammars J. ACM 30(1): 95-102 (1983)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: L Codes and Number Systems. Theor. Comput. Sci. 22: 331-346 (1983)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Jozef Gruska, Arto Salomaa: On a Family of L Languages Resulting from Systolic Tree Automata. Theor. Comput. Sci. 23: 231-242 (1983)
1982
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Jozef Gruska, Arto Salomaa: Systolic Automata for VLSI on Balanced Trees. Acta Inf. 18: 335-344 (1982)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: Dense Hierarchies of Grammatical Families. J. ACM 29(1): 118-126 (1982)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: Finitary and Infinitary Interpretations of Languages. Mathematical Systems Theory 15(3): 251-265 (1982)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Arto Salomaa: On Infinite Words Obtained by Iterating Morphisms. Theor. Comput. Sci. 19: 29-38 (1982)
1981
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: Synchronized EOL Forms Under Uniform Interpretation. ITA 15(4): 337-353 (1981)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ottmann, Arto Salomaa, Derick Wood: Sub-Regular Grammar Forms. Inf. Process. Lett. 12(4): 184-187 (1981)
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: On Predecessors of Finite Languages Information and Control 50(3): 259-275 (1981)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: Completeness of Context-Free Grammar Forms. J. Comput. Syst. Sci. 23(1): 1-10 (1981)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: Uniform Interpretations of Grammar Forms. SIAM J. Comput. 10(3): 483-502 (1981)
1980
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Grammatical Families. ICALP 1980: 543-554
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Equality sets for homomorphisms of free monoid. Acta Cybern. 4: 127-139 (1980)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: On Generators and Generative Capacity of EOL Forms. Acta Inf. 13: 87-107 (1980)
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: Pure Grammars Information and Control 44(1): 47-72 (1980)
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: MSW Spaces Information and Control 46(3): 187-199 (1980)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Arto Salomaa: Test Sets and Checking Words for Homomorphism Equivalence. J. Comput. Syst. Sci. 20(3): 379-395 (1980)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: Context-Free Grammar Forms with Strict Interpretations. J. Comput. Syst. Sci. 21(1): 110-135 (1980)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: Synchronized E0L Forms. Theor. Comput. Sci. 12: 135-159 (1980)
1979
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Power from Power Series. MFCS 1979: 170-181
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Grzegorz Rozenberg, Arto Salomaa, Derick Wood: Pure interpretations for EOL forms. ITA 13(1): (1979)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: Context-Dependent L Forms Information and Control 42(1): 97-118 (1979)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Martti Penttonen, Arto Salomaa, Derick Wood: On Non Context-Free Grammar Forms. Mathematical Systems Theory 12: 297-324 (1979)
1978
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Matti Soittola: Automata-theoretic aspects of formal power series. Springer 1978: I-X, 1-171
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Formale Sprachen. Springer 1978: I-XI, 1-314
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: Relative Goodness for EOL Forms. ITA 12(4): (1978)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: Uniform Interpretations of L Forms Information and Control 36(2): 157-173 (1978)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: ETOL Forms. J. Comput. Syst. Sci. 16(3): 345-361 (1978)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Arto Salomaa: On the Decidability of Homomorphism Equivalence for Languages. J. Comput. Syst. Sci. 17(2): 163-175 (1978)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: On Good E0L Forms. SIAM J. Comput. 7(2): 158-166 (1978)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, Hermann A. Maurer, Thomas Ottmann, Keijo Ruohonen, Arto Salomaa: Isomorphism, Form Equivalence and Sequence Equivalence of PD0L Forms. Theor. Comput. Sci. 6: 143-173 (1978)
1977
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa, Magnus Steinby: Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings Springer 1977
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Arto Salomaa, Derick Wood: EOL Forms. Acta Inf. 8: 75-96 (1977)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Arto Salomaa: New squeezing mechanisms for L systems. Inf. Sci. 12(3): 187-201 (1977)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHermann A. Maurer, Thomas Ottmann, Arto Salomaa: On the Form Equivalence of L-Forms. Theor. Comput. Sci. 4(2): 199-225 (1977)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Martti Penttonen, Arto Salomaa: Bibliography of L Systems. Theor. Comput. Sci. 5(3): 339-354 (1977)
1976
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Recent Results on L Systems. MFCS 1976: 115-123
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Undecidable Problems Concerning Growth in Informationless Lindenmayer Systems. Elektronische Informationsverarbeitung und Kybernetik 12(7): 331-335 (1976)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Arto Salomaa: Context-Free Grammars with Graph-Controlled Tables. J. Comput. Syst. Sci. 13(1): 90-99 (1976)
1975
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Formal Power Series and Growth Functions of Lindenmayer Systems. MFCS 1975: 101-113
1974
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrzegorz Rozenberg, Arto Salomaa: L Systems, Most of the papers were presented at a conference in Aarhus, Denmark, January 14-25, 1974 Springer 1974
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Parallelism in Rewriting Systems. ICALP 1974: 523-533
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Iteration Grammars and Lindenmayer AFL's. L Systems 1974: 250-253
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum: Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems. Acta Inf. 3: 357-364 (1974)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum: Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. I. Deterministic Systems. Acta Inf. 4: 87-106 (1974)
1973
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: On some recent problems concerning developmental languages. Automatentheorie und Formale Sprachen 1973: 23-34
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: L-Systems: A Device in Biologically Motivated Automata Theory. MFCS 1973: 147-151
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: On Sentential Forms of Context-Free Grammars. Acta Inf. 2: 40-49 (1973)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAzaria Paz, Arto Salomaa: Integral Sequential Word Functions and Growth Equivalence of Lindenmayer Systems Information and Control 23(4): 313-343 (1973)
1972
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Matrix Grammars with a Leftmost Restriction Information and Control 20(2): 143-149 (1972)
1971
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: The Generative Capacity of Transformational Grammars of Ginsburg and Partee Information and Control 18(3): 227-232 (1971)
1970
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Periodically Time-Variant Context-Free Grammars Information and Control 17(3): 294-311 (1970)
1969
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: On the Index of a Context-Free Grammar and Language Information and Control 14(5): 474-477 (1969)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Probabilistic and Weighted Grammars Information and Control 15(6): 529-544 (1969)
1968
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: On Finite Automata with a Time-Variant Structure Information and Control 13(2): 85-98 (1968)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: On Regular Expressions and Regular Canonical Systems. Mathematical Systems Theory 2(4): 341-355 (1968)
1967
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: On m-adic Probabilistic Automata Information and Control 10(2): 215-219 (1967)
1966
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: Two Complete Axiom Systems for the Algebra of Regular Events. J. ACM 13(1): 158-169 (1966)
1960
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArto Salomaa: A Theorem Concerning the Composition of Functions of Several Variables Ranging Over a Finite Set. J. Symb. Log. 25(3): 203-208 (1960)

Coauthor Index

1Martyn Amos [192]
2Wilfried Brauer [202]
3Cristian S. Calude (Cristian Calude) [110] [112] [191] [249]
4Samuel T. Chanson [205]
5Francis Y. L. Chin (Francis Yuk-Lun Chin) [251]
6David W. Corne (David Corne) [238]
7Judit Csima [206]
8Erzsébet Csuhaj-Varjú [119] [151] [161] [177] [183] [206] [208] [215]
9Karel Culik II [29] [31] [43] [54] [57] [58] [61] [62] [63] [67]
10Jürgen Dassow [98] [101] [102] [195]
11Cunsheng Ding [136] [153] [205] [210] [222] [223]
12Sorina Dumitrescu [146]
13Andrzej Ehrenfeucht [142]
14Hartmut Ehrig [202]
15George Eleftherakis [232]
16Rudolf Freund [225]
17Pierluigi Frisco [238]
18Marian Gheorghe [250] [254]
19Jozef Gruska [57] [58] [67]
20Yo-Sub Han [227]
21Tero Harju [163] [189] [197]
22Thomas Hinze [250]
23Juha Honkala [93] [94] [180]
24Hendrik Jan Hoogeboom [224]
25Oscar H. Ibarra [189] [197] [251]
26Lucian Ilie [140] [157] [159] [172] [174] [176]
27Tao Jiang [108] [123]
28Helmut Jürgensen [64] [241]
29Juhani Karhumäki [77] [189] [197] [202] [246]
30Lila Kari (Lila Santean) [81] [89] [97] [100] [104] [117] [122] [125] [129] [134] [162]
31Petros Kefalas [232]
32Efim B. Kinber [68]
33Werner Kuich [70] [203]
34Timo Lepistö [79]
35Marjo Lipponen [137] [185]
36Guangwu Liu [231] [234]
37Solomon Marcus [97]
38Carlos Martín-Vide [156] [188] [208] [216] [231] [234]
39Alexandru Mateescu [98] [100] [103] [104] [106] [107] [113] [115] [117] [118] [120] [122] [124] [125] [139] [142] [147] [150] [152] [158] [160] [163] [165] [182] [186] [188] [198] [200] [213] [214]
40George Daniel Mateescu [150]
41Hermann A. Maurer [25] [27] [29] [30] [32] [33] [34] [37] [38] [39] [41] [42] [44] [45] [46] [49] [50] [51] [53] [55] [56] [59] [60] [86] [112] [241]
42Giancarlo Mauri [216] [219]
43Valeria Mihalache [141] [148] [181] [184]
44Victor Mitrana [132] [195]
45Jan Mycielski [154]
46Mogens Nielsen [15] [16]
47Valtteri Niemi [153]
48Taishin Y. Nishida [131] [171]
49Hannu Nurmi [89]
50Thomas Ottmann [25] [29] [52]
51Gheorghe Paun [96] [97] [98] [99] [100] [101] [102] [104] [111] [117] [119] [120] [121] [122] [125] [126] [130] [132] [133] [134] [135] [142] [143] [144] [146] [155] [156] [160] [162] [164] [170] [173] [174] [190] [191] [192] [208] [211] [216] [219] [224] [225] [229] [232] [238] [244] [246] [250] [254]
52Azaria Paz [11]
53Martti Penttonen [24] [37]
54Mario J. Pérez-Jiménez (Mario de J. Pérez-Jiménez) [219] [229] [244]
55Ari Renvall [153]
56Agustin Riscos-Núñez [244]
57Grzegorz Rozenberg [15] [16] [19] [21] [24] [26] [39] [69] [111] [116] [120] [121] [129] [130] [132] [133] [135] [142] [147] [150] [152] [154] [158] [160] [162] [164] [167] [172] [173] [174] [190] [191] [192] [194] [203] [211] [216] [219] [224] [225] [232] [238] [244] [246] [249] [250] [254]
58Keijo Ruohonen [29]
59Sartaj Sahni (Sartaj K. Sahni) [251]
60Kai Salomaa [90] [108] [118] [123] [124] [182] [226] [227] [235] [236] [247]
61Sven Skyum [15] [16]
62Matti Soittola [36]
63Patrick Solé [210]
64Petr Sosík [207]
65Magnus Steinby [28]
66Xiaojian Tian [210]
67Sergey Verlan [254]
68Derick Wood [27] [30] [32] [33] [34] [37] [38] [39] [41] [42] [44] [45] [46] [49] [50] [51] [52] [53] [55] [56] [59] [60] [63] [86] [179] [212] [227]
69Sheng Yu [68] [90] [108] [118] [123] [124] [162] [169] [179] [182] [198] [212] [213] [221] [226] [227] [231] [234] [235] [236] [241] [243] [247]
70Claudio Zandron [211]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page