WorldCat Identities

Salomaa, Arto

Overview
Works: 402 works in 1,158 publications in 6 languages and 18,767 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other, Honoree, Dedicatee, Author of introduction
Publication Timeline
.
Most widely held works by Arto Salomaa
Computation and automata by Arto Salomaa( )

45 editions published between 1985 and 2011 in 4 languages and held by 1,471 WorldCat member libraries worldwide

In this book, which was originally published in 1985, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science: computability and recursive functions, formal languages and automata, computational complexity and cryptography. Without sacrificing readability, the presentation is essentially self-contained, with detailed proofs of all statements provided. Professor Salomaa is well known for his books in this area. The present work provides an insight into the basics, together with explanations of some of the more important developments in the field
A half-century of automata theory : celebration and inspiration by Arto Salomaa( )

17 editions published in 2001 in English and held by 1,418 WorldCat member libraries worldwide

"This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early development of automata theory are reminisced about the future directions are suggested. Although some of the contributions go into rather intriguing technical details, most of the book is accessible to a wide audience interested in the progress of the age of computers." "The book is for professionals in theoretical computer science and related areas of mathematics, and for students in these areas."--Jacket
Current trends in theoretical computer science : essays and tutorials by Gheorghe Păun( )

18 editions published between 1993 and 2001 in English and held by 1,246 WorldCat member libraries worldwide

The book is a very up-to-date collection of articles in theoretical computer science, written by leading authorities in the field. The topics range from algorithms and complexity to algebraic specifications, and from formal languages and language-theoretic modeling to computational geometry. The material is based on columns and articles that have appeared in the EATCS Bulletin during the past two to three years. Although very recent research is discussed, the largely informal style of writing makes the book accessible to readers with little or no previous knowledge of the topics
Current trends in theoretical computer science : the challenge of the new century by Gheorghe Păun( )

17 editions published in 2004 in English and held by 1,126 WorldCat member libraries worldwide

This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, "Algorithms and Complexity" and "Formal Models and Semantics", reflecting the traditional division of the field. The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not presuppose much knowledge of the are
Formal languages by Arto Salomaa( Book )

32 editions published between 1973 and 1987 in 4 languages and held by 759 WorldCat member libraries worldwide

Language and grammar. Regular and context-free languages. Context sensitive and type-0 languages. Abstract families of languages. Regulated rewriting. Context-free languages revisited. Some further classes of generative devices. Solvability and unsolvability. Complexity. Guide to the literature. Subject index
Public-key cryptography by Arto Salomaa( Book )

32 editions published between 1990 and 2011 in 4 languages and held by 726 WorldCat member libraries worldwide

Cryptography, secret writing, is probably as old as writing itself. But only recently has it become the object of extensive scientific studies. Vast new applications to data security are one explanation for this. Perhaps a more important reason for the huge growth of scientific research on cryptography is the seminal idea of public-key cryptography and the resulting new vistas on the possibilities of communication. This book gives a broad overview of public-key cryptography, covering its essence and advantages, various public-key cryptosystems and protocols. It also gives a comprehensive introduction to classical cryptography and cryptanalysis. The book is self-contained and suitable both as a text and as a reference. It starts from the beginning but also includes some 1989 developments. The presentation is in many ways new, with some new results. The treatment is rigorous but avoids unnecessary formalism. The plaintext examples in the book form a package of basic sauna knowledge
The mathematical theory of L systems by Grzegorz Rozenberg( Book )

11 editions published in 1980 in English and held by 520 WorldCat member libraries worldwide

Jewels of formal language theory by Arto Salomaa( Book )

24 editions published between 1980 and 1986 in 3 languages and held by 501 WorldCat member libraries worldwide

Repetitions. Regularity: characterizations. Regularity: challenging problems. Codes and equality sets. Decidable and undecidable. Morphic representations. Language families
Theory of automata by Arto Salomaa( Book )

21 editions published between 1969 and 2015 in English and held by 499 WorldCat member libraries worldwide

Theory of Automata deals with mathematical aspects of the theory of automata theory, with emphasis on the finite deterministic automaton as the basic model. All other models, such as finite non-deterministic and probabilistic automata as well as pushdown and linear bounded automata, are treated as generalizations of this basic model. The formalism chosen to describe finite deterministic automata is that of regular expressions. A detailed exposition regarding this formalism is presented by considering the algebra of regular expressions
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday by Juhani Karhumäki( )

