close
1.

図書

図書
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (eds.)
出版情報: Berlin : Springer, c2002  ix, 388 p. ill. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2295
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentations
Automata: From Uncertainty to Quantum / C.S. Calude ; E. Calude
Elementary Theory of Ordinals with Addition and Left Translation by ω / C. Choffrut
The Equational Theory of Fixed Points with Applications to Generalized Language Theory / Z. Ésik
Second-Order Logic over Strings: Regular and Non-regular Fragments / T. Eiter ; G. Gottlob ; T. Schwentick
Decision Questions on Integer Matrices / T. Harju
Some Petri Net Languages and Codes / M. Ito ; Y. Kunimoch
Words, Permutations, and Representations of Numbers / H. Prodinger
Proof Complexity of Pigeonhole Principles / A.A. Razborov
Words and Patterns / A. Restivo ; S. Salemi
A Short Introduction to Infinite Automata / W. Thomas
Contributions
The Power of One-Letter Rational Languages / T. Cachat
The Entropy of Lukasiewicz-Languages / L. Staiger
Collapsing Words vs. Synchronizing Words / D.S. Ananichev ; M.V. Volkov
A Note on Synchronized Automata and Road Coloring Problem / K. Culik ; J. Karhumäki ; J. Kari
Shuffle Quotient and Decompositions / C. Câmpeanu ; K. Salomaa ; S. Vágvölgyi
The Growing Context-Sensitive Languages Are the Acyclic Context-Sensitive Languages / G. Niemann ; J.R. Woinowski
Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable / D. Kuske
Automata on Series-Parallel Biposets / Z.L. Németh
Hierarchies of String Languages Generated by Deterministic Tree Transducers / J. Engelfriet ; S. Maneth
Partially-Ordered Two-Way Automata: A New Characterization of DA / D. Thérien ; H. Vollmer
Level 5/2 of the Straubing-Therien Hierarchy for Two-Letter Alphabets / C. Glaβer ; H. Schmitz
On the Power of Randomized Pushdown Automata / J. Hromkovič ; G. Schnitger
The Root of a Language and Its Complexity / G. Lischke
Valuated and Valence Grammars: An Algebraic View / H. Fernau ; R. Stiebe
Context-Free Valence Grammars - Revisited / H.J. Hoogeboom
An Undecidability Result Concerning Periodic Morphisms / V. Halava
A Universal Turing Machine with 3 States and 9 Symbols / M. Kudlek ; Y. Rogozhin
Minimal Covers of Formal Languages / M. Domaratzki ; J. Shallit ; S. Yu
Some Regular Languages That Are Church-Rosser Congruential / J. Waldmann
On the Relationship between the McNaughton Families of Languages and the Chomsky Hierarchy / M. Beaudry ; M. Holzer ; F. Otto
Forbidden Factors and Fragment Assembly / F. Mignosi ; M. Sciortino
Parallel Communicating Grammar Systems with Incomplete Information Communication / E. Csuhaj-Varjú ; G. Vaszil
Eliminating Communication by Parallel Rewriting / B. Rovan ; M. SlaÜt'an
String Rewriting Sequential P-Systems and Regulated Rewriting / P. Sosík ; R. Freund
Author Index
Invited Presentations
Automata: From Uncertainty to Quantum / C.S. Calude ; E. Calude
Elementary Theory of Ordinals with Addition and Left Translation by ω / C. Choffrut
2.

図書

図書
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  viii, 484 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2128
所蔵情報: loading…
3.

図書

図書
Cristian S. Calude ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  viii, 358 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2235
所蔵情報: loading…
4.

図書

