Karhumäki, Juhani
Overview
Works:  19 works in 105 publications in 2 languages and 2,746 library holdings 

Genres:  Conference papers and proceedings Bibliography 
Roles:  Editor, Author, Other, 958 
Publication Timeline
.
Most widely held works by
Juhani Karhumäki
Developments in language theory : 11th international conference, DLT 2007, Turku, Finland, July 36, 2007 ; proceedings by
T Harju(
)
15 editions published in 2007 in English and held by 519 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007, held in Turku, Finland in July 2007. The 32 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 74 submissions. All important issues in language theory are addressed including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; algorithmic, combinatorial and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyomino
15 editions published in 2007 in English and held by 519 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007, held in Turku, Finland in July 2007. The 32 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 74 submissions. All important issues in language theory are addressed including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; algorithmic, combinatorial and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyomino
Finitestate methods and natural language processing 5th international workshop, FSMNLP 2005, Helsinki, Finland, September
12, 2005 : revised papers by
Anssi YliJyrä(
)
14 editions published in 2006 in English and held by 509 WorldCat member libraries worldwide
Annotation
14 editions published in 2006 in English and held by 509 WorldCat member libraries worldwide
Annotation
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday by
Juhani Karhumäki(
)
13 editions published in 2004 in English and held by 488 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
13 editions published in 2004 in English and held by 488 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
Combinatorics on words : 9th international conference, WORDS 2013, Turku, Finland, September 1620, 2013 : proceedings by
Juhani Karhumäki(
)
13 editions published in 2013 in English and held by 405 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 9th International Conference on Combinatorics on Words, WORDS 2013, held in Turku, Finland, in September 2013 under the auspices of the EATCS. The 20 revised full papers presented were carefully reviewed and selected from 43 initial submissions. The central topic of the conference is combinatorics on words (i.e. the study of finite and infinite sequence of symbols) from varying points of view, including their combinatorial, algebraic and algorithmic aspects, as well as their applications
13 editions published in 2013 in English and held by 405 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 9th International Conference on Combinatorics on Words, WORDS 2013, held in Turku, Finland, in September 2013 under the auspices of the EATCS. The 20 revised full papers presented were carefully reviewed and selected from 43 initial submissions. The central topic of the conference is combinatorics on words (i.e. the study of finite and infinite sequence of symbols) from varying points of view, including their combinatorial, algebraic and algorithmic aspects, as well as their applications
Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 2325, 2012 : proceedings by
Martin Kutrib(
)
11 editions published between 2014 and 2016 in English and held by 376 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27 full papers presented were carefully reviewed and selected from 35 submissions. The conference dealt with the following topics: Automata, grammars, languages and other formal systems; various modes of operation and complexity measures; tradeoffs between computational models and modes of operation; succinctness of description of objects, state explosionlike phenomena; circuit complexity of Boolean functions and related measures; resourcebounded or structurebounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); naturemotivated (bioinspired) architectures and unconventional models of computing; complexity aspects of combinatorics on words; Kolmogorov complexity
11 editions published between 2014 and 2016 in English and held by 376 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27 full papers presented were carefully reviewed and selected from 35 submissions. The conference dealt with the following topics: Automata, grammars, languages and other formal systems; various modes of operation and complexity measures; tradeoffs between computational models and modes of operation; succinctness of description of objects, state explosionlike phenomena; circuit complexity of Boolean functions and related measures; resourcebounded or structurebounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); naturemotivated (bioinspired) architectures and unconventional models of computing; complexity aspects of combinatorics on words; Kolmogorov complexity
Jewels are forever : contributions on theoretical computer science in honor of Arto Salomaa(
Book
)
6 editions published in 1999 in English and held by 204 WorldCat member libraries worldwide
"Dedicated to Arto Salomaa, a towering figure of theoretical computer science, on the occasion of his 65th birthday, this book is a tribute to him on behalf of the theoretical computer science community. The contributions are written by internationally recognized scientists and cover most of Salomaa's many research areas. Due to its representative selection of classic topics and cutting edge trends in theoretical computer science, the book constitutes a comprehensive stateoftheart survey."Jacket
6 editions published in 1999 in English and held by 204 WorldCat member libraries worldwide
"Dedicated to Arto Salomaa, a towering figure of theoretical computer science, on the occasion of his 65th birthday, this book is a tribute to him on behalf of the theoretical computer science community. The contributions are written by internationally recognized scientists and cover most of Salomaa's many research areas. Due to its representative selection of classic topics and cutting edge trends in theoretical computer science, the book constitutes a comprehensive stateoftheart survey."Jacket
Formal and natural computing : essays dedicated to Grzegorz Rozenberg by
Wilfried Brauer(
)
6 editions published in 2002 in English and held by 60 WorldCat member libraries worldwide
This book presents state of the art research in theoretical computer science and related?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics of words, graph transformations, Petri nets, concurrency, as well as natural and molecular computing. The articles are written by leading researchers in these areas. The writers were originally invited to contribute to this book but then the normal refereeing procedure was applied as well. All of the articles deal with some issue that has been under vigorous study during recent years. Still, the topics range from very classical ones to issues raised only two or three years ago. Both survey articles and papers attacking speci?c research problems are included. The book highlights some key issues of theoretical computer science, as they seem to us now at the beginning of the new millennium. Being a comprehensive overview of some of the most active current research in theoretical computer science, it should be of de?nite interest for all researchers in the areas covered. The topics range from basic decidability and the notion of information to graph grammars and graph transformations, and from trees and traces to aqueous algorithms, DNA encoding and selfassembly. Special e?ort has been given to lucid presentation. Therefore, the book should be of interest also for advanced students
6 editions published in 2002 in English and held by 60 WorldCat member libraries worldwide
This book presents state of the art research in theoretical computer science and related?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics of words, graph transformations, Petri nets, concurrency, as well as natural and molecular computing. The articles are written by leading researchers in these areas. The writers were originally invited to contribute to this book but then the normal refereeing procedure was applied as well. All of the articles deal with some issue that has been under vigorous study during recent years. Still, the topics range from very classical ones to issues raised only two or three years ago. Both survey articles and papers attacking speci?c research problems are included. The book highlights some key issues of theoretical computer science, as they seem to us now at the beginning of the new millennium. Being a comprehensive overview of some of the most active current research in theoretical computer science, it should be of de?nite interest for all researchers in the areas covered. The topics range from basic decidability and the notion of information to graph grammars and graph transformations, and from trees and traces to aqueous algorithms, DNA encoding and selfassembly. Special e?ort has been given to lucid presentation. Therefore, the book should be of interest also for advanced students
SOFSEM 2008: theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer
Science, Nový Smokovec, Slovakia, January 1925, 2008 ; proceedings by
Viliam Geffert(
)
7 editions published in 2008 in English and Undetermined and held by 57 WorldCat member libraries worldwide
Constitutes the refereed proceedings of the 34th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2008, held in Novy Smokovec, Slovakia, in January 2008
7 editions published in 2008 in English and Undetermined and held by 57 WorldCat member libraries worldwide
Constitutes the refereed proceedings of the 34th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2008, held in Novy Smokovec, Slovakia, in January 2008
Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 1216, 2004 : proceedings by
J Díaz(
)
3 editions published in 2004 in English and held by 37 WorldCat member libraries worldwide
The 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004) was held from July 12 to July 16 in Turku, Finland. This volume contains all contributed papers presented at ICALP 2004, together with the invitedlecturesbyPhilippeFlajolet(INRIA), RobertHarper(CarnegieMellon), Monika Henzinger (Google), Martin Hofmann (Munich), Alexander Razborov (Princeton and Moscow), Wojciech Rytter (Warsaw and NJIT), and Mihalis Yannakakis (Stanford). ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS). The?rst ICALP took place in 1972 and the ICALP program currently consists of track A (focusing on algorithms, automata, complexity, and cryptography) and track B (focusing on databases, logics, semantics, and principles of programming). Inresponsetothecallforpapers, theprogramcommitteereceived379papers, 272 for track A and 107 for track B. This is the highest number of submitted papersinthehistoryofICALPconferences. Theprogramcommitteesselected97 papersforinclusionintothescienti?cprogram. Theprogramcommitteefortrack A met on March 27 and 28 in Barcelona and selected 69 papers from track A. TheprogramcommitteefortrackBselected28papersfromtrackBinthecourse of an electronic discussion lasting for two weeks in the second half of March. The selections were based on originality, quality, and relevance to theor ical computer science. We wish to thank all authors who submitted extended abstracts for consideration, the program committee for its hard work, and all referees who assisted the program committee in the evaluation process
3 editions published in 2004 in English and held by 37 WorldCat member libraries worldwide
The 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004) was held from July 12 to July 16 in Turku, Finland. This volume contains all contributed papers presented at ICALP 2004, together with the invitedlecturesbyPhilippeFlajolet(INRIA), RobertHarper(CarnegieMellon), Monika Henzinger (Google), Martin Hofmann (Munich), Alexander Razborov (Princeton and Moscow), Wojciech Rytter (Warsaw and NJIT), and Mihalis Yannakakis (Stanford). ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS). The?rst ICALP took place in 1972 and the ICALP program currently consists of track A (focusing on algorithms, automata, complexity, and cryptography) and track B (focusing on databases, logics, semantics, and principles of programming). Inresponsetothecallforpapers, theprogramcommitteereceived379papers, 272 for track A and 107 for track B. This is the highest number of submitted papersinthehistoryofICALPconferences. Theprogramcommitteesselected97 papersforinclusionintothescienti?cprogram. Theprogramcommitteefortrack A met on March 27 and 28 in Barcelona and selected 69 papers from track A. TheprogramcommitteefortrackBselected28papersfromtrackBinthecourse of an electronic discussion lasting for two weeks in the second half of March. The selections were based on originality, quality, and relevance to theor ical computer science. We wish to thank all authors who submitted extended abstracts for consideration, the program committee for its hard work, and all referees who assisted the program committee in the evaluation process
FiniteState Methods and Natural Language Processing : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September
12, 2005. Revised Papers by
Anssi YliJyrä(
)
5 editions published in 2006 in English and held by 34 WorldCat member libraries worldwide
5 editions published in 2006 in English and held by 34 WorldCat member libraries worldwide
Developments in language theory : 11th international conference, DLT 2007, Turku, Finland, July 3  6, 2007 ; proceedings(
)
2 editions published in 2007 in English and held by 26 WorldCat member libraries worldwide
2 editions published in 2007 in English and held by 26 WorldCat member libraries worldwide
Studies of informationless L systems : summary of dissertation by
Juhani Karhumäki(
Book
)
2 editions published in 1976 in English and held by 10 WorldCat member libraries worldwide
2 editions published in 1976 in English and held by 10 WorldCat member libraries worldwide
The family of PDOL growthsets is properly included in the family of DOL growthsets by
Juhani Karhumäki(
Book
)
1 edition published in 1974 in English and held by 10 WorldCat member libraries worldwide
1 edition published in 1974 in English and held by 10 WorldCat member libraries worldwide
Insightful theory(
Book
)
2 editions published in 2005 in English and held by 4 WorldCat member libraries worldwide
2 editions published in 2005 in English and held by 4 WorldCat member libraries worldwide
Computer Science {u2013} Theory and Applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny
Novgorod, Russia, July 37, 2012. Proceedings(
)
1 edition published in 2012 in English and held by 3 WorldCat member libraries worldwide
This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. The 28 full papers presented in this volume were carefully reviewed and selected from 66 submissions. CSR 2012 was one of the events of the Alan Turing Year 2012, the topics dealt with cover substantial parts of theoretical computer science and its appcliations
1 edition published in 2012 in English and held by 3 WorldCat member libraries worldwide
This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. The 28 full papers presented in this volume were carefully reviewed and selected from 66 submissions. CSR 2012 was one of the events of the Alan Turing Year 2012, the topics dealt with cover substantial parts of theoretical computer science and its appcliations
WORDS 2013 by WORDS(
Book
)
1 edition published in 2015 in English and held by 1 WorldCat member library worldwide
1 edition published in 2015 in English and held by 1 WorldCat member library worldwide
Combinatorics on words 9th international conference ; proceedings(
)
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 1417, 2015, Proceedings(
)
1 edition published in 2015 in German and held by 1 WorldCat member library worldwide
1 edition published in 2015 in German and held by 1 WorldCat member library worldwide
Topics in word complexity by
Steven Widmer(
)
1 edition published in 2010 in English and held by 1 WorldCat member library worldwide
The main topics of interest in this thesis will be two types of complexity, abelian complexity and permutation complexity. Abelian complexity has been investigated over the past decades. Permutation complexity is a relatively new type of word complexity which investigates lexicographical ordering of shifts of an aperiodic word. We will investigate two topics in the area of abelian complexity. Firstly we will consider an abelian variation of maximal pattern complexity. Secondly we consider an upper bound for words with the Cbalance property. In the area of permutation complexity, we compute the permutation complexity function for a number of words. A formula for the complexity of ThueMorse word is established by studying patterns in subpermutations and the action of the ThueMorse morphism on the subpermutations. We then give a method to calculate the complexity of the image of certain words under the doubling map. The permutation complexity function of the image of the ThueMorse word under the doubling map and the image of a Sturmian word under the doubling map are established
1 edition published in 2010 in English and held by 1 WorldCat member library worldwide
The main topics of interest in this thesis will be two types of complexity, abelian complexity and permutation complexity. Abelian complexity has been investigated over the past decades. Permutation complexity is a relatively new type of word complexity which investigates lexicographical ordering of shifts of an aperiodic word. We will investigate two topics in the area of abelian complexity. Firstly we will consider an abelian variation of maximal pattern complexity. Secondly we consider an upper bound for words with the Cbalance property. In the area of permutation complexity, we compute the permutation complexity function for a number of words. A formula for the complexity of ThueMorse word is established by studying patterns in subpermutations and the action of the ThueMorse morphism on the subpermutations. We then give a method to calculate the complexity of the image of certain words under the doubling map. The permutation complexity function of the image of the ThueMorse word under the doubling map and the image of a Sturmian word under the doubling map are established
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Lepistö, Arto Editor
 Salomaa, Arto Other Honoree Editor
 Harju, T. Author Editor
 Karttunen, Lauri Other Editor
 YliJyrä, Anssi Author Editor
 Zamboni, Luca 1962 Thesis advisor Editor
 Okhotin, Alexander Editor
 Jürgensen, Helmut Author Editor
 Brauer, Wilfried Other Author Editor
 Ehrig, Hartmut Other Editor
Useful Links
Associated Subjects
AlgebraData processing Algorithms Artificial intelligence Combinatorial analysis Computational complexity Computer algorithms Computer architecture Computer logic Computer programming Computers Computer science Computer scienceMathematics Computer software Database management Data mining Data structures (Computer science) Electronic data processing Formal languages Formal methods (Computer science) Graph grammars Information theory Logic, Symbolic and mathematical Logic design Logic programming L systems Machine theory Natural language processing (Computer science) Petri nets Programming languages (Electronic computers) Rozenberg, Grzegorz Salomaa, Arto Software engineering Text processing (Computer science) Translators (Computer programs) Word problems (Mathematics)