Luca Cardelli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged graph transformation

Parallel Graph Transformations Supported by Replicated Complementary GraphsLeszek Kotulski, Adam Sedziwy. icannga 2011: 254-264 [doi]

Transformation of LC-filters to active RC-circuits via the two-graph methodMarian Pierzchala, Mourad Fakhfakh. mj, 42(8):999-1005, 2011. [doi]

International Conference on Graph Transformation, Proceedings2010.

Amalgamating Pushout and Pullback Graph Transformation in CollagoriesWolfram Kahl. gg 2010: 362-378 [doi]

Generating transformation semigroups using endomorphisms of preorders, graphs, and tolerancesJ. D. Mitchell, M. Morayne, Y. Péresse, M. Quick. APAL, 161(12):1471-1485, 2010. [doi]

Instruction selection by graph transformationSebastian Buchwald, Andreas Zwinkau. cases 2010: 31-40 [doi]

A Collection Operator for Graph TransformationRoy GrÃ¸nmo, Stein Krogdahl, Birger MÃ¸ller-Pedersen. ICMT 2009: 67-82 [doi]

A note on transformations of edge colorings of bipartite graphsArmen S. Asratian. JCT, 99(5):814-818, 2009. [doi]

A new 3-CNF transformation by parallel-serial graphsUwe Bubeck, Hans Kleine BÃ¼ning. ipl, 109(7):376-379, 2009. [doi]

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

Implementing Petri Net Transformations using Graph Transformation ToolsEnrico Biermann, Claudia Ermel, Tony Modica, Peggy Sylopp. eceasst, 14, 2008. [doi]

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

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

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

Mat Graph: transformation matricielle de graphe pour visualiser des échanges électroniquesBenoît Otjacques, Fernand Feltz, Gilles Halin, Jean-Claude Bignon. ihm 2005: 43-49 [doi]

Graph Transformation in Molecular BiologyFrancesc Rosselló, Gabriel Valiente. BIRTHDAY 2005: 116-133 [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.

Expressing Component-Relating Aspects with Graph TransformationsAlon Amsel, Dirk Janssens. agtive 2004: 149-162 [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.

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

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

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

The Connectivity of Matching Transformation Graphs of Cubic Bipartite Plane GraphsSheng Bau. arscom, 60, 2001.

A new resource constrained asynchronous scheduling method through transformation of dataflow graphsEuiseok Kim, Dong-Ik Lee. iscas 2001: 41-44 [doi]

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

Topological Organic Chemistry. 13. Transformation of Graph Adjacency Matrixes to Distance MatrixesHarry P. Schultz. jcisd, 40(5):1158-1159, 2000. [doi]

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]

Transformations of edge-coloured cubic graphsYasuyuki Tsukui. DM, 184(1-3):183-194, 1998. [doi]

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

Transformations of a Graph Increasing its Laplacian Polynomial and Number of Spanning TreesAlexander K. Kelmans. ejc, 18(1):35-48, 1997. [doi]

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

Lower Bounds for the Complexity of the Graph of the Hausdorff Distance as a Function of TransformationWilliam Rucklidge. dcg, 16(2):135-153, 1996. [doi]

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

Extensible syntax with lexical scopingLuca Cardelli, Florian Matthes, Martín Abadi. SRC Research Report 121, 1994. [doi]

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

Graphs of nonsingular threshold transformationsTakao Ueda. DM, 128(1-3):349-359, 1994. [doi]

A general state graph transformation framework for asynchronous synthesisBill Lin, Chantal Ykman-Couvreur, Peter Vanbekbergen. eurodac 1994: 448-453 [doi]

A generalized state assignment theory for transformations on signal transition graphsPeter Vanbekbergen, Bill Lin, Gert Goossens, Hugo De Man. vlsisp, 7(1-2):101-115, 1994. [doi]

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]

A generalized state assignment theory for transformation on signal transition graphsPeter Vanbekbergen, Bill Lin, Gert Goossens, Hugo De Man. iccad 1992: 112-117 [doi]

Hierarchical clustering through morphological graph transformationAlexander Toet. prl, 12(7):391-399, 1991.

Computing by Graph Transformation: Overall Aims and New ResultsHartmut Ehrig, Michael Löwe. gg 1991: 688-703

Distributed Parallelism of Graph TransformationsHartmut Ehrig. criwg 1988: 1-19

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