GETGRATS (Q4923529): Difference between revisions

@@ Property / describes a project that uses @@
+ViewPoints
@@ Property / describes a project that uses: ViewPoints / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Graph transformation for specification and programming
+Normal rank
@@ Property / cites work @@
+Q4222908
@@ Property / cites work: Q4222908 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilarity in term graph rewriting.
@@ Property / cites work: Bisimilarity in term graph rewriting. / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency for Graph Grammars in a Petri net shell
+Normal rank
@@ Property / cites work @@
+Domain and event structure semantics for Petri nets with read and inhibitor arcs
+Normal rank
@@ Property / cites work @@
+Q4536619
@@ Property / cites work: Q4536619 / rank @@
+Normal rank
@@ Property / cites work @@
+GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22--23, 2001. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4791852
@@ Property / cites work: Q4791852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791846
@@ Property / cites work: Q4791846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260701
@@ Property / cites work: Q4260701 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual Petri nets, asymmetric event structures, and processes
+Normal rank
@@ Property / cites work @@
+Q2722031
@@ Property / cites work: Q2722031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502811
@@ Property / cites work: Q4502811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738295
@@ Property / cites work: Q4738295 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501676
@@ Property / cites work: Q4501676 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536607
@@ Property / cites work: Q4536607 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362731
@@ Property / cites work: Q4362731 / rank @@
+Normal rank
@@ Property / cites work @@
+Domino Treewidth
@@ Property / cites work: Domino Treewidth / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of tree transductions defined by monadic second order logic and by attribute grammars
+Normal rank
@@ Property / cites work @@
+Q4941924
@@ Property / cites work: Q4941924 / rank @@
+Normal rank
@@ Property / cites work @@
+Visualization of Distributed Algorithms Based on Graph Relabelling Systems1 1This work has been supported by the European TMR research network GETGRATS, and by the “Conseil Régional d' Aquitane”.
+Normal rank
@@ Property / cites work @@
+Normal forms for algebras of connections.
@@ Property / cites work: Normal forms for algebras of connections. / rank @@
+Normal rank
@@ Property / cites work @@
+Pullback as a generic graph rewriting mechanism
@@ Property / cites work: Pullback as a generic graph rewriting mechanism / rank @@
+Normal rank
@@ Property / cites work @@
+Node rewriting in graphs and hypergraphs: A categorical framework
+Normal rank
@@ Property / cites work @@
+Pullback rewriting and applications
@@ Property / cites work: Pullback rewriting and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract hierarchical graph transformation
@@ Property / cites work: Abstract hierarchical graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435867
@@ Property / cites work: Q4435867 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222912
@@ Property / cites work: Q4222912 / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on the Kronecker product of graphs
@@ Property / cites work: Some remarks on the Kronecker product of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766553
@@ Property / cites work: Q2766553 / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-safe nets: Comparing the collective and individual token approaches.
+Normal rank
@@ Property / cites work @@
+Q4421729
@@ Property / cites work: Q4421729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222985
@@ Property / cites work: Q4222985 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
+Normal rank
@@ Property / cites work @@
+Q4249180
@@ Property / cites work: Q4249180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499237
@@ Property / cites work: Q4499237 / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial models for Petri nets
@@ Property / cites work: Functorial models for Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Relabelling Systems
@@ Property / cites work: Graph Relabelling Systems / rank @@
+Normal rank
@@ Property / cites work @@
+An interactive semantics of logic programming
@@ Property / cites work: An interactive semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic transformation of unary partial algebras II: Single-pushout approach
+Normal rank
@@ Property / cites work @@
+Q4536441
@@ Property / cites work: Q4536441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754142
@@ Property / cites work: Q2754142 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4421730
@@ Property / cites work: Q4421730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362962
@@ Property / cites work: Q4362962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839071
@@ Property / cites work: Q3839071 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic presentation of term graphs, via gs-monoidal categories
+Normal rank
@@ Property / cites work @@
+Q4941927
@@ Property / cites work: Q4941927 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting on cyclic structures: Equivalence between the operational and the categorical description
+Normal rank
@@ Property / cites work @@
+A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
+Normal rank
@@ Property / cites work @@
+Categorical rewriting of term-like structures
@@ Property / cites work: Categorical rewriting of term-like structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941928
@@ Property / cites work: Q4941928 / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic presentation of structured transition systems
+Normal rank
@@ Property / cites work @@
+Q4256315
@@ Property / cites work: Q4256315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934317
@@ Property / cites work: Q4934317 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional SOS and beyond: A coalgebraic view of open systems
+Normal rank
@@ Property / cites work @@
+Q4218137
@@ Property / cites work: Q4218137 / rank @@
+Normal rank
@@ Property / cites work @@
+Fusion in relational structures and the verification of monadic second-order properties
+Normal rank
@@ Property / cites work @@
+Q4232773
@@ Property / cites work: Q4232773 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear time solvable optimization problems on graphs of bounded clique-width
+Normal rank
@@ Property / cites work @@
+On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic
+Normal rank
@@ Property / cites work @@
+Upper bounds to the clique width of graphs
@@ Property / cites work: Upper bounds to the clique width of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Basic notions of universal algebra for language theory and graph grammars
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. X: Linear orderings
+Normal rank
@@ Property / cites work @@
+Q4353558
@@ Property / cites work: Q4353558 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs
+Normal rank
@@ Property / cites work @@
+Q2767003
@@ Property / cites work: Q2767003 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. XII: Planar graphs and planar maps
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. XIII: Graph drawings with edge crossings
+Normal rank
@@ Property / cites work @@
+A monadic second-order definition of the structure of convex hypergraphs.
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. XIV: Uniformly sparse graphs and edge set quantifica\-tions.
+Normal rank
@@ Property / cites work @@
+Decidability of the finiteness of ranges of tree transductions
+Normal rank
@@ Property / cites work @@
+Q4540961
@@ Property / cites work: Q4540961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4431346
@@ Property / cites work: Q4431346 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753855
@@ Property / cites work: Q2753855 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4782112
@@ Property / cites work: Q4782112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708976
@@ Property / cites work: Q2708976 / rank @@
+Normal rank
@@ Property / cites work @@
+Criteria to disprove context freeness of collage languages.
+Normal rank
@@ Property / cites work @@
+Q4699299
@@ Property / cites work: Q4699299 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of the sets of hypertrees generated by hyperedge-replacement graph grammars
+Normal rank
@@ Property / cites work @@
+Q4934332
@@ Property / cites work: Q4934332 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502801
@@ Property / cites work: Q4502801 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-based picture generation
@@ Property / cites work: Tree-based picture generation / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of the exponential output size problem for top-down and bottom-up tree transducers
+Normal rank
@@ Property / cites work @@
+Tree-based generation of languages of fractals
@@ Property / cites work: Tree-based generation of languages of fractals / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Theory and application of graph transformations. 6th international workshop, TAGT '98. Paderborn, Germany, November 16--20, 1998. Selected papers
+Normal rank
@@ Property / cites work @@
+Q4941149
@@ Property / cites work: Q4941149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502805
@@ Property / cites work: Q4502805 / rank @@
+Normal rank
@@ Property / cites work @@
+Pancyclicity in switching classes
@@ Property / cites work: Pancyclicity in switching classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502807
@@ Property / cites work: Q4502807 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic Results for Two Types of High-Level Replacement Systems
+Normal rank
@@ Property / cites work @@
+Q4492680
@@ Property / cites work: Q4492680 / rank @@
+Normal rank
@@ Property / cites work @@
+Gene assembly through cyclic graph decomposition
@@ Property / cites work: Gene assembly through cyclic graph decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269133
@@ Property / cites work: Q4269133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951112
@@ Property / cites work: Q4951112 / rank @@
+Normal rank
@@ Property / cites work @@
+Macro tree transducers, attribute grammars, and MSO definable tree translations.
+Normal rank
@@ Property / cites work @@
+Q4501561
@@ Property / cites work: Q4501561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502802
@@ Property / cites work: Q4502802 / rank @@
+Normal rank
@@ Property / cites work @@
+Macro Tree Translations of Linear Size Increase are MSO Definable
+Normal rank
@@ Property / cites work @@
+Q3974863
@@ Property / cites work: Q3974863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790390
@@ Property / cites work: Q4790390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790391
@@ Property / cites work: Q4790391 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4782120
@@ Property / cites work: Q4782120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037292
@@ Property / cites work: Q4037292 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence of bottom-up and top-down tree-to-graph transducers
+Normal rank
@@ Property / cites work @@
+Q4502812
@@ Property / cites work: Q4502812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4448354
@@ Property / cites work: Q4448354 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729067
@@ Property / cites work: Q2729067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839056
@@ Property / cites work: Q3839056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502817
@@ Property / cites work: Q4502817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499230
@@ Property / cites work: Q4499230 / rank @@
+Normal rank
@@ Property / cites work @@
+A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
+Normal rank
@@ Property / cites work @@
+Q4502806
@@ Property / cites work: Q4502806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218129
@@ Property / cites work: Q4218129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502818
@@ Property / cites work: Q4502818 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra Transformation Systems as a Unifying Framework
+Normal rank
@@ Property / cites work @@
+Q4941931
@@ Property / cites work: Q4941931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939659
@@ Property / cites work: Q4939659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699298
@@ Property / cites work: Q4699298 / rank @@
+Normal rank
@@ Property / cites work @@
+Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
+Normal rank
@@ Property / cites work @@
+Acyclicity of switching classes
@@ Property / cites work: Acyclicity of switching classes / rank @@
+Normal rank
@@ Property / cites work @@
+The size of switching classes with skew gains
@@ Property / cites work: The size of switching classes with skew gains / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterization of Acyclic Switching Classes of Graphs Using Forbidden Subgraphs
+Normal rank
@@ Property / cites work @@
+Q2728878
@@ Property / cites work: Q2728878 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499213
@@ Property / cites work: Q4499213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791833
@@ Property / cites work: Q4791833 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502808
@@ Property / cites work: Q4502808 / rank @@
+Normal rank
@@ Property / cites work @@
+Double-pushout graph transformation revisited
@@ Property / cites work: Double-pushout graph transformation revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q5284550
@@ Property / cites work: Q5284550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941932
@@ Property / cites work: Q4941932 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769432
@@ Property / cites work: Q2769432 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Equations by Graph Transformation
@@ Property / cites work: Solving Equations by Graph Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Processes and Local Actions
@@ Property / cites work: Processes and Local Actions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502809
@@ Property / cites work: Q4502809 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941910
@@ Property / cites work: Q4941910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890713
@@ Property / cites work: Q4890713 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic properties of processes for Local Action  Systems
+Normal rank
@@ Property / cites work @@
+Q4502814
@@ Property / cites work: Q4502814 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling Petri Nets by Local Action Systems1 1Partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and Esprit Working Group APPLIGRAPH through Universitaire Instelling Antwerpen.
+Normal rank
@@ Property / cites work @@
+Graph transformation units with interleaving semantics
+Normal rank
@@ Property / cites work @@
+Q4934343
@@ Property / cites work: Q4934343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839073
@@ Property / cites work: Q3839073 / rank @@
+Normal rank
@@ Property / cites work @@
+The generative power of context-free node rewriting in hypergraphs
+Normal rank
@@ Property / cites work @@
+Q4538859
@@ Property / cites work: Q4538859 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms for context-free node-rewriting hypergraph grammars
+Normal rank
@@ Property / cites work @@
+Context-free hypergraph grammars with node rewriting
+Normal rank
@@ Property / cites work @@
+A Formal Model for Role-Based Access Control Using Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q2769436
@@ Property / cites work: Q2769436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2728870
@@ Property / cites work: Q2728870 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435866
@@ Property / cites work: Q4435866 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Transformation Units
@@ Property / cites work: Parameterized Transformation Units / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502815
@@ Property / cites work: Q4502815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381404
@@ Property / cites work: Q4381404 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502810
@@ Property / cites work: Q4502810 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint satisfaction algorithms for graph  pattern matching
+Normal rank
@@ Property / cites work @@
+Cooperating distributed hyperedge replacement grammars
+Normal rank
@@ Property / cites work @@
+Q4260711
@@ Property / cites work: Q4260711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473157
@@ Property / cites work: Q4473157 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph rewriting, constraint solving and tiles for coordinating distributed systems
+Normal rank
@@ Property / cites work @@
+Q4342905
@@ Property / cites work: Q4342905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373686
@@ Property / cites work: Q4373686 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-uniform random spanning trees on weighted graphs
+Normal rank
@@ Property / cites work @@
+Q4524581
@@ Property / cites work: Q4524581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4236234
@@ Property / cites work: Q4236234 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical approach to horizontal structuring and refinement of high-level replacement systems
+Normal rank
@@ Property / cites work @@
+Rule-based refinement of high-level nets preserving safety properties
+Normal rank
@@ Property / cites work @@
+Q4699322
@@ Property / cites work: Q4699322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837998
@@ Property / cites work: Q3837998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037331
@@ Property / cites work: Q4037331 / rank @@
+Normal rank
@@ Property / cites work @@
+Essentials of Term Graph Rewriting
@@ Property / cites work: Essentials of Term Graph Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q4218106
@@ Property / cites work: Q4218106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890716
@@ Property / cites work: Q4890716 / 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 @@
+Visual Modeling of Distributed Object Systems by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q2728860
@@ Property / cites work: Q2728860 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80191-9
+Normal rank
@@ Property / OpenAlex ID @@
+W4233288065
@@ Property / OpenAlex ID: W4233288065 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4923529