10 editions published in 2004 in English and held by 459 WorldCat member libraries worldwide

This commemorative book celebrates the 70th birthday of Arto Kustaa Salomaa, one of the most influential researchers in theoretical computer science. The 24 invited papers by leading researchers in the area address a broad variety of topics in theoretical computer science and impressively reflect the breadth and the depth of Arto Salomaa's scientific work
Semirings, automata, languages by Werner Kuich( Book )

16 editions published between 1985 and 1986 in 3 languages and held by 457 WorldCat member libraries worldwide

Automata theory is the oldest among the disciplines constituting the subject matter of this Monograph Series: theoretical computer science. Indeed, automata theory and the closely related theory of formal languages form nowadays such a highly developed and diversified body of knowledge that even an exposition of "reasonably important" results is not possible within one volume. The purpose of this book is to develop the theory of automata and formal languages, starting from ideas based on linear algebra. By what was said above, it should be obvious that we do not intend to be encyclopedic. However, this book contains the basics of regular and context-free languages (including some new results), as well as a rather complete theory of pushdown automata and variations (e. g. counter automata). The wellknown AFL theory is extended to power series ("AFP theory"). Additional new results include, for instance, a grammatical characterization of the cones and the principal cones of context-free languages, as well as new decidability results
Rainbow of computer science : dedicated to Hermann Maurer on the occasion if his 70th birthday by Cristian Calude( )

14 editions published in 2011 in English and held by 457 WorldCat member libraries worldwide

This book is dedicated to Hermann Maurer on the occasion of his 70th birthday. The title word Rainbow reflects the beauty and variety of the achievements of this outstanding scientist, and also the diversity and depth of current research in computer science. The high admiration that Professor Maurer enjoys in the computer science community all over the world was witnessed by the enthusiastic response received to the request to contribute to this book. The contributors are leading researchers, also representing the diversity of computer science. The research areas included in the book range from Automata, Formal Languages and Computability to various aspects of the Practice of Computer Science, as well as from Algorithmics to Learning. The book consists of a brief Preface describing the achievements of Professor Maurer, followed by twenty articles roughly grouped together according to their topics. Most of the articles are written in a style understandable to a wider audience. The book is useful to anyone interested in recent developments in computer science
DNA computing : new computing paradigms by Gheorghe Păun( Book )

20 editions published between 1998 and 2011 in 3 languages and held by 448 WorldCat member libraries worldwide

This is the first text and monograph about DNA computing, a molecular approach that might revolutionize our thinking and ideas about computing. Although it is too soon to predict whether computer hardware is likely to change from silicon to carbon and from microchips to DNA molecules, the theoretical premises have already been studied extensively. The book starts with an introduction to DNA-related matters, the basics of biochemistry and language and computation theory, and progresses to the advanced mathematical theory of DNA computing. Apart from being well-known scientists, all three authors are known for their lucid writing. Many of their previous books have become classics in their field, and this book too is sure to follow their example
L systems by Grzegorz Rozenberg( Book )

20 editions published between 1974 and 2007 in 3 languages and held by 421 WorldCat member libraries worldwide

Automata-theoretic aspects of formal power series by Arto Salomaa( Book )

19 editions published between 1978 and 2011 in English and German and held by 400 WorldCat member libraries worldwide

This book develops a theory of formal power series in noncommuting variables, the main emphasis being on results applicable to automata and formal language theory. This theory was initiated around 196O-apart from some scattered work done earlier in connection with free groups-by M. P. Schutzenberger to whom also belong some of the main results. So far there is no book in existence concerning this theory. This lack has had the unfortunate effect that formal power series have not been known and used by theoretical computer scientists to the extent they in our estimation should have been. As with most mathematical formalisms, the formalism of power series is capable of unifying and generalizing known results. However, it is also capable of establishing specific results which are difficult if not impossible to establish by other means. This is a point we hope to be able to make in this book. That formal power series constitute a powerful tool in automata and language theory depends on the fact that they in a sense lead to the arithmetization of automata and language theory. We invite the reader to prove, for instance, Theorem IV. 5. 3 or Corollaries III. 7. 8 and III. 7.- all specific results in language theory-by some other means. Although this book is mostly self-contained, the reader is assumed to have some background in algebra and analysis, as well as in automata and formal language theory
Membrane computing : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013 : revised selected papers by Artiom Alhazov( )