図書
Wilfried Brauer ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xxxvi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2300
所蔵情報: loading…
目次情報: 続きを見る
Bibliography of Grzegorz Rozenberg
Words, Languages, Automata / I:
Balanced Grammars and Their Languages / Jean Berstel ; Luc Boasson
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids / Volker Diekert ; Paul Gastin
The Delta Operation: From Strings to Trees to Strings / Joost Engelfriet
Infinite Solutions of Marked Post Correspondence Problem / Vesa Halava ; Tero Harju
The Branching Point Approach to ConwayÆs Problem / Juhani Karhumaki ; Ion Petre
A Survey of Some Quantitative Approaches to the Notion of Information / Aldo de Luca
Nondeterministic Trajectories / Alexandru Mateescu ; Arto Salomaa
Binary Patterns in Infinite Binary Words / Antonio Restivo ; Sergio Salemi
Graph Transformations / II:
A Sight-seeing Tour of the Computational Landscape of Graph Transformation / Hans-Jörg Kreowski
Local Action Systems and DPO Graph Transformation / DirkJanssens
Bisimulation Equivalences for Graph Grammars / Paolo Baldan ; Andrea Corradini ; Ugo Montanari
Petri Nets / III:
High-Level Net Processes / Hartmut Ehrig ; Kathrin Hoffmann ; Julia Padberg ; Reiko Heckel
Petri Net Control for Grammar Systems / Maurice ter Beek ; Jetty Kleijn
Regular Event Structures and Finite Petri Nets: A Conjecture / P.S. Thiagarajan
Concurrent Computing / IV:
Towards Team-Automata-Driven Object-Oriented Collaborative Work / Gregor Engels ; LuukGroenewegen
Grammars as Processes / Javier Esparza
Temporal Concurrent Constraint Programming: Applications and Behavior / Mogens Nielsen ; FrankD. Valencia
Molecular Computing / V:
Rewriting P Systems with Conditional Communication / Paolo Bottoni ; Anna Labella ; Carlos Martín-Vide ; Gheorghe Paun
An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation / Tom Head
Upper Bounds for Restricted Splicing / HendrikJan Hoogeboom ; Nikè van Vugt
Codes, Involutions, and DNA Encodings / Lila Kari ; Rob Kitto ; Gabriel Thierrin
DNA Manipulations in Ciliates / David M. Prescott
A Magic Pot Self-assembly Computation Revisited / Takashi Yokomori ; Yasubumi Sakakibara ; Satoshi Kobayashi
Author Index
Bibliography of Grzegorz Rozenberg
Words, Languages, Automata / I:
Balanced Grammars and Their Languages / Jean Berstel ; Luc Boasson
5.

図書

図書
Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
出版情報: Berlin : Springer, c2001  viii, 537 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2001
所蔵情報: loading…
目次情報: 続きを見る
Object Oriented Modeling with Object Petri Nets / C. LakosSection I:
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi
CLOWN as a Testbed for Concurrent Object-Oriented Concepts / E. Battiston ; A. Chizzoni ; F. De Cindio
Concurrency in Communicating Object Petri Nets / R. Valk
Object Orientation in Hierarchical Predicate Transition Nets / X. He ; Y. Ding
CoOperative Objects: Principles, Use and Implementation / C. Sibertin-Blanc
OB(PN)2: An Object Based Petri Net Programming Notation / J. Lilius
On Formalizing UML with High-Level Petri Nets / L. Baresi ; M. Pezzè
Modeling a Groupware Editing Tool with Cooperative Objects / R. Bastide ; P. PalanqueSection II:
Modeling Constrained Geometric Objects with OBJSA Nets / M. A. Alberti ; P. Evi ; D. Marini
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment / D. S. Guerrero ; J. C. A. de Figueiredo ; A. Perkusich
KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects / J. A. Bañares ; P. R. Muro-Medrano ; J. L. Villarroel ; F. J. Zarazaga
Modeling of a Library with THORNs / F. Köster ; S. Schöf ; M. Sonnenschein ; R. Wieting
Inheritance of Dynamic Behavior: Development of a Groupware Editor / T. Basten ; W. M. P. van der Aalst
Object Colored Petri Nets - A Formal Technique for Object Oriented Modeling / C. Maier ; D. Moldt
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study / M. Gaspari ; G. ZavattaroSection III:
Formal Reasoning about Actor Programs Using Temporal Logic / S. Schacht
Flexible Types for a Concurrent Model / F. Puntigam
High Level Transition Systems for Communicating Agents / F. Vernadat ; P. Azéma
Schedulability Analysis of Real Time Actor Systems Using Colored Petri Nets / L. Nigro ; F. Pupo
Control Properties in Object-Oriented Specifications / A. Diagne
Case Studies / Section IV:
A Cooperative Petri Net Editor
The Hurried Philosophers
Author Index
Object Oriented Modeling with Object Petri Nets / C. LakosSection I:
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi
6.

