WorldCat Identities

Rozenberg, Grzegorz

Overview
Works: 432 works in 1,513 publications in 5 languages and 23,752 library holdings
Genres: Conference papers and proceedings  Handbooks and manuals 
Roles: Editor, Author, Honoree, Other, Dedicatee, Performer
Classifications: QA267.3, 511.3
Publication Timeline
.
Most widely held works by Grzegorz Rozenberg
Graph-grammars and their application to computer science : 3rd international workshop, Warrenton, Virginia, USA, December 2-6, 1986 : [proceedings] by Hartmut Ehrig( Book )

42 editions published between 1978 and 1996 in 3 languages and held by 625 WorldCat member libraries worldwide

"This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source of information on the stateof the art and newest trends to researchers active in the area and for scientists who would like to know more about graph grammars. The topics of the papers range from foundations through algorithmic and implemental aspects to various issues that arise in application areas like concurrent computing, functional and logic programming, software engineering, computer graphics, artificial intelligence and biology. The contributing authors are F.-J. Brandenburg, H. Bunke, T.C. Chen, M. Chytil, B. Courcelle, J. Engelfriet, H.G Tler, A. Habel, D. Janssens, C. Lautemann, B. Mayoh, U. Montanari, M. Nagl, F. Parisi-Presicci, A. Paz, P. Prusinkiewics, M.R. Sleep, A. Rosenfeld, J. Winkowski and others."--PUBLISHER'S WEBSITE
The mathematical theory of L systems by Grzegorz Rozenberg( Book )

21 editions published between 1974 and 1980 in English and held by 409 WorldCat member libraries worldwide

DNA computing : new computing paradigms by Gheorghe Păun( Book )

23 editions published between 1998 and 2011 in 4 languages and held by 393 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
Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings by J. W. de Bakker( Book )

15 editions published in 1991 in English and held by 311 WorldCat member libraries worldwide

"Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more formal understanding of the basic concepts of object-oriented programming is necessary. This volume presents the proceedings of the School/Workshop on Foundations of Object-Oriented Programming (FOOL) held in Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. The workshop was an activity of the project REX (Research and Education in Concurrent Systems)."--PUBLISHER'S WEBSITE
Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings by J. W. de Bakker( Book )

14 editions published in 1990 in English and held by 296 WorldCat member libraries worldwide

"The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications."--Publisher's website
Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 by Volker Claus( Book )

17 editions published between 1979 and 1980 in 4 languages and held by 295 WorldCat member libraries worldwide

Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, the Netherlands, November 25-29, 1996 by Grzegorz Rozenberg( Book )

19 editions published in 1998 in English and held by 268 WorldCat member libraries worldwide

This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the European Educational Forum. Besides thoroughly reviewed and revised chapters based on lectures given during the school, additional papers have been solicited for inclusion in the present book in order to complete coverage of the relevant topics. The authors adress professionals involved in the design and management of embedded systems in industry as well as researchers and students interested in a competent survey. The book will convince the reader that many architectural and algorithmic problems in the area of embedded systems have well documented optimal or correct solutions, notably in the fields of real-time computing, distributed computing, and fault-tolerant computing
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht by Jan Mycielski( Book )

18 editions published in 1997 in English and held by 262 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
Application of Petri nets to communication networks : advances in Petri nets by Jonathan Billington( Book )

17 editions published between 1999 and 2010 in English and held by 261 WorldCat member libraries worldwide

Annotation Petri nets offer a mathematically defined technique for the specification, design, analysis, verification & performance evaluation of concurrent distributed systems. They offer not only precise semantics & a theoretical foundation, but also a graphical form that facilitates the understanding of both information & control flow within the same formalism. As an intuitively appealing graphical form of presentation, Petri nets are the model of choice in various applications. Communications networks, ranging from traditional telecommunication systems to advanced Internet-based information services, are inherently distributed & comprise systems with concurrently operating components. This volume presents a selection of the latest advances in the use of Petri nets for the modeling, analysis & management of communication networks & systems in the broadest sense of these terms
Lectures on Petri nets : advances in Petri nets by Wolfgang Reisig( Book )

39 editions published in 1998 in English and Spanish and held by 254 WorldCat member libraries worldwide

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets II: Applications" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems
Concurrent object-oriented programming and Petri nets : advances in Petri nets by Gul A Agha( Book )

19 editions published in 2001 in English and held by 250 WorldCat member libraries worldwide

Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their relation to objects are an attractive topic of study. This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections. The first consists of long papers, each presenting a detailed approach to integrating Petri nets and object-orientation. Section II includes shorter papers with emphasis on concrete examples to demonstrate the approach. Finally, section III is devoted to papers which significantly build on the Actor model of computation
Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday by Nataša Jonoska( Book )

16 editions published between 2004 and 2005 in English and held by 238 WorldCat member libraries worldwide

