Aart Middeldorp - 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]

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]

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]

Transformation techniques for context-sensitive rewrite systemsJürgen Giesl, Aart Middeldorp. JFP, 14(4):379-427, 2004. [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]

A Sight-seeing Tour of the Computational Landscape of Graph TransformationHans-Jörg Kreowski. BIRTHDAY 2002: 119-137 [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