Conferences in DBLP

Graph Grammars Workshops / Int. Conf. on Graph Transformation (gg)
2008 (conf/gg/2008)

1. 
   Towards an Algebraic Theory of Bidirectional Transformations. [Citation Graph (, )][DBLP]
   
   
2. 
   Discovery, Verification and Conformance of Workflows with Cancellation. [Citation Graph (, )][DBLP]
   
   
3. 
   The AUTOSAR Way of Model-Based Engineering of Automotive Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars. [Citation Graph (, )][DBLP]
   
   
5. 
   Labelled (Hyper)Graphs, Negotiations and the Naming Problem. [Citation Graph (, )][DBLP]
   
   
6. 
   Abstracting Complex Data Structures by Hyperedge Replacement. [Citation Graph (, )][DBLP]
   
   
7. 
   Inductively Sequential Term-Graph Rewrite Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   Mobile Agents Implementing Local Computations in Graphs. [Citation Graph (, )][DBLP]
   
   
9. 
   A Decentralized Implementation of Mobile Ambients. [Citation Graph (, )][DBLP]
   
   
10. 
    Network Applications of Graph Bisimulation. [Citation Graph (, )][DBLP]
    
    
11. 
    Graph Transformation for Topology Modelling. [Citation Graph (, )][DBLP]
    
    
12. 
    Embedding and Confluence of Graph Transformations with Negative Application Conditions. [Citation Graph (, )][DBLP]
    
    
13. 
    Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. [Citation Graph (, )][DBLP]
    
    
14. 
    Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. [Citation Graph (, )][DBLP]
    
    
15. 
    High-Level Programs and Program Conditions. [Citation Graph (, )][DBLP]
    
    
16. 
    Parallel and Sequential Independence for Borrowed Contexts. [Citation Graph (, )][DBLP]
    
    
17. 
    Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. [Citation Graph (, )][DBLP]
    
    
18. 
    Open Petri Nets: Non-deterministic Processes and Compositionality. [Citation Graph (, )][DBLP]
    
    
19. 
    Attributed Graph Constraints. [Citation Graph (, )][DBLP]
    
    
20. 
    Resolution-Like Theorem Proving for High-Level Conditions. [Citation Graph (, )][DBLP]
    
    
21. 
    Towards the Verification of Attributed Graph Transformation Systems. [Citation Graph (, )][DBLP]
    
    
22. 
    A Modal-Logic Based Graph Abstraction. [Citation Graph (, )][DBLP]
    
    
23. 
    On the Recognizability of Arrow and Graph Languages. [Citation Graph (, )][DBLP]
    
    
24. 
    Graph Multiset Transformation as a Framework for Massively Parallel Computation. [Citation Graph (, )][DBLP]
    
    
25. 
    Pullback Grammars Are Context-Free. [Citation Graph (, )][DBLP]
    
    
26. 
    On Switching to H-Free Graphs. [Citation Graph (, )][DBLP]
    
    
27. 
    A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. [Citation Graph (, )][DBLP]
    
    
28. 
    15 Years of Triple Graph Grammars. [Citation Graph (, )][DBLP]
    
    
29. 
    Pattern-Based Model-to-Model Transformation. [Citation Graph (, )][DBLP]
    
    
30. 
    Adaptive Star Grammars for Graph Models. [Citation Graph (, )][DBLP]
    
    
31. 
    Tutorial Introduction to Graph Transformation. [Citation Graph (, )][DBLP]
    
    
32. 
    Workshop on Graph Computation Models. [Citation Graph (, )][DBLP]
    
    
33. 
    Graph-Based Tools: The Contest. [Citation Graph (, )][DBLP]
    
    
34. 
    Workshop on Petri Nets and Graph Transformations. [Citation Graph (, )][DBLP]
    
    
35. 
    Summary of the Workshop on Natural Computing and Graph Transformations. [Citation Graph (, )][DBLP]
    
    
36. 
    ICGT 2008 Doctoral Symposium. [Citation Graph (, )][DBLP]
    
    
37. 
    Verification of Architectural Refactorings: Rule Extraction and Tool Support. [Citation Graph (, )][DBLP]
    
    
38. 
    Abstract Semantics by Observable Contexts. [Citation Graph (, )][DBLP]
    
    
39. 
    Triple Graph Grammars and OCL for Validating System Behavior. [Citation Graph (, )][DBLP]
    
    
40. 
    From Separation Logic to Hyperedge Replacement and Back. [Citation Graph (, )][DBLP]
    
    
41. 
    Security, Cryptography and Directed Bigraphs. [Citation Graph (, )][DBLP]
    
    
42. 
    Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement. [Citation Graph (, )][DBLP]
    
    
43. 
    Grammar Morphisms and Weakly Adhesive Categories. [Citation Graph (, )][DBLP]
    
    
44. 
    Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions. [Citation Graph (, )][DBLP]
    
    
45. 
    Towards a Two Layered Verification Approach for Compiled Graph Transformation. [Citation Graph (, )][DBLP]
    
    
46. 
    Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems. [Citation Graph (, )][DBLP]
    
    
47. 
    Service Extraction from Legacy Systems. [Citation Graph (, )][DBLP]
    
    
48. 
    Development of Correct Graph Transformation Systems. [Citation Graph (, )][DBLP]
    
    
49. 
    Graph Transformation for the Semantic Web: Queries and Inference Rules. [Citation Graph (, )][DBLP]
    
    
50. 
    Using a Triple Graph Grammar for State Machine Implementations. [Citation Graph (, )][DBLP]
    
    
51. 
    Model-Driven Development of Model Transformations. [Citation Graph (, )][DBLP]
    
    
52. 
    Transformation-Based Operationalization of Graph Languages. [Citation Graph (, )][DBLP]