The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705): Difference between revisions

@@ Property / describes a project that uses @@
+Augur 2
@@ Property / describes a project that uses: Augur 2 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-17322-6_2
+Normal rank
@@ Property / OpenAlex ID @@
+W2117825935
@@ Property / OpenAlex ID: W2117825935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791846
@@ Property / cites work: Q4791846 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for the verification of infinite-state graph transformation systems
+Normal rank
@@ Property / cites work @@
+Composition and Decomposition of DPO Transformations with Borrowed Context
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438799
@@ Property / cites work: Q4438799 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal-Logic Based Graph Abstraction
@@ Property / cites work: A Modal-Logic Based Graph Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis of Dynamic Communication Systems by Partner Abstraction
+Normal rank
@@ Property / cites work @@
+A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17--23, 2006. Proceedings
+Normal rank
@@ Property / cites work @@
+Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA '95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995
+Normal rank
@@ Property / cites work @@
+Graph Transformation in Constant Time
@@ Property / cites work: Graph Transformation in Constant Time / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient graph rewriting and its implementation
@@ Property / cites work: Efficient graph rewriting and its implementation / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical graph transformation
@@ Property / cites work: Hierarchical graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222794
@@ Property / cites work: Q4222794 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416072
@@ Property / cites work: Q3416072 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 -- October 2, 2004. Proceedings.
+Normal rank
@@ Property / cites work @@
+Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7--13, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4951112
@@ Property / cites work: Q4951112 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of UML Activities Using Dynamic Meta Modeling
+Normal rank
@@ Property / cites work @@
+GrGen: A Fast SPO-Based Graph Rewriting Tool
@@ Property / cites work: GrGen: A Fast SPO-Based Graph Rewriting Tool / rank @@
+Normal rank
@@ Property / cites work @@
+GXL: a graph-based standard exchange format for reengineering
+Normal rank
@@ Property / cites work @@
+Efficient SAT-based bounded model checking for software verification
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791828
@@ Property / cites work: Q4791828 / rank @@
+Normal rank
@@ Property / cites work @@
+Pure bigraphs: structure and dynamics
@@ Property / cites work: Pure bigraphs: structure and dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785997
@@ Property / cites work: Q3785997 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic hierarchical graph transformation
@@ Property / cites work: Algebraic hierarchical graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Development of Correct Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Compositionality in Graph Transformation
@@ Property / cites work: Compositionality in Graph Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852078
@@ Property / cites work: Q2852078 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Tools: The Contest
@@ Property / cites work: Graph-Based Tools: The Contest / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
+Normal rank
@@ Property / cites work @@
+Years of Triple Graph Grammars
@@ Property / cites work: 15 Years of Triple Graph Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222819
@@ Property / cites work: Q4222819 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel high-level replacement systems
@@ Property / cites work: Parallel high-level replacement systems / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed graphs and graph transformation
@@ Property / cites work: Distributed graphs and graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Common Exchange Formats for Graphs and Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank