WorldCat Identities

Rozenberg, Grzegorz

Overview
Works: 439 works in 1,517 publications in 4 languages and 23,653 library holdings
Genres: Conference papers and proceedings  Handbooks and manuals 
Roles: Editor, Author, Other, Honoree, 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 )

43 editions published between 1978 and 1996 in 3 languages and held by 631 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 407 WorldCat member libraries worldwide

L systems by Grzegorz Rozenberg( Book )

22 editions published between 1974 and 2007 in 3 languages and held by 349 WorldCat member libraries worldwide

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 312 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 )

15 editions published in 1990 in English and held by 298 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 296 WorldCat member libraries worldwide

Current trends in concurrency : overviews and tutorials by J. W. de Bakker( Book )

11 editions published in 1986 in English and held by 289 WorldCat member libraries worldwide

Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 by J. W. de Bakker( Book )

12 editions published in 1989 in English and Undetermined and held by 275 WorldCat member libraries worldwide

"This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.''--Publisher's website
Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, the Netherlands, November 25-29, 1996 by Grzegorz Rozenberg( Book )

17 editions published in 1998 in English and held by 270 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
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 264 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 )

40 editions published in 1998 in English and Spanish and held by 256 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 )

18 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
Advances in Petri nets, 1990 by Grzegorz Rozenberg( Book )

30 editions published between 1990 and 2007 in English and Undetermined and held by 241 WorldCat member libraries worldwide

"The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON."--PUBLISHER'S WEBSITE
Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday by Nataša Jonoska( Book )

15 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 )

38 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 pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. 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. The area of graph grammars and graph tran
Formal and natural computing : essays dedicated to Grzegorz Rozenberg by Wilfried Brauer( Book )

15 editions published in 2002 in English and held by 216 WorldCat member libraries worldwide

Annotation
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 215 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
Nanotechnology : science and computation by Junghuei Chen( Book )

9 editions published between 2006 and 2011 in English and held by 163 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 : the challenge of the new century by Gheorghe Păun( Book )

24 editions published in 2004 in English and Undetermined and held by 108 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
Current trends in theoretical computer science : entering the 21st century by Gheorghe Păun( Book )

12 editions published between 1993 and 2001 in English and Undetermined and held by 97 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 1995-2000. 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 reader-friendly and does not presuppose much knowledge of the area, the book constitutes suitable supplementary reading material for various courses in computer science
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.61 (from 0.00 for Linear tim ... to 0.77 for Linear tim ...)

WorldCat IdentitiesRelated Identities
L systems
Alternative Names
Grzegorz Rozenberg Polish mathematician and computer scientist

Grzegorz Rozenberg polnisch-niederländischer Informatiker

Grzegorz Rozenberg Pools wiskundige

Rozenberg, G.

Rozenberg, G. 1942-

Rozenberg, G. (Grzegorz)

ローゼンバーグ, G

Languages
English (410)

Italian (5)

German (2)

Spanish (1)

Covers
The mathematical theory of L systemsL systemsFoundations 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, 1978Current trends in concurrency : overviews and tutorialsLinear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, the Netherlands, November 25-29, 1996