Search results for "ICGT"

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

Publications at "ICGT"( http://dblp.L3S.de/Venues/ICGT )