Molecular computing is a rapidly growing subarea of natural computing. On the one hand, molecular computing is concerned with the use of bio-molecules for the purpose of actual computations while, on the other hand, it attempts to understand the computational nature of molecular processes going on in living cells. The book presents a unique and authorative state-of-the-art survey on current research in molecular computing: 30 papers by leading researchers in the area are drawn together on the occasion of the 70th birthday of Tom Head, a pioneer in molecular computing. Among the topics addressed are molecular tiling, DNA self-assembly, splicing systems, DNA-based cryptography, DNA word design, gene assembly, and membrane computing
Handbook of graph grammars and computing by graph transformation by Grzegorz Rozenberg( Book )

37 editions published between 1997 and 2003 in 3 languages and held by 229 WorldCat member libraries worldwide

Graph grammars originated in the late 60s, motivated by considerations about how pattern recognition and compilier construction. Since then the list of areas which have interacted with the development of graph grammars has grown. Besides the aforementioned areas it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. Volume one, FOUNDATIONS, is a presentation of the foundations of all the basic approaches to rule-based graph specification and transformation: algebraic approach, logic approach, node-based rewriting, (hyper)edge-based rewriting, programmed graph rewriting, and 2-structures. The book has been written in a tutorial/survey style to enhance its usefulness
Lectures on concurrency and Petri nets : advances in Petri nets by Jörg Desel( Book )

21 editions published in 2004 in English and held by 225 WorldCat member libraries worldwide

This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational aspects of Petri nets will appreciate the book as well
Formal and natural computing : essays dedicated to Grzegorz Rozenberg by Wilfried Brauer( Book )

16 editions published in 2002 in English and held by 221 WorldCat member libraries worldwide

Annotation
Nanotechnology : science and computation by Junghuei Chen( Book )

9 editions published between 2006 and 2011 in English and held by 165 WorldCat member libraries worldwide

Nanoscale science and computing is concerned with the architectures and design of molecular self-assembly, nanostructures and molecular devices, and with understanding and exploiting the computational processes of biomolecules in nature. This book provides an authoritative survey on the research in nanoscale science, engineering and computing
Current trends in theoretical computer science : entering the 21st century by Gheorghe Păun( Book )

30 editions published between 1993 and 2004 in English and Undetermined and held by 124 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 20002003. 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 area in question. Therefore, the book constitutes very suitable supplementary reading material for various courses and seminars in computer science
Membrane Computing : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers by Marian Gheorghe( )

34 editions published between 2010 and 2014 in English and held by 94 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
Current trends in theoretical computer science : the challenge of the new century( Book )

6 editions published in 2004 in English and held by 81 WorldCat member libraries worldwide

Handbook of natural computing by Grzegorz Rozenberg( Book )

14 editions published between 2010 and 2014 in English and Undetermined and held by 68 WorldCat member libraries worldwide

Natural Computing is the field of research that investigates both human-designed computing inspired by nature and computing taking place in nature, i.e., it investigates models and computational techniques inspired by nature and also it investigates phenomena taking place in nature in terms of information processing. Examples of the first strand of research covered by the handbook include neural computation inspired by the functioning of the brain; evolutionary computation inspired by Darwinian evolution of species; cellular automata inspired by intercellular communication; swarm intelligence inspired by the behavior of groups of organisms; artificial immune systems inspired by the natural immune system; artificial life systems inspired by the properties of natural life in general; membrane computing inspired by the compartmentalized ways in which cells process information; and amorphous computing inspired by morphogenesis. Other examples of natural-computing paradigms are molecular computing and quantum computing, where the goal is to replace traditional electronic hardware, e.g., by bioware in molecular computing. In molecular computing, data are encoded as biomolecules and then molecular biology tools are used to transform the data, thus performing computations. In quantum computing, one exploits quantum-mechanical phenomena to perform computations and secure communications more efficiently than classical physics and, hence, traditional hardware allows. The second strand of research covered by the handbook, computation taking place in nature, is represented by investigations into, among others, the computational nature of self-assembly, which lies at the core of nanoscience, the computational nature of developmental processes, the computational nature of biochemical reactions, the computational nature of bacterial communication, the computational nature of brain processes, and the systems biology approach to bionetworks where cellular processes are treated in terms of communication and interaction, and, hence, in terms of computation. We are now witnessing exciting interaction between computer science and the natural sciences. While the natural sciences are rapidly absorbing notions, techniques and methodologies intrinsic to information processing, computer science is adapting and extending its traditional notion of computation, and computational techniques, to account for computation taking place in nature around us. Natural Computing is an important catalyst for this two-way interaction, and this handbook is a major record of this important development
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.60 (from 0.01 for Current tr ... to 0.78 for Linear tim ...)

WorldCat IdentitiesRelated Identities
DNA computing : new computing paradigms
Alternative Names
Grzegorz Rozenberg Polish mathematician and computer scientist

Grzegorz Rozenberg polnisch-niederländischer Informatiker

Grzegorz Rozenberg Pools wiskundige

Rozenberg, G.

Rozenberg, G. (Grzegorz)

ローゼンバーグ, G

Languages
Covers
The mathematical theory of L systemsDNA computing : new computing paradigmsFoundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedingsStepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedingsGraph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, the Netherlands, November 25-29, 1996Structures in logic and computer science : a selection of essays in honor of A. EhrenfeuchtApplication of Petri nets to communication networks : advances in Petri nets