図書

図書
Anne Condon, Grzegorz Rozenberg (eds.)
出版情報: Berlin : Springer, c2001  x, 270 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2054
所蔵情報: loading…
目次情報: 続きを見る
Engineered Communications for Microbial Robotics / Ron Weiss ; Thomas F. Knight
Successive State Transitions with I/O Interface by Molecules / Ken Komiya ; Kensaku Sakamoto ; Hidetaka Gouzu ; Shigeyuki Yokoyama ; Masanori Arita ; Akio Nishikawa ; Masami Hagiya
Solution of a Satisfiability Problem on a Gel-Based DNA Computer / Ravinderjit S. Braich ; Cliff Johnson ; Paul W.K. Rothemund ; Darryl Hwang ; Nickolas Chelyapov ; Leonard M. Adleman
Diophantine Equations and Splicing: A New Demonstration of the Generative Capability of H Systems / Pierluigi Frisco
About Time-Varying Distributed H Systems / Maurice Margenstern ; Yurii Rogozhin
String Tile Models for DNA Computing by Self-Assembly / Erik Winfree ; Tony Eng ; Grzegorz Rozenberg
From Molecular Computing to Molecular Programming
Graph Replacement Chemistry for DNA Processing / John S. McCaskill ; Ulrich Niemann
DNA and Circular Splicing / Paola Bonizzoni ; Clelia De Felice ; Giancarlo Mauri ; Rosalba Zizza
Molecular Computing with Generalized Homogeneous P-Systems / Rudolf Freund ; Franziska Freund
Computationally Inspired Biotechnologies: Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization / John H. Reif ; Thomas H. LaBean
Challenges and Applications for Self-Assembled DNA Nanostructures / Nadrian C. Seeman
A Space-Efficient Randomized DNA Algorithm for k-Sat / Kevin Chen ; Vijay Ramachandran
A DNA-Based Random Walk Method for Solving k-SAT / iaz ; Juan Luis Esteban ; Mitsunori Ogihara
Solving Computational Learning Problems of Boolean Formulae on DNA Computers / Yasubumi Sakakibara
The Fidelity of Annealing-Ligation: A Theoretical Analysis / John A. Rose ; Russell J. Deaton
DNA Implementation of a Royal Road Fitness Evaluation / Elizabeth Goode ; David Harlan Wood ; Junghuei Chen
Steady Flow Micro-Reactor Module for Pipelined DNA Computations / Jöhn S. McCaskill ; Robert Penchovsky ; Marlies Gohlke ; Jorg Ackermann ; Thomas Rücker
Author Index
Engineered Communications for Microbial Robotics / Ron Weiss ; Thomas F. Knight
Successive State Transitions with I/O Interface by Molecules / Ken Komiya ; Kensaku Sakamoto ; Hidetaka Gouzu ; Shigeyuki Yokoyama ; Masanori Arita ; Akio Nishikawa ; Masami Hagiya
Solution of a Satisfiability Problem on a Gel-Based DNA Computer / Ravinderjit S. Braich ; Cliff Johnson ; Paul W.K. Rothemund ; Darryl Hwang ; Nickolas Chelyapov ; Leonard M. Adleman
7.

