WorldCat Identities

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 3-6, 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
Finite-state methods and natural language processing 5th international workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005 : revised papers by Anssi Yli-Jyrä( )

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
Combinatorics on words : 9th international conference, WORDS 2013, Turku, Finland, September 16-20, 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
Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 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; trade-offs between computational models and modes of operation; succinctness of description of objects, state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded 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); nature-motivated (bio-inspired) 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 state-of-the-art 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 self-assembly. 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 19-25, 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
Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 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
Finite-State Methods and Natural Language Processing : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers by Anssi Yli-Jyrä( )

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

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

The family of PDOL growth-sets is properly included in the family of DOL growth-sets by Juhani Karhumäki( Book )

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

Computer Science {u2013} Theory and Applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 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
WORDS 2013 by WORDS( Book )

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

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings( )

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 C-balance property. In the area of permutation complexity, we compute the permutation complexity function for a number of words. A formula for the complexity of Thue-Morse word is established by studying patterns in subpermutations and the action of the Thue-Morse 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 Thue-Morse word under the doubling map and the image of a Sturmian word under the doubling map are established
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.54 (from 0.45 for Theory is ... to 0.96 for Combinator ...)

WorldCat IdentitiesRelated Identities
Developments in language theory : 11th international conference, DLT 2007, Turku, Finland, July 3-6, 2007 ; proceedings Developments in language theory : 11th international conference, DLT 2007, Turku, Finland, July 3 - 6, 2007 ; proceedings
Covers
Finite-state methods and natural language processing 5th international workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005 : revised papersTheory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthdayJewels are forever : contributions on theoretical computer science in honor of Arto SalomaaFormal and natural computing : essays dedicated to Grzegorz RozenbergSOFSEM 2008: theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008 ; proceedingsAutomata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedingsFinite-State Methods and Natural Language Processing : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised PapersDevelopments in language theory : 11th international conference, DLT 2007, Turku, Finland, July 3 - 6, 2007 ; proceedings
Alternative Names
Juhani Karhumäki Finnish mathematician and theoretical computer scientist, professor of Mathematics (University of Turku)

Juhani Karhumäki Fins wiskundige

Karhumäki, J. 1949-

Karhumäki, Juliani 1949-

Languages
English (103)

German (1)