15 editions published between 2012 and 2014 in English and held by 400 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Membrane Computing, CMC 2013, held in Chişinău, Republic of Moldova, in August 2013. The 16 revised selected papers presented together with 6 invited lectures were carefully reviewed and selected from 26 papers presented at the conference. Membrane computing is an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. It deals with membrane systems, also called P systems, which are distributed and parallel algebraic models processing multisets of objects in a localized manner (evolution rules and evolving objects are encapsulated into compartments delimited by membranes), with an essential role played by the communication among compartments and with the environment
New trends in formal languages : control, cooperation, and combinatorics by Gheorghe Păun( Book )

17 editions published in 1997 in English and German and held by 382 WorldCat member libraries worldwide

This book presents a collection of refereed papers on formal language theory arranged for the occasion of the 50th birthday of Jrgen Dassow, who has made a significant contribution to the areas of regulated rewriting and grammar systems. The volume comprises 33 revised full papers organized in sections on regulated rewriting, cooperating distributed grammar systems, parallel communicating grammar systems, splicing systems, infinite words, and algebraic approaches to languages
Membrane computing : 13th international conference, CMC 2012, Budapest, Hungary, August 28-31, 2012 : revised selected papers by E Csuhaj-Varjú( )

7 editions published in 2013 in English and held by 381 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Membrane Computing, CMC 2012, held in Budapest, Hungary, in August 2012. The 21 revised selected papers presented together with 6 invited lectures were carefully reviewed and selected from 25 papers presented at the conference. The book also deals with membrane systems, also called P systems, which are distributed and parallel algebraic models processing multisets of objects in a localized manner (evolution rules and evolving objects are encapsulated into compartments delimited by membranes), with an essential role played by the communication among compartments and with the environment
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht by Jan Mycielski( Book )

17 editions published in 1997 in English and Undetermined and held by 381 WorldCat member libraries worldwide

This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally well-known scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excellent papers centered around his scientific work. The 22 invited papers are presented in topical sections on model theory, games and logic, graphs and algorithms, pattern matching and learning, combinatorics of words, algebra of languages, formal language theory, and computational molecular biology
Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers by Werner Kuich( Book )

21 editions published between 2001 and 2002 in English and held by 379 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Developments in Language Theory, DLT 2001, held in Vienna, Austria, in July 2001. The 24 revised full papers presented together with 10 revised invited papers were carefully selected during two rounds of reviewing and revision from a total of 64 papers submitted. Among the topics covered are grammars and acceptors, efficient algorithms for languages, combinatorial and algebraic properties, decision problems, relations to complexity theory, logic, picture description and analysis, DNA computing, cryptography, and concurrency
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.39 (from 0.01 for Current tr ... to 1.00 for Special is ...)

WorldCat IdentitiesRelated Identities
Current trends in theoretical computer science : the challenge of the new century
Covers
A half-century of automata theory : celebration and inspirationCurrent trends in theoretical computer science : essays and tutorialsCurrent trends in theoretical computer science : the challenge of the new centuryPublic-key cryptographyThe mathematical theory of L systemsTheory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthdayRainbow of computer science : dedicated to Hermann Maurer on the occasion if his 70th birthdayDNA computing : new computing paradigms
Alternative Names
Arto Salomaa finnischer Informatiker

Arto Salomaa Finnish mathematician and computer scientist

Arto Salomaa Finnish mathematician and computer scientist; academian of science (Academy of Finland), professor emeritus of mathematics (University of Turku)

Arto Salomaa Fins wiskundige

Salomaa, A.

Salomaa, A. 1934-

Salomaa, A. (Arto)

Salomaa, Arto

Salomaa, Arto K.

Salomaa, Arto K. 1934-

Salomaa Arto Kustaa

Salomaa, Arto Kustaa 1934-

Саломаа Арто

サローマ, A.

Languages