Salomaa, Arto
Overview
Works:  231 works in 741 publications in 6 languages and 14,177 library holdings 

Genres:  Conference proceedings 
Roles:  Author, Editor, Honoree, Dedicatee, Other, Author of introduction 
Classifications:  QA76, 004 
Publication Timeline
.
Most widely held works about
Arto Salomaa
Most widely held works by
Arto Salomaa
A halfcentury of automata theory celebration and inspiration
by A Salomaa(
)
9 editions published in 2001 in English and held by 1,055 WorldCat member libraries worldwide
Annotation Eleven pioneers in the field reminisce about the development of automata theory and suggest possible future directions for the field, in these seven papers from a July 2000 symposium held at the University of Western Ontario, Canada. Specific topics include hazard algebras, undecidability and incompleteness results in automata theory, playing infinite games in finite time, gene assembly in ciliates, and compositions over a finite domain. This work lacks a subject index. Salomaa is affiliated with the Turku Center for Computer Science, Finland. Annotation c. Book News, Inc., Portland, OR (booknews.com)
9 editions published in 2001 in English and held by 1,055 WorldCat member libraries worldwide
Annotation Eleven pioneers in the field reminisce about the development of automata theory and suggest possible future directions for the field, in these seven papers from a July 2000 symposium held at the University of Western Ontario, Canada. Specific topics include hazard algebras, undecidability and incompleteness results in automata theory, playing infinite games in finite time, gene assembly in ciliates, and compositions over a finite domain. This work lacks a subject index. Salomaa is affiliated with the Turku Center for Computer Science, Finland. Annotation c. Book News, Inc., Portland, OR (booknews.com)
Current trends in theoretical computer science entering the 21st century
(
)
7 editions published in 2001 in English and held by 855 WorldCat member libraries worldwide
The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label "computer science". The theoretical foundations of such disciplines have become known as "theoretical computer science". This book highlights some key issues of theoretical computer science as they seem to us now, at the beginning of the new millennium. The text is based on columns and tutorials published in the "Bulletin of the European Association for Theoretical Computer Science" in the period 19952000. The columnists themselves selected the material they wanted for this book, and the editors had a chance to update their work. Indeed, much of the material presented here appears in a form quite different from the original. Since the presentation of most of the articles is readerfriendly and does not presuppose much knowledge of the area, the book constitutes suitable supplementary reading material for various courses in computer science
7 editions published in 2001 in English and held by 855 WorldCat member libraries worldwide
The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label "computer science". The theoretical foundations of such disciplines have become known as "theoretical computer science". This book highlights some key issues of theoretical computer science as they seem to us now, at the beginning of the new millennium. The text is based on columns and tutorials published in the "Bulletin of the European Association for Theoretical Computer Science" in the period 19952000. The columnists themselves selected the material they wanted for this book, and the editors had a chance to update their work. Indeed, much of the material presented here appears in a form quite different from the original. Since the presentation of most of the articles is readerfriendly and does not presuppose much knowledge of the area, the book constitutes suitable supplementary reading material for various courses in computer science
Current trends in theoretical computer science the challenge of the new century
(
)
6 editions published in 2004 in English and held by 837 WorldCat member libraries worldwide
6 editions published in 2004 in English and held by 837 WorldCat member libraries worldwide
Computation and automata
by
Arto Salomaa(
Book
)
27 editions published between 1985 and 2011 in 3 languages and held by 767 WorldCat member libraries worldwide
In this 1985 book, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science
27 editions published between 1985 and 2011 in 3 languages and held by 767 WorldCat member libraries worldwide
In this 1985 book, Arto Salomaa gives an introduction to certain mathematical topics central to theoretical computer science
Formal languages
by
Arto Salomaa(
Book
)
29 editions published between 1973 and 1987 in 4 languages and held by 715 WorldCat member libraries worldwide
Language and grammar. Regular and contextfree languages. Context sensitive and type0 languages. Abstract families of languages. Regulated rewriting. Contextfree languages revisited. Some further classes of generative devices. Solvability and unsolvability. Complexity. Guide to the literature. Subject index
29 editions published between 1973 and 1987 in 4 languages and held by 715 WorldCat member libraries worldwide
Language and grammar. Regular and contextfree languages. Context sensitive and type0 languages. Abstract families of languages. Regulated rewriting. Contextfree languages revisited. Some further classes of generative devices. Solvability and unsolvability. Complexity. Guide to the literature. Subject index
Publickey cryptography
by
Arto Salomaa(
Book
)
26 editions published between 1990 and 2011 in 4 languages and held by 615 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 publickey cryptography and the resulting new vistas on the possibilities of communication. This book gives a broad overview of publickey cryptography, covering its essence and advantages, various publickey cryptosystems and protocols. It also gives a comprehensive introduction to classical cryptography and cryptanalysis. The book is selfcontained 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
26 editions published between 1990 and 2011 in 4 languages and held by 615 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 publickey cryptography and the resulting new vistas on the possibilities of communication. This book gives a broad overview of publickey cryptography, covering its essence and advantages, various publickey cryptosystems and protocols. It also gives a comprehensive introduction to classical cryptography and cryptanalysis. The book is selfcontained 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
)
13 editions published between 1974 and 1980 in English and held by 532 WorldCat member libraries worldwide
13 editions published between 1974 and 1980 in English and held by 532 WorldCat member libraries worldwide
Jewels of formal language theory
by
Arto Salomaa(
Book
)
21 editions published between 1980 and 1986 in 3 languages and held by 506 WorldCat member libraries worldwide
Repetitions. Regularity: characterizations. Regularity: challenging problems. Codes and equality sets. Decidable and undecidable. Morphic representations. Language families
21 editions published between 1980 and 1986 in 3 languages and held by 506 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
)
17 editions published between 1969 and 1979 in English and Undetermined and held by 443 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 nondeterministic 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
17 editions published between 1969 and 1979 in English and Undetermined and held by 443 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 nondeterministic 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
Semirings, automata, languages
by
Werner Kuich(
Book
)
13 editions published between 1985 and 1986 in 3 languages and held by 402 WorldCat member libraries worldwide
13 editions published between 1985 and 1986 in 3 languages and held by 402 WorldCat member libraries worldwide
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday
by
Juhani Karhumäki(
Book
)
11 editions published in 2004 in English and held by 401 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
11 editions published in 2004 in English and held by 401 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
DNA computing : new computing paradigms
by
Gheorghe Păun(
Book
)
19 editions published between 1998 and 2011 in 4 languages and held by 388 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 DNArelated matters, the basics of biochemistry and language and computation theory, and progresses to the advanced mathematical theory of DNA computing. Apart from being wellknown 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
19 editions published between 1998 and 2011 in 4 languages and held by 388 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 DNArelated matters, the basics of biochemistry and language and computation theory, and progresses to the advanced mathematical theory of DNA computing. Apart from being wellknown 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
Rainbow of computer science dedicated to Hermann Maurer on the occasion of his 70th birthday
by
Cristian Calude(
)
8 editions published in 2011 in English and held by 375 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
8 editions published in 2011 in English and held by 375 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
L systems
by
Grzegorz Rozenberg(
Book
)
13 editions published in 1974 in 3 languages and held by 371 WorldCat member libraries worldwide
13 editions published in 1974 in 3 languages and held by 371 WorldCat member libraries worldwide
Automatatheoretic aspects of formal power series
by
Arto Salomaa(
Book
)
13 editions published between 1978 and 2011 in English and German and held by 363 WorldCat member libraries worldwide
13 editions published between 1978 and 2011 in English and German and held by 363 WorldCat member libraries worldwide
New trends in formal languages : control, cooperation, and combinatorics
by
Gheorghe Păun(
Book
)
14 editions published in 1997 in English and German and held by 357 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 Jürgen 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
14 editions published in 1997 in English and German and held by 357 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 Jürgen 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
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
by
Jan Mycielski(
Book
)
13 editions published in 1997 in English and held by 355 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 wellknown 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
13 editions published in 1997 in English and held by 355 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 wellknown 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
Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 1822, 1977
by
Arto Salomaa(
Book
)
21 editions published in 1977 in 4 languages and held by 317 WorldCat member libraries worldwide
21 editions published in 1977 in 4 languages and held by 317 WorldCat member libraries worldwide
Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 1621, 2001 : revised papers
by
Werner Kuich(
Book
)
12 editions published between 2001 and 2002 in English and held by 302 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postproceedings 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
12 editions published between 2001 and 2002 in English and held by 302 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postproceedings 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
Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 2831, 2012, Revised selected papers
by
E CsuhajVarjú(
)
4 editions published in 2013 in English and held by 298 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postconference 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
4 editions published in 2013 in English and held by 298 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postconference 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
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Rozenberg, Grzegorz Other Author Editor
 Păun, Gheorghe 1950 Other Author Editor
 Wood, Derick 1940 Editor
 Yu, Sheng Editor
 Kuich, Werner 1941 Author Editor
 Maurer, Hermann A. 1941 Honoree Author Editor
 Gheorghe, Marian 1953 Author Editor
 Calude, Cristian 1952 Author Editor
 Karhumäki, Juhani
 Soittola, Matti 1945
Useful Links
Associated Subjects
Algebra Artificial intelligence Biocomputers Biotechnology Coding theory Combinatorial analysis Commutative rings Computable functions Computational complexity Computer programming ComputersAccess control Computer science Computer scienceMathematics Computer software Computer vision Data encryption (Computer science) Electronic data processing Electronic data processingDistributed processing Engineering Formal languages Information theory Logic, Symbolic and mathematical Logic design L systems Machine theory Microbiology Molecular computers Number theory Parsing (Computer grammar) Physics Power series Programming languages (Electronic computers) Public key cryptography Semirings (Mathematics) Sequential machine theory Software engineering Telecommunication