Leif Geiger - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged graph transformation

Dedicated Rewriting: Automatic Verification of Low Power Transformations in RTLVinod Viswanath, Shobha Vasudevan, Jacob A. Abraham. vlsid 2009: 77-82 [doi]

Graph Transformations for the Resource Description FrameworkBenjamin Braatz, Christoph Brandt. eceasst, 10, 2008. [doi]

Graph Transformation Units - An OverviewHans-Jörg Kreowski, Sabine Kuske, Grzegorz Rozenberg. birthday 2008: 57-75 [doi]

Graph Multiset Transformation as a Framework for Massively Parallel ComputationHans-Jörg Kreowski, Sabine Kuske. gg 2008: 351-365 [doi]

Undecidable Control Conditions in Graph Transformation UnitsKarsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch. ENTCS, 195:95-111, 2008. [doi]

Summary of the Workshop on Natural Computing and Graph TransformationsIon Petre, Grzegorz Rozenberg. gg 2008: 470-472 [doi]

Generation of Sierpinski Triangles: A Case Study for Graph Transformation ToolsGabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horváth, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk. agtive 2008: 514-539 [doi]

Simulating Multigraph Transformations Using Simple GraphsIovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink. eceasst, 6, 2007. [doi]

Membrane computing [and graph transformation]Gheorghe Paun. eceasst, 6, 2007. [doi]

Special section: International Conference on Graph Transformation ICGT 2004Francesco Parisi-Presicce. SoSyM, 6(3):267-268, 2007. [doi]

Abstract Graph TransformationArend Rensink, Dino Distefano. ENTCS, 157(1):39-59, 2006. [doi]

MOFLON: A Standard-Compliant Metamodeling Framework with Graph TransformationsCarsten Amelunxen, Alexander Königs, Tobias Rötschke, Andy Schürr. ECMDA-FA 2006: 361-375 [doi]

Some Essentials of Graph TransformationHans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske. In Zoltán Ésik, Carlos Martín-Vide, Victor Mitrana, editors, Recent Advances in Formal Languages and Applications. Volume 25 of Studies in Computational Intelligence, pages 229-254, Springer, 2006. [doi]

Reversing graph transformationsPawel Sobocinski. eceasst, 2, 2006. [doi]

Using Graph Transformation for Practical Model Driven Software EngineeringLars Grunske, Leif Geiger, Albert Zündorf, Niels Van Eetvelde, Pieter Van Gorp, Dániel Varró. In Model-driven Software Development - Volume II of Research and Practice in Software Engineering. Springer-Verlag, 2005.

Note on transformation of posets with the same semi bound graphsHiroshi Era, Kenjiro Ogawa, Morimasa Tsuchiya. arscom, 76, 2005.

Abstract hierarchical graph transformationGiorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske. mscs, 15(4):773-819, 2005. [doi]

Confluence of Graph Transformation RevisitedDetlef Plump. BIRTHDAY 2005: 280-308 [doi]

Graph Transformation with VariablesBerthold Hoffmann. BIRTHDAY 2005: 101-115 [doi]

Parallel Independence in Hierarchical Graph TransformationAnnegret Habel, Berthold Hoffmann. gg 2004: 178-193 [doi]

Typing of Graph Transformation UnitsRenate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske. gg 2004: 112-127 [doi]

Expressing Component-Relating Aspects with Graph TransformationsAlon Amsel, Dirk Janssens. agtive 2004: 149-162 [doi]

AGTIVE 03: Summary from the Viewpoint of Graph Transformation SpecificationsMark Minas. agtive 2004: 491-492 [doi]

Graph Transformations for Improved Tree Height ReductionG. N. Mangalam, Sanjiv Narayan, Paul van Besouw, LaNae J. Avra, Anmol Mathur, Sanjeev Saluja. vlsid 2003: 474-479 [doi]

A New Experience with Graph TransformationAnilda Qemali. eatcs, 77:63-66, 2002.

Relabelling in Graph TransformationAnnegret Habel, Detlef Plump. gg 2002: 135-147 [doi]

Shortest Path Length Calculation Using Graph TransformationsYoshihiro Mizoguchi. jcis 2002: 358-361

Distributed Graph Transformation UnitsPeter Knirsch, Sabine Kuske. gg 2002: 207-222 [doi]

On transformations of posets which have the same bound graphHiroshi Era, Kenjiro Ogawa, Morimasa Tsuchiya. DM, 235(1-3):215-220, 2001. [doi]

Comparing Notions of Hierarchical Graph TransformationENTCS, 50(3):310-317, 2001. [doi]

Shapely Hierarchical Graph TransformationBerthold Hoffmann. vl 2001: 30-37 [doi]

Transformation of Shaped Nested Graphs and DiagramsBerthold Hoffmann, Mark Minas. TCS, 59(4):305-319, 2001. [doi]

Solving Equations by Graph TransformationAnnegret Habel, Detlef Plump. ENTCS, 51:165-176, 2001. [doi]

Transformation of Spanning Trees in a 2-Connected GraphTakayuki Nakamura, Kiyoshi Yoshimoto. arscom, 60, 2001.

Foundations for Software Configuration Management Policies Using Graph TransformationsFrancesco Parisi-Presicce, Alexander L. Wolf. FASE 2000: 304-318 [doi]

Summary of the Panel Discussion on Industrial Relevance of Graph Transformation: The Reality and Our DreamsAndy Schürr. agtive 2000: 489-490 [doi]

Computing with Graphs and Graph TransformationsDorothea Blostein, Andy Schürr. SPE, 29(3):197-217, 1999.

Structural properties for transformation of extended marked graphsK. Tsuji. iscas 1999: 129-132 [doi]

Using Graph Transformation Techniques for Integrating Information from the WWWLukas Faulstich. tagt 2000: 426-441

Solving the rural postman problem using a genetic algorithm with a graph transformationMyung-Ju Kang, Chi-Geun Han. SAC 1998: 356-360 [doi]

Nested Graph Transformation UnitsHans-Jörg Kreowski, Sabine Kuske, Andy Schürr. ijseke, 7(4):479-502, 1997. [doi]

The seven graphs whose H-transformations are uniquely determinedKiyoshi Ando, Hideo Komuro. arscom, 46, 1997.

Proof Transformation for Non-Compatible RewritingReinhard Bündgen. AISC 1996: 160-175

Investigation of Binary Spectra by Explicit Polynomial Transformations of GraphsMalika More. TCS, 124(2):221-272, 1994.

Representation of smooth surfaces by graphs. Transformations of graphs which do not change the Euler characteristic of graphsAlexander V. Ivashchenko. DM, 122(1-3):219-233, 1993. [doi]

Applied Graph TransformationHans-Jörg Kreowski. gg 1991: 51-52

Analogical Reasoning Using Graph TransformationsDieter Poetschke. aii 1987: 135-144

A Transformation of Marked GraphsWolfgang Henhapl. ipl, 2(1):26-29, 1973.

Rank-Non-Increasing Transformations on Transition GraphsRina S. Cohen. iandc, 20(2):93-113, March 1972.

Graphs of Affine Transformations, with Applications to Sequential CircuitsArthur Gill. focs 1966: 127-135

runs on WebDSL