| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A graph-based approach to the compositional specification of distributed systems
|
Koch, Manuel
|
|
2002
|
51 |
C |
p. 212-221
10 p.
|
artikel
|
| 2 |
Algebra Transformation Systems as a Unifying Framework
|
Große–Rhode, Martin
|
|
2002
|
51 |
C |
p. 152-164
13 p.
|
artikel
|
| 3 |
An Abstract Module Concept for Graph Transformation Systems 1 1 This work has been supported by the EEC TMR network GETGRATS (General Theory of Graph Transformation Systems). The complete investigation on this subject is the result of a collaboration with Martin Große–Rhode, Dirk Janssens and Francesco Parisi Presicce
|
Simeoni, Marta
|
|
2002
|
51 |
C |
p. 290-303
14 p.
|
artikel
|
| 4 |
Basic Results for Two Types of High-Level Replacement Systems 1 1 Research partially supported by the European Community under TMR Network GETGRATS and the ESPRIT Working Group APPLIGRAPH.
|
Ehrig, Hartmut
|
|
2002
|
51 |
C |
p. 127-138
12 p.
|
artikel
|
| 5 |
Categorical rewriting of term-like structures 1 1 Research partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems), by the ESPRIT Working Group APPLIGRAPH (Applications of Graph Transformation), and by the Italian MURST project TOSCA (Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi).
|
Corradini, Andrea
|
|
2002
|
51 |
C |
p. 108-121
14 p.
|
artikel
|
| 6 |
Concurrency for Graph Grammars in a Petri net shell
|
Baldan, Paolo
|
|
2002
|
51 |
C |
p. 65-82
18 p.
|
artikel
|
| 7 |
Context-free hypergraph grammars with node rewriting 1 1 This research was partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and the ESPRIT Basic Research Working Group APPLIGRAPH (Applications of Graph Transformation).
|
Klempien-Hinrichs, Renate
|
|
2002
|
51 |
C |
p. 202-211
10 p.
|
artikel
|
| 8 |
Essentials of Term Graph Rewriting
|
Plump, Detlef
|
|
2002
|
51 |
C |
p. 277-289
13 p.
|
artikel
|
| 9 |
GETGRATS
|
Corradini, Andrea
|
|
2002
|
51 |
C |
p. 1-64
64 p.
|
artikel
|
| 10 |
Graph Operations, Graph Transformations and Monadic Second-Order Logic:
|
Courcelle, Bruno
|
|
2002
|
51 |
C |
p. 122-126
5 p.
|
artikel
|
| 11 |
Graph Relabelling Systems
|
Bauderon, M.
|
|
2002
|
51 |
C |
p. 93-107
15 p.
|
artikel
|
| 12 |
Graph Transformations for the Specification of Access Control Policies
|
Koch, Manuel
|
|
2002
|
51 |
C |
p. 222-232
11 p.
|
artikel
|
| 13 |
Monadic Second Order Logic And Its Fragments
|
Lenzi, Giacomo
|
|
2002
|
51 |
C |
p. 258-264
7 p.
|
artikel
|
| 14 |
Parameterized Transformation Units
|
Kuske, Sabine
|
|
2002
|
51 |
C |
p. 246-257
12 p.
|
artikel
|
| 15 |
Preface
|
Bauderon, Michel
|
|
2002
|
51 |
C |
p. 319-
1 p.
|
artikel
|
| 16 |
Processes and Local Actions
|
Janssens, Dirk
|
|
2002
|
51 |
C |
p. 191-201
11 p.
|
artikel
|
| 17 |
Pullback rewriting and applications 1 1 This research was partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and the ESPRIT Basic Research Working Group APPLIGRAPH (Applications of Graph Transformation).
|
Bauderon, Michel
|
|
2002
|
51 |
C |
p. 83-92
10 p.
|
artikel
|
| 18 |
Solving Equations by Graph Transformation 1 1 Research partially supported by the TMR Network GETGRATS and the ESPRIT Working Group APPLIGRAPH.
|
Habel, Annegret
|
|
2002
|
51 |
C |
p. 165-176
12 p.
|
artikel
|
| 19 |
Structured Modeling with GRACE 1 1 This research was partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and the ESPRIT Basic Research Working Group APPLIGRAPH (Applications of Graph Transformation).
|
Kreowski, Hans-Jörg
|
|
2002
|
51 |
C |
p. 233-245
13 p.
|
artikel
|
| 20 |
Towards a Double Pushout Transformation of Algebras
|
Llabrés, M.
|
|
2002
|
51 |
C |
p. 265-276
12 p.
|
artikel
|
| 21 |
Towards a Formal Framework for Inter-Enterprise Application Integration 1 1 Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS.
|
Heckel, Reiko
|
|
2002
|
51 |
C |
p. 139-151
13 p.
|
artikel
|
| 22 |
Two Graph-Based Techniques for Software Architecture Reconfiguration
|
Hirsch, Dan
|
|
2002
|
51 |
C |
p. 177-190
14 p.
|
artikel
|
| 23 |
Visual Modeling of Distributed Object Systems by Graph Transformation
|
Taentzer, Gabriele
|
|
2002
|
51 |
C |
p. 304-318
15 p.
|
artikel
|
Tijdschrift beschrijving