Sabine Kuske

Inf. Comput., 2022

A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Workshop on Graph Computation Models, 2022

2021

A Graph-Transformational Approach to Swarm Computation.

[BibT_eX]

[DOI]

Larbi Abdenebaoui

Entropy, 2021

2020

Modeling and Analyzing Graph Algorithms by Means of Graph Transformation Units.

[BibT_eX]

[DOI]

J. Object Technol., 2020

2019

Transformation of Petri Nets into Context-Dependent Fusion Grammars.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2019

Relating DNA Computing and Splitting/Fusion Grammars.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 12th International Conference, 2019

2018

Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 11th International Conference, 2018

A Simple Notion of Parallel Graph Transformation and Its Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Solving Graph Optimization Problems in a Framework for Monte-Carlo Search.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Fusion Grammars: A Novel Approach to the Generation of Graph Languages.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 10th International Conference, 2017

2016

Canonical Multi-target Toffoli Circuits.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2016

Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 9th International Conference, 2016

2015

Graph-Transformational Swarms with Stationary Members.

[BibT_eX]

[DOI]

Larbi Abdenebaoui

Proceedings of the Technological Innovation for Cloud-Based Engineering Systems, 2015

2014

Toward a Comprehensive Approach to the Transformation of Logistic Models.

[BibT_eX]

[DOI]

Proceedings of the Dynamics in Logistics, 2014

Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 7th International Conference, 2014

2013

Graph Tuple Transformation.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

A Graph Transformational View on Reductions in NP.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Graph-transformational swarms.

[BibT_eX]

Larbi Abdenebaoui

Proceedings of the Fifth Workshop on Non-Classical Models for Automata and Applications - NCMA 2013, Umeå, Sweden, August 13, 2013

2012

Polynomial graph transformability.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

2011

Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing.

[BibT_eX]

[DOI]

Nat. Comput., 2011

Modeling production networks with discrete processes by means of communities of autonomous units.

[BibT_eX]

[DOI]

Caroline von Totth

Logist. Res., 2011

From Graph Transformation Units via MiniSat to GrGen.NET.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010

Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization.

[BibT_eX]

[DOI]

Melanie Luderer

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Stepping from Graph Transformation Units to Model Transformation Units.

[BibT_eX]

[DOI]

Caroline von Totth

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Combining Graph Transformation and Algebraic Specification into Model Transformation.

[BibT_eX]

[DOI]

Caroline von Totth

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Graph Transformation Units Guided by a SAT Solver.

[BibT_eX]

[DOI]

Robert Wille

Proceedings of the Graph Transformations - 5th International Conference, 2010

Autonomous Units and Their Semantics - The Concurrent Case.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009

Towards an integrated graph-based semantics for UML.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2009

Autonomous Units to Model Interacting Sequential and Parallel Processes.

[BibT_eX]

[DOI]

Karsten Hölscher

Fundam. Informaticae, 2009

Autonomous Units for Solving the Traveling Salesperson Problem Based on Ant Colony Optimization.

[BibT_eX]

[DOI]

Melanie Luderer

Hauke Tönnies

Proceedings of the Dynamics in Logistics, Second International Conference, 2009

Autonomous Units to Model Games.

[BibT_eX]

[DOI]

Hauke Tönnies

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2008

Graph Multiset Transformation as a Framework for Massively Parallel Computation.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, 4th International Conference, 2008

Graph Transformation Units - An Overview.

[BibT_eX]

[DOI]

Grzegorz Rozenberg

Proceedings of the Concurrency, 2008

2007

Communities of Autonomous Units for Pickup and Delivery Vehicle Routing.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Some Essentials of Graph Transformation.

[BibT_eX]

[DOI]

Renate Klempien-Hinrichs

Proceedings of the Recent Advances in Formal Languages and Applications, 2006

Autonomous Units and Their Semantics - The Parallel Case.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Autonomous Units and Their Semantics - The Sequential Case.

[BibT_eX]

[DOI]

Karsten Hölscher

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Abstract hierarchical graph transformation.

[BibT_eX]

[DOI]

Giorgio Busatto

Math. Struct. Comput. Sci., 2005

Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

2004

Typing of Graph Transformation Units.

[BibT_eX]

[DOI]

Renate Klempien-Hinrichs

Proceedings of the Graph Transformations, Second International Conference, 2004

2003

Modeling Agent Systems with Distributed Transformation Units.

[BibT_eX]

[DOI]

Peter Knirsch

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

2002

Towards an Integrated Graph Based Semantics for UML.

[BibT_eX]

[DOI]

Martin Gogolla

Paul Ziemann

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

Approach-Independent Structuring Concepts for Rule-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

Distributed Graph Transformation Units.

[BibT_eX]

[DOI]

Peter Knirsch

Proceedings of the Graph Transformation, First International Conference, 2002

2001

Parameterized Transformation Units.

[BibT_eX]

[DOI]

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

Structured Modeling with GRACE.

[BibT_eX]

[DOI]

Giorgio Busatto

Renate Klempien-Hinrichs

Peter Knirsch

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

GRACE as a unifying approach to graph-transformation-based specification.

[BibT_eX]

[DOI]

Giorgio Busatto

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

A Formal Semantics of UML State Machines Based on Structured Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2001, 2001

2000

Transformation units: a structuring principle for graph transformation systems.

[BibT_eX]

[DOI]

PhD thesis, 2000

1999

Graph Transformation for Specification and Programming.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1999

Graph Transformation Units with Interleaving Semantics.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1999

Graph Transformation Modules and Their Composition.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998

More About Control Conditions for Transformation Units.

[BibT_eX]

[DOI]

Proceedings of the Theory and Application of Graph Transformations, 1998

Simple Modules for GRACE.

[BibT_eX]

[DOI]

Proceedings of the Theory and Application of Graph Transformations, 1998

1997

Nested Graph Transformation Units.

[BibT_eX]

[DOI]

Andy Schürr

Int. J. Softw. Eng. Knowl. Eng., 1997

1995

Implementing beta-reduction by hypergraph rewriting.

[BibT_eX]

[DOI]

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

1994

On the Interleaving Sematics of Transformation Units - A Step into GRACE.

[BibT_eX]

[DOI]

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1993

A Maximum Path Length Pumping Lemma for Edge-Replacement Languages.

[BibT_eX]

[DOI]