Karl Trygve Kalleberg - 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]

Fusing a Transformation Language with an Open CompilerKarl Trygve Kalleberg, Eelco Visser. ENTCS, 203(2):21-36, 2008. [doi]

Stratego/XT 0.17. A language and toolset for program transformationMartin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. SCP, 72(1-2):52-70, 2008. [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]

Combining Aspect-Oriented and Strategic ProgrammingKarl Trygve Kalleberg, Eelco Visser. ENTCS, 147(1):5-30, 2006. [doi]

Stratego/XT 0.16: components for transformation systemsMartin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. PEPM 2006: 95-99 [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]

Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited PapersJohn L. Pfaltz, Manfred Nagl, Boris Böhlen, editors, Volume 3062 of Lecture Notes in Computer Science, Springer, 2004.

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]

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ ProgramsAnya Helene Bagge, Karl Trygve Kalleberg, Magne Haveraaen, Eelco Visser. SCAM 2003: 65 [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]

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

Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE 99, Kerkrade, The Netherlands, September 1-3, 1999, ProceedingsManfred Nagl, Andy Schürr, Manfred Münch, editors, Volume 1779 of Lecture Notes in Computer Science, Springer, 2000.

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.

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

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.

Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking AlgorithmMartin P. Ward. TSE, 22(9):665-686, 1996. [doi]

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.

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

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

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

runs on WebDSL