WorldCat Identities

Karhumäki, Juhani

Overview
Works: 107 works in 284 publications in 3 languages and 3,901 library holdings
Genres: Conference papers and proceedings  Bibliographies 
Roles: Editor, Author, htt, Other, Honoree
Classifications: QA75.5, 511.3
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( )

20 editions published in 2007 in English and held by 566 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ä( )

19 editions published in 2006 in English and Undetermined and held by 557 WorldCat member libraries worldwide

Annotation
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday( )

15 editions published in 2004 in English and German and held by 508 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 reviewed 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( )

18 editions published in 2013 in English and Undetermined and held by 461 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 : 16th international workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 ; proceedings by Helmut Jürgensen( )

15 editions published between 2014 and 2016 in English and Undetermined and held by 426 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
Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings by Colloquium in Honor of Arto Salomaa( Book )

18 editions published in 1994 in 3 languages and held by 366 WorldCat member libraries worldwide

This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented at the festive colloquium, organized by Hermann Maurer at Graz, Austria, in June 1994; the contributing authors are well-known scientists with special relations to Professor Salomaa as friends, Ph.D. students, or co-authors. The volume reflects the broad spectrum of Professor Salomaa's research interests in theoretical computer science and mathematics with contributions particularly to automata theory, formal language theory, mathematical logic, computability, and cryptography. The appendix presents Professor Salomaa's curriculum vitae and lists the more than 300 papers and 9 books he published
Jewels are forever : contributions on theoretical computer science in honor of Arto Salomaa by Juhani Karhumäki( Book )

9 editions published in 1999 in English and German and held by 231 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( Book )

6 editions published in 2002 in English and held by 198 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, Novy Smokovec, Slovakia, January 19-25, 2008 : proceedings by Viliam Geffert( )

9 editions published in 2008 in English and Undetermined and held by 67 WorldCat member libraries worldwide

This volume contains the invited and the contributed papers selected for p- th sentation at SOFSEM 2008, the 34 Conference on Current Trends in Theory and Practice of Computer Science, which was held January 19-25, 2008, in the Atrium Hotel, Novy þ Smokovec, High Tatras in Slovakia. SOFSEM (originally SOFtware SEMinar), as an annual international c- ference devoted to the theory and practice of computer science, aims to foster cooperationamongprofessionalsfromacademiaandindustryworkinginallareas in this?eld. Developing over the years from a local event to a fully international and well-established conference, contemporary SOFSEM continues to maintain the best of its original Winter School aspects, such as a high number of invited talks and in-depth coverage of novel research results in selected areas within computer science. SOFSEM 2008 was organized around the following tracks: - Foundations of Computer Science (Chair: Juhani Karhum· aki) - Computing by Nature (Chair: Alberto Bertoni) - Networks, Security, and Cryptography (Chair: Bart Preneel) - Web Technologies (Chair: Pavol Nþ avrat) The SOFSEM 2008 Program Committee consisted of 75 international - perts, representing active areas of the SOFSEM 2008 tracks with outstanding expertise and an eye for current developments, evaluating the submissions with the help of 169 additional reviewers. An integral part of SOFSEM 2008 was the traditional Student Research - rum (chaired by Ma þria Bielikovþ a), organized with the aim of presenting student projectsinthetheoryandpracticeofcomputerscienceandtogivestudentsfe- back on both originality of their scienti?c results and on their work in progress
Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa Graz, Austria, June 10-11, 1994 Proceedings by Juhani Karhumäki( )

3 editions published in 1994 in English and held by 65 WorldCat member libraries worldwide

This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented at the festive colloquium, organized by Hermann Maurer at Graz, Austria, in June 1994; the contributing authors are well-known scientists with special relations to Professor Salomaa as friends, Ph. D. students, or co-authors. The volume reflects the broad spectrum of Professor Salomaa's research interests in theoretical computer science and mathematics with contributions particularly to automata theory, formal language theory, mathematical logic, computability, and cryptography. The appendix presents Professor Salomaa's curriculum vitae and lists the more than 300 papers and 9 books he published
Computer Science - theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012 ; proceedings by Edward A Hirsch( )

6 editions published in 2012 in English and held by 57 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
Results and trends in theoretical computer science ; proceedings( Book )

1 edition published in 1994 in German and held by 56 WorldCat member libraries worldwide

Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday by Juhani Karhumäki( )

1 edition published in 2004 in English and held by 34 WorldCat member libraries worldwide

Automata, Languages and Programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings by J Díaz( )

1 edition published in 2004 in English and held by 33 WorldCat member libraries worldwide

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 : IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy by G Ausiello( )

10 editions published in 2008 in English and Undetermined and held by 32 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of 5th International Conference on Theoretical Computer Science held in Milano, Italy in 2008. ""The IFIP"" series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; a
Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg by Wilfried Brauer( )

1 edition published in 2002 in English and held by 32 WorldCat member libraries worldwide

SOFSEM 2008 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings by Villiam Geffert( )

1 edition published in 2008 in English and held by 16 WorldCat member libraries worldwide

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers by Anssi Yli-Jyrä( )

3 editions published in 2006 in English and held by 14 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 12 WorldCat member libraries worldwide

Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings by J Díaz( )

2 editions published in 2004 in English and held by 11 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Developmen ... to 0.00 for Developmen ...)

WorldCat IdentitiesRelated Identities
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 birthdayCombinatorics on words : 9th international conference, WORDS 2013, Turku, Finland, September 16-20, 2013 : proceedingsDescriptional complexity of formal systems : 16th international workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 ; proceedingsResults and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedingsJewels 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, Novy Smokovec, Slovakia, January 19-25, 2008 : proceedings
Alternative Names
Juhani Karhumäki Finnish mathematician and theoretical computer scientist, professor of Mathematics (University of Turku)

Juhani Karhumäki Fins wiskundige

Juhani Karhumäki matemáticu finlandés

Juhani Karhumäki suomalainen matemaatikko ja tietotekniikan teoreetikko, Turun yliopiston matematiikan professori

Karhumäki, J.

Karhumäki, J. 1949-

Karhumäki, J. (Juliani)

Karhumäki, Juhani

Karhumäki, Juliani

Karhumäki, Juliani 1949-

Languages
English (147)

German (5)

Italian (1)