Browse Title Index


 
Issue Title
 
Volume 3: Software Evolution through Transformations 2006 Towards Distributed BPEL Orchestrations Abstract   PDF
Luciano Baresi, Andrea Maurino, Stefano Modafferi
 
Volume 3: Software Evolution through Transformations 2006 Exogenous Model Merging by means of Model Management Operators Abstract   PDF
Artur Boronat
 
Volume 3: Software Evolution through Transformations 2006 From C++ Refactorings to Graph Transformations Abstract   PDF
László Vidács, Martin Gogolla, Rudolf Ferenc
 
Volume 3: Software Evolution through Transformations 2006 A MDE-Based Approach for Developing Multi-Agent Systems Abstract   PDF
Viviane Torres da Silva, Beatriz de Maria, Carlos J. P. de Lucena
 
Volume 3: Software Evolution through Transformations 2006 An Approach to Invariant-based Program Refactoring Abstract   PDF
Tiago Massoni
 
Volume 3: Software Evolution through Transformations 2006 Optimizing Pattern Matching Compilation by Program Transformation Abstract   PDF
Emilie Balland, Pierre-Etienne Moreau
 
Volume 3: Software Evolution through Transformations 2006 Preface Details   PDF
Reiko Heckel, Jean-Marie Favre, Tom Mens
 
Volume 3: Software Evolution through Transformations 2006 Refactoring Informations Systems Abstract   PDF
Michael Löwe, Harald König, Michael Peters, Christoph Schulz
 
Volume 3: Software Evolution through Transformations 2006 EMF Model Refactoring based on Graph Transformation Concepts Abstract   PDF
Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss
 
Volume 3: Software Evolution through Transformations 2006 Generating Requirements Views: A Transformation-Driven Approach Abstract   PDF
Lyrene Fernandes Silva, Julio Cesar Sampaio do Prado Leite
 
Volume 4: Graph and Model Transformation 2006 Incremental Graph Pattern Matching: Data Structures and Initial Experiments Abstract   PDF
Gergely Varró, Dániel Varró, Andy Schürr
 
Volume 4: Graph and Model Transformation 2006 Preface to GraMoT 2006 Workshop Proceedings Details   PDF
Gabor Karsai, Gabriele Taentzer
 
Volume 4: Graph and Model Transformation 2006 Realizing QVT with Graph Rewriting-Based Model Transformation Abstract   PDF
Laszlo Lengyel, Tihamér Levendovszky, Tamás Vajk, Hassan Charaf
 
Volume 4: Graph and Model Transformation 2006 A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual Languages Abstract   PDF
Gergely Mezei, László Lengyel, Tihamér Levendovszky, Hassan Charaf
 
Volume 4: Graph and Model Transformation 2006 PML: a Language for Platform Modeling Abstract   PDF
Tivadar Szemethy, Gabor Karsai
 
Volume 4: Graph and Model Transformation 2006 Towards Translating Graph Transformation Approaches by Model Transformations Abstract   PDF
Frank Hermann, Harmen Kastenberg, Tony Modica
 
Volume 4: Graph and Model Transformation 2006 Parsing of Adaptive Star Grammars Abstract   PDF
Mark Minas
 
Volume 4: Graph and Model Transformation 2006 Model Instantiation and Type Checking in UMLX Abstract   PDF
Edward Daniel Willink
 
Volume 4: Graph and Model Transformation 2006 Semantical Correctness of Simulation-to-Animation Model and Rule Transformation Abstract   PDF
Claudia Ermel, Hartmut Ehrig, Karsten Ehrig
 
Volume 4: Graph and Model Transformation 2006 Termination of Algebraic Rewriting with Inhibitors Abstract   PDF
Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi Presicce
 
Volume 4: Graph and Model Transformation 2006 Editorial Details   PDF
Julia Padberg, Tiziana Margaria, Gabriele Taentzer
 
Volume 4: Graph and Model Transformation 2006 Search Trees for Distributed Graph Transformation Systems Abstract   PDF
Ulrike Ranger, Mathias Lüstraeten
 
Volume 4: Graph and Model Transformation 2006 Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations Abstract   PDF
Anantha Narayanan, Gabor Karsai
 
Volume 1: Graph Based Tools 2006 Generating Meta-Model-Based Freehand Editors Abstract   PDF
Mark Minas
 
Volume 1: Graph Based Tools 2006 Object Oriented and Rule-based Design of Visual Languages using Tiger Abstract   PDF
Claudia Ermel, Karsten Ehrig, Gabriele Taentzer, Eduard Weiss
 
Volume 1: Graph Based Tools 2006 Agraphs: Definition, implementation and tools Abstract   PDF
David Déharbe, Anamaria Martins Moreira, Demóstenes Sena
 
Volume 1: Graph Based Tools 2006 Automation of Java Code Analysis for Programming Exercises Abstract   PDF
Carsten Köllmann, Michael Goedicke
 
Volume 1: Graph Based Tools 2006 ENFORCe: A System for Ensuring Formal Correctness of High-level Programs Abstract   PDF
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, Christian Zuckschwerdt
 