図書

図書
Rudolf Freund ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  ix, 370 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3850
所蔵情報: loading…
8.

図書

図書
Giancarlo Mauri ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  ix, 413 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3365
所蔵情報: loading…
9.

図書

図書
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xii, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3256
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
Transformation Language Design: A Metamodelling Foundation / Tony Clark ; Andy Evans ; Paul Sammut ; James Willans
Integration Technology
Rule Execution in Graph-Based Incremental Interactive Integration Tools / Simon M. Becker ; Sebastian Lohmann ; Bernhard Westfechtel
Composition of Relations in Enterprise Architecture Models / René van Buuren ; Henk Jonkers ; Maria-Eugenia Jacob ; Patrick Strating
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation / Esther Guerra ; Juan de Lara
Chemistry and Biology
Analysis of Metabolic Pathways by Graph Transformation / Francesc Rosselló ; Gabriel Valiente
The Potential of a Chemical Graph Transformation System / Maneesh K.Yadav ; Brian P. Kelley ; Steven M. Silverman
Graph Transformation Concepts
Concepts for Specifying Complex Graph Transformation Systems / Boris Böhlen ; Ulrike Ranger
Typing of Graph Transformation Units / Renate Klempien-Hinrichs ; Hans-Jörg Kreowski ; Sabine Kuske
Towards Graph Programs for Graph Algorithms / Detlef Plump ; Sandra Steinert
DPO Theory for High-Level Structures
Adhesive High-Level Replacement Categories and Systems / Hartmut Ehrig ; Annegret Habel ; Julia Padberg ; Ulrike Prange
Fundamental Theory for Typed Attributed Graph Transformation / Gabriele Taentzer
Parallel Independence in Hierarchical Graph Transformation / Berthold Hoffmann
Analysis and Testing
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems / Paolo Baldan ; Barbara König ; Ingo Stürmer
Stochastic Graph Transformation Systems / Reiko Heckel ; Georgios Lajios ; Sebastian Menge
Model Checking Graph Transformations: A Comparison of Two Approaches / Arend Rensink ; Ákos Schmidt ; Dániel Varró
Graph Theory and Algorithms
Election, Naming and Cellular Edge Local Computations / Jérémie Chalopin ; Yves Métivier ; Wiesław Zielonka
Embedding in Switching Classes with Skew Gains / Andrzej Ehrenfeucht ; Jurriaan Hage ; Tero Harju ; Grzegorz Rozenberg
Synchronizers for Local Computations / Mohamed Mosbah ; Rodrigue Ossamy ; Afif Sellami
Application Conditions and Logic
Constraints and Application Conditions: From Graphs to High-Level Structures / Karsten Ehrig ; Karl-Heinz Pennemann
Specification Matching of Web Services Using Conditional Graph Transformation Rules / Alexey Cherchago
Representing First-Order Logic Using Graphs
Transformation of Special Structures
Coproduct Transformations on Lattices of Closed Partial Orders / Gemma Casas-Garriga ; José L. Balcázar
Parsing String Generating Hypergraph Grammars / Sebastian Seifert ; Ingrid Fischer
Composition of Path Transductions / Tanguy Urvoy
Object-Orientation
Translating Java Code to Graph Transformation Systems / Andrea Corradini ; Fernando Luís Dotti ; Luciana Foss ; Leila Ribeiro
Extending Graph Rewriting for Refactoring / Niels Van Eetvelde ; Dirk Janssens
Derivations in Object-Oriented Graph Grammars / Ana Paula Löudtke Ferreira
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi
Tutorial on DNA Computing and Graph Transformation / Ion Petre
Workshop TERMGRAPH 2004 / Maribel Fernández
Workshop on Graph-Based Tools / Tom Mens ; Andy Schöurr
Workshop on Petri Nets and Graph Transformations
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions
Workshop on Logic, Graph Transformations, Finite and Infinite Structures / Bruno Courcelle ; David Janin
Author Index
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
10.

