Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Albert Zündorf, Dániel Varró |
Workshop on Graph-Based Tools. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mike Dodds, Detlef Plump |
Graph Transformation in Constant Time. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Rötschke, Andy Schürr |
Temporal Graph Queries to Support Software Evolution. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Jackson 0001 |
Idioms of Logical Modelling. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Hartmut Ehrig, Barbara König 0001 |
Composition and Decomposition of DPO Transformations with Borrowed Context. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Odorico Machado Mendizabal, Fernando Luís Dotti |
Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
Object-based graph grammars, non-functional analysis, fault-tolerance, distributed systems, dependability |
1 | Annegret Habel, Karl-Heinz Pennemann |
Satisfiability of High-Level Conditions. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Esther Guerra, Juan de Lara |
Model View Management with Triple Graph Transformation Systems. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer |
Termination Analysis of Model Transformations by Petri Nets. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
Petri nets, model transformation, termination, graph transformation |
1 | Karsten Ehrig, Reiko Heckel, Georgios Lajios |
Molecular Analysis of Metabolic Pathway with Graph Transformation. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Pablo Pérez Velasco, Juan de Lara |
Matrix Approach to Graph Transformation: Matching and Sequences. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Riedl 0001, Sebastian Seifert, Ingrid Fischer |
String Generating Hypergraph Grammars with Word Order Restrictions. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel |
Introductory Tutorial on Foundations and Applications of Graph Transformation. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde |
Adaptive Star Grammars. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yves Métivier, Mohamed Mosbah 0001 |
Workshop on Graph Computation Models. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg |
Workshop on Petri Nets and Graph Transformations. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro 0001, Grzegorz Rozenberg (eds.) |
Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Arend Rensink |
Nested Quantification in Graph Transformation Rules. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Favre, Reiko Heckel, Tom Mens |
3rd International Workshop on Software Evolution Through Transformations: Embracing Change. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Dueire Lins |
New Algorithms and Applications of Cyclic Reference Counting. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
cyclic graphs, webpage management, process management, reference counting |
1 | Rachid Echahed, Nicolas Peltier |
Narrowing Data-Structures with Pointers. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Andrea Corradini 0001, Luciana Foss, Fabio Gadducci |
Graph Transactions as Processes. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Niels Van Eetvelde, Dirk Janssens |
Extending Graph Rewriting for Refactoring. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gemma Casas-Garriga, José L. Balcázar |
Coproduct Transformations on Lattices of Closed Partial Orders. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Georgios Lajios, Sebastian Menge |
Stochastic Graph Transformation Systems. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg (eds.) |
Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Barbara König 0001, Ingo Stürmer |
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske |
Typing of Graph Transformation Units. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Cherchago, Reiko Heckel |
Specification Matching of Web Services Using Conditional Graph Transformation Rules. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange |
Adhesive High-Level Replacement Categories and Systems. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ana Paula Lüdtke Ferreira, Leila Ribeiro 0001 |
Derivations in Object-Oriented Graph Grammars. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann |
Constraints and Application Conditions: From Graphs to High-Level Structures. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Courcelle, David Janin |
Workshop on Logic, Graph Transformations, Finite and Infinite Structures. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Tom Mens |
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tony Clark 0001, Andy Evans, Paul Sammut, James S. Willans |
Transformation Language Design: A Metamodelling Foundation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tanguy Urvoy |
Composition of Path Transductions. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Arend Rensink, Ákos Schmidt, Dániel Varró |
Model Checking Graph Transformations: A Comparison of Two Approaches. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández |
Workshop TERMGRAPH 2004. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Plump, Sandra Steinert |
Towards Graph Programs for Graph Algorithms. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka |
Election, Naming and Cellular Edge Local Computations. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tom Mens, Andy Schürr, Gabriele Taentzer |
Workshop on Graph-Based Tools. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Arend Rensink |
Representing First-Order Logic Using Graphs. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg |
Workshop on Petri Nets and Graph Transformations. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yves Métivier, Mohamed Mosbah 0001, Rodrigue Ossamy, Afif Sellami |
Synchronizers for Local Computations. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Boris Böhlen, Ulrike Ranger |
Concepts for Specifying Complex Graph Transformation Systems. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Maneesh K. Yadav, Brian P. Kelley, Steven M. Silverman |
The Potential of a Chemical Graph Transformation System. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer |
Fundamental Theory for Typed Attributed Graph Transformation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Annegret Habel, Berthold Hoffmann |
Parallel Independence in Hierarchical Graph Transformation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Seifert, Ingrid Fischer |
Parsing String Generating Hypergraph Grammars. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Simon M. Becker, Sebastian Lohmann, Bernhard Westfechtel |
Rule Execution in Graph-Based Incremental Interactive Integration Tools. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Francesc Rosselló, Gabriel Valiente |
Analysis of Metabolic Pathways by Graph Transformation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Esther Guerra, Juan de Lara |
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tero Harju, Ion Petre, Grzegorz Rozenberg |
Tutorial on DNA Computing and Graph Transformation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Baresi, Reiko Heckel |
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg |
Embedding in Switching Classes with Skew Gains. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | René van Buuren, Henk Jonkers, Maria-Eugenia Iacob, Patrick Strating |
Composition of Relations in Enterprise Architecture Models. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ravi S. Sandhu |
A Perspective on Graphs and Access Control Models. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Margaret-Anne D. Storey |
Improving Flow in Software Development Through Graphical Representations. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro 0001 |
Translating Java Code to Graph Transformation Systems. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Courcelle, Pascal Weil |
Workshop on Logic, Graph Transformations and Discrete Structures. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sung-Ho Woo, Sung-Bong Yang |
Hierarchical Vertex Ordering. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | André Marburger, Bernhard Westfechtel |
Graph-Based Reengineering of Telecommunication Systems. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Berthold Hoffmann |
Abstraction and Control for Shapely Nested Graph Transformation. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Plump |
TERMGRAPH 2002 - Workshop Survey. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | J. Christopher Beck, Patrick Prosser, Evgeny Selensky |
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Juan de Lara, Hans Vangheluwe |
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tom Mens, Andy Schürr, Gabriele Taentzer |
Workshop on Graph-Based Tools. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Tom Mens, Michel Wermelinger |
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bauderon, Frédérique Carrère |
Decomposing Graphs with Symmetries. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Renate Klempien-Hinrichs |
Hyperedge Substitution in Basic Atom-Replacement Languages. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carla Alessandra Lima Reis, Rodrigo Quites Reis, Marcelo M. de Abreu, Heribert Schlebbe, Daltro José Nunes |
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Koch, Francesco Parisi-Presicce |
Describing Policies with Graph Constraints and Rules. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández, Ian Mackie |
Call-by-Value lambda-Graph Rewriting Without Rewriting. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Montanari, Leila Ribeiro 0001 |
Linear Ordered Graph Grammars and Their Algebraic Foundations. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Bottoni, Mark Minas |
Workshop on Graph Transformation and Visual Modeling Techniques. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Barbara König 0001 |
Approximating the Behaviour of Graph Transformation Systems. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mark Minas, Frank Strüber |
Unparsing of Diagrams with DiaGen. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel, Andrew Wood |
Transformation: The Missing Link of MDA. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter Knirsch 0001, Sabine Kuske |
Distributed Graph Transformation Units. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Jochen Malte Küster, Gabriele Taentzer |
Confluence of Typed Attributed Graph Transformation Systems. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Robin Milner |
Bigraphs as a Model for Mobile Interaction. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Roswitha Bardohl, Claudia Ermel, Julia Padberg |
Transforming Specification Architectures by GenGED. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Janusz Szuba, Andy Schürr, Adam Borkowski |
GraCAD - Graph-Based Tool for Conceptual Design. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David Harel |
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Godard, Yves Métivier, Mohamed Mosbah 0001, Afif Sellami |
Termination Detection of Distributed Algorithms by Graph Relabelling Systems. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.) |
Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Ghezzi |
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Julia Padberg, Bettina Enders |
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Annegret Habel, Detlef Plump |
Relabelling in Graph Transformation. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Szilvia Gyapay, Reiko Heckel, Dániel Varró |
Graph Transformation with Time: Causality and Logical Clocks. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tom Mens, Serge Demeyer, Dirk Janssens |
Formalising Behaviour Preserving Program Transformations. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | John L. Pfaltz |
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jurriaan Hage, Tero Harju, Emo Welzl |
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Dániel Varró |
A Formal Semantics of UML Statecharts by Model Transition Systems. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Baresi, Reiko Heckel |
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tero Harju, Ion Petre, Grzegorz Rozenberg |
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|