Volume 1: Graph Based Tools 2006 Specifying Distributed Graph Transformation Systems Abstract   PDF
Ulrike Ranger, Erhard Schultchen, Christof Mosler
 
Volume 1: Graph Based Tools 2006 Evolutionary Layout of Graph Transformation Sequences Abstract   PDF
Susanne Jucknath-John, Dennis Graf, Gabriele Taentzer
 
Volume 1: Graph Based Tools 2006 The ParMol Package for Frequent Subgraph Mining Abstract   PDF
Thorsten Meinl, Marc Wörlein, Olga Urzova, Ingrid Fischer, Michael Philippsen
 
Volume 1: Graph Based Tools 2006 RePLEX: A Model-Based Reengineering Tool for PLEX Telecommunication Systems Abstract   PDF
Christian Fuss, Christof Mosler, Marcel Pettau
 
Volume 1: Graph Based Tools 2006 Creating Well-Structured Specifications in MOFLON Abstract   PDF
Carsten Amelunxen, Tobias Rötschke
 
Volume 1: Graph Based Tools 2006 Preface Details   PDF
Albert Zündorf, Dániel Varró
 
Volume 1: Graph Based Tools 2006 The Graph Rewriting and Transformation Language: GReAT Abstract   PDF
Daniel Balasubramanian, Anantha Narayanan, Christopher van Buskirk, Gabor Karsai
 
Volume 1: Graph Based Tools 2006 eDOBS - Graphical Debugging for Eclipse Abstract   PDF
Leif Geiger, Albert Zündorf
 
Volume 1: Graph Based Tools 2006 Isomorphism Checking in GROOVE Abstract   PDF
Arend Rensink
 
Volume 2: Petri Nets and Graph Transformations Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs Abstract   PDF
Barbara Koenig
 
Volume 2: Petri Nets and Graph Transformations Algebraic High-Level Nets as Weak Adhesive HLR Categories Abstract   PDF
Ulrike Prange
 
Volume 2: Petri Nets and Graph Transformations A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets Abstract   PDF
Marisa Llorens, Javier Oliver
 
Volume 2: Petri Nets and Graph Transformations Event Structure Semantics for Dynamic Graph Grammars Abstract   PDF
Roberto Bruni, Hernan Melgratti, Ugo Montanari
 
Volume 2: Petri Nets and Graph Transformations Foreword Details   PDF
Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg
 
Volume 2: Petri Nets and Graph Transformations Reversing graph transformations Abstract   PDF
Pawel Sobocinski
 
Volume 2: Petri Nets and Graph Transformations Petri Nets and Matrix Graph Grammars: Reachability Abstract   PDF
Juan de Lara, Pedro Pablo Perez Velasco
 
Volume 2: Petri Nets and Graph Transformations Optimization in Graph Transformation Systems Using Petri Net Based Techniques Abstract   PDF
Szilvia Varro-Gyapay, Daniel Varro
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 Preface Details   PDF
Karsten Ehrig, Holger Giese
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 Generic Search Plans for Matching Advanced Graph Patterns Abstract   PDF
Ákos Horváth, Gergely Varró, Dániel Varró
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 Graph-Based Engineering Systems - A Family of Software Applications and their Underlying Framework Abstract   PDF
Gregor Wrobel, Ralf-Erik Ebert, Matthias Pleßow
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 Evaluating Workflow Definition Language Revisions with Graph-Based Tools Abstract   PDF
René Wörzberger, Markus Heller, Frank Walter Häßler
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 Transforming Collaborative Service Specifications into Efficiently Executable State Machines Abstract   PDF
Frank Alexander Kraemer, Peter Herrmann
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules Abstract   PDF
Juan de Lara, Esther Guerra, Paolo Bottoni
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 A Query Language With the Star Operator Abstract   PDF
Johan Lindqvist, Torbjörn Lundkvist, Ivan Porres
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 Adding Recursion to Graph Transformation Abstract   PDF
Esther Guerra, Juan de Lara
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 Simulating Multigraph Transformations Using Simple Graphs Abstract   PDF
Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES Abstract   PDF
Christian Fuß, Christof Mosler, Ulrike Ranger, Erhard Schultchen
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 Visual Programming with Recursion Patterns in Interaction Nets Abstract   PDF
Ian Mackie, Jorge Sousa Pinto, Miguel Vilaca
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 Membrane computing [and graph transformation] Abstract   PDF
Gheorghe Paun
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 Imposing Hierarchy on a Graph Abstract   PDF
Brendan Sheehan, Benoit Gaudin, Aaron Quigley
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 Bisimulation Verification for the DPO Approach with Borrowed Contexts Abstract   PDF
Guilherme Rangel, Barbara König, Hartmut Ehrig
 
Volume 6: Graph Transformation and Visual Modeling Techniques 2007 Rule-Level Verification of Business Process Transformations using CSP Abstract   PDF
Dánes Bisztray, Reiko Heckel
 
1 - 60 of 777 Items 1 2 3 4 5 6 7 8 9 10 11 12 13 > >>