図書

図書
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000  ix, 490 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1764
所蔵情報: loading…
目次情報: 続きを見る
Graph Languages
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars / Frank Drewes
Tree Languages Generated by Context-Free Graph Grammars / Joost Engelfriet ; Sebastian Maneth
Neighborhood Expansion Grammars / John L. Pfaltz
Neighborhood-Preserving Node Replacements / Konstantin Skodinis ; Egon Wanke
Graph Theory
Complexity Issues in Switching of Graphs / Andrzej Ehrenfeucht ; Jurriaan Hage ; Tero Harju ; Grzegorz Rozenberg
The Power of Local Computations in Graphs with Initial Knowledge / Emmanuel Godard ; Yves Métivier ; Anca Muscholl
Categorical Approaches
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information / Hartmut Ehrig ; Reiko Heckel ; Mercé Llabrés ; Fernando Orejas ; Julia Padberg
Double-Pushout Approach with Injective Matching / Annegret Habel ; Jürgen Müller ; Detlef Plump
Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach / Héléne Jacquet ; Renate Klempien-Hinrichs
Pushout Complements for Arbitrary Partial Algebras / Francesc Rosselló
Concurrency and Distribution
Unfolding of Double-Pushout Graph Grammars is a Coreflection / Paolo Baldan ; Andrea Corradini ; Ugo Montanari
Local Views on Distributed Systems and Their Communication / Ingrid Fischer ; Manuel Koch ; Gabriele Taentzer
Dynamic Change Management by Distributed Graph Transformation:
Towards Configurable Distributed Systems / Michael Goedicke ; Torsten Meyer
A Framework for NLC and ESM: Local Action Systems / Nico Verlinden ; Dirk Janssens
Artificial Intelligence
Redundancy and Subsumption in High-Level Replacement Systems / Hans-Jörg Kreowski ; Gabriel Valiente
Knowledge Representation and Graph Transformation / Stefan Schuster
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching / Michael Rudolf
Visual Languages
Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages / Roswitha Bardohl
From Formulae to Rewriting Systems / Paolo Bottoni ; Francesco Parisi-Presicce ; Marta Simeoni
Hypergraphs as a Uniform Diagram Representation Model / Mark Minas
Specification Concepts
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java / Thorsten Fischer ; Jörg Niere ; Lars Torunski ; Albert Zündorf
A Fully Abstract Model for Graph-Interpreted Temporal Logic / Fabio Gadducci
More About Control Conditions for Transformation Units / Sabine Kuske
Integrity Constraints in the Multi-paradigm Language PROGRES / Manfred Münch ; Andy Schürr ; Andreas J. Winter
Modularity and Refinement
A Framework for Adding Packages to Graph Transformation Approaches / Giorgio Busatto ; Gregor Engels ; Katharina Mehner ; Annika Wagner
Refinements of Graph Transformation Systems via Rule Expressions / Martin Große-Rhode
Simple Modules for Grace / Berthold Hoffmann ; Peter Knirsch
UML Packages for PROgrammed Graph REwriting Systems
Incremental Development of Safety Properties in Petri Net Transformations / Maike Gajewsky ; Kathrin Hoffmann
Software Engineering
Using Graph Transformation Techniques for Integrating Information from the WWW / Lukas C. Faulstich
A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism / Curtis E. Hrischuk
Graph-Based Models for Managing Development Processes, Resources, and Products / Carl-Arndt Krapp ; Sven Kruppel ; Ansgar Schleicher ; Bernhard Westfechtel
Deriving Software Performance Models from Architectural Patterns by Graph Transformations / Dorina C. Petriu ; Xin Wang
Author Index
Graph Languages
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars / Frank Drewes
Tree Languages Generated by Context-Free Graph Grammars / Joost Engelfriet ; Sebastian Maneth
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