Ehrig, H., Engels, G., Kreowski, H. J., and Rozenberg, G. (1999), Handbook of Graph Grammars and Computing by Graph Transformation (World Scientific). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Hierarchical Graph Transformation - Drewes, Hoffmann, Plump (2002) (14 citations) (Correct)
....6. Relating hierarchical to plain graph transformation. 7. Related work. 8. Conclusion. 0. INTRODUCTION The transformation of graphs by rules has been systematically investigated since about 1970 and has been applied in several areas of Computer Science see the recent handbook volumes [17, 18, 40]. Graph transformation has been used, for example, as an efficient computational model for term rewriting systems and functional programming languages [5, 34] and for specifying visual languages and generating associated editors [4, 31] Besides specific applications of graph transformation, ....
H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg (Eds.), "Handbook of Graph Grammars and Computing by Graph Transformation. Vol. III. Concurrency, Parallelism, and Distribution, " World Scientific, Singapore, 1999.
From Trees to Graphs: Defining the Semantics of Diagram.. - Engels, Heckel (2000) Self-citation (Engels) (Correct)
No context found.
EHRIG, H., ENGELS, G., KREOWSKI, H.-J., AND ROZENBERG, G., Eds. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages, and Tools. World Scientic, 1999.
Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) Self-citation (Org Editors) (Correct)
No context found.
Hartmut Ehrig, Hans-Jorg Kreowski, Ugo Montanari, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars 78 and Computing by Graph Transformation, Volume 3: Concurrency, Parallelism, and Distribution. World Scienti c, 1999.
Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) Self-citation (Org Editors) (Correct)
No context found.
Hartmut Ehrig, Gregor Engels, Hans-Jorg Kreowski, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages, and Tools. World Scienti c, 1999.
Towards Formal Structural Representation of Spoken Language: An.. - Gutkin (2005) (Correct)
No context found.
Ehrig, H., Engels, G., Kreowski, H. J., and Rozenberg, G. (1999), Handbook of Graph Grammars and Computing by Graph Transformation (World Scientific).
Congruences for Contextual Graph-Rewriting - Sassone, Sobocinski (2004) (Correct)
No context found.
H. Ehrig, G. Engels, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volumes 1-3. World Scientific, 1997-1999.
Behavior-Preserving Refinement Relations between Dynamic.. - Heckel, Thöne (2004) (Correct)
No context found.
H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools. World Scientific, 1999.
From Trees to Graphs: Defining the Semantics of Diagram.. - Engels, Heckel (2000) (Correct)
No context found.
EHRIG, H., KREOWSKI, H.-J., MONTANARI, U., AND ROZENBERG, G., Eds. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency and Distribution. World Scientic, 1999.
Realizing UML Metamodel Transformations with AGG - Büttner, Gogolla (2004) (Correct)
No context found.
Hartmut Ehrig, Gregor Engels, Hans-Jorg Kreowski, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools. World Scientific, Singapore, 1999.
Model-Based A-Posteriori Integration of Engineering.. - Becker, Haase.. (2004) (1 citation) (Correct)
No context found.
H. Ehrig, G. Engels, H.J. Kreowski, and G. Rozenberg, editors. Handbook on Graph Grammars and Computing by Graph Transformation: Application, Languages, and Tools, volume 2. World Scientific, 1999.
Approximating the Behaviour of Graph Transformation Systems - Baldan, König (2002) (2 citations) (Correct)
No context found.
H. Ehrig, J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Concurrency, Parallelism and Distribution. World Scienti c, 1999.
Approximating the Behaviour of Graph Transformation Systems - Baldan, König (2002) (2 citations) (Correct)
No context found.
H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol.3: Concurrency, Parallellism, and Distribution. World Scienti c, 1999.
Coinductive Reasoning for Contextual Graph-Rewriting - Sassone, Sobocinski (2004) (Correct)
No context found.
H. Ehrig, G. Engels, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volumes 1-3. World Scientific, 1997-1999.
The Space Usage Problem: An Evaluation Kit for.. - Bakewell, Runciman (2000) (Correct)
No context found.
H Ehrig, G Engels, H-J Kreowski, and G Rozenburg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, volume 2. World Scientific, 1999.
Towards Unfolding-Based Verification for Graph.. - Baldan, Corradini, König (2003) (Correct)
No context found.
H. Ehrig, J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism and Distribution. World Scienti c, 1999.
Verifying Finite-State Graph Grammars: an Unfolding-Based.. - Baldan, Corradini, König (Correct)
No context found.
H. Ehrig, J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism and Distribution. World Scienti c, 1999.
Verifying a Behavioural Logic for Graph Transformation Systems - Baldan, al. (2004) (2 citations) (Correct)
No context found.
H. Ehrig, J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism and Distribution. World Scienti c, 1999.
Style-Based Refinement of Dynamic Software Architectures - Baresi, Heckel, Thöne, Varro (2004) (Correct)
No context found.
H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook on Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools. World Scientific, 1999.
Static Analysis of Distributed Systems with Mobility Specified.. - Baldan, al. (2002) (2 citations) (Correct)
No context found.
H. Ehrig, J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism and Distribution. World Scientific, 1999.
Reasoning About Explicit Strictness in a Lazy - Language Using Mixed (2002) (Correct)
No context found.
H.-J. Kreowski H. Ehrig, G. Engels and G. Rozenberg (eds.). Handbook of Graph Grammars and Computing by Graph Transformation. world Scientific, 1999.
Strengthening the Semantics of UML Collaboration Diagrams - Heckel, Sauer (2000) (Correct)
No context found.
H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency and Distribution. World Scientific, 1999.
Strengthening the Semantics of UML Collaboration Diagrams - Heckel, Sauer (2000) (Correct)
No context found.
H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages, and Tools. World Scientific, 1999.
Conflict Detection and Resolution in Access Control.. - Koch, Mancini.. (2002) (Correct)
No context found.
H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformations. Vol. III: Concurrency, Parallelism, and Distribution. World Scienti c, 1999.
Relabelling in Graph Transformation - Habel, Plump (2002) (1 citation) (Correct)
No context found.
Hartmut Ehrig, Hans-Jorg Kreowski, Ugo Montanari, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency, Parallelism, and Distribution. World Scienti c, 1999.
Relabelling in Graph Transformation - Habel, Plump (2002) (1 citation) (Correct)
No context found.
Hartmut Ehrig, Gregor Engels, Hans-Jorg Kreowski, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages, and Tools. World Scienti c, 1999.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC