Special issue on Theoretical Topics in Graph Transformation | 0 | 0.34 | 2022 |
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques | 0 | 0.34 | 2021 |
Towards a Spatial Model Checker on GPU. | 0 | 0.34 | 2021 |
Concurrent semantics for fusions: Weak prime domains and connected event structures | 0 | 0.34 | 2021 |
Soft constraint automata with memory | 0 | 0.34 | 2021 |
Implementation Correctness for Replicated Data Types, Categorically. | 0 | 0.34 | 2020 |
Preface | 0 | 0.34 | 2019 |
A Categorical Account of Replicated Data Types. | 0 | 0.34 | 2019 |
On the semantics and implementation of replicated data types. | 0 | 0.34 | 2018 |
Confluence of Graph Rewriting with Interfaces. | 0 | 0.34 | 2017 |
Towards a Notion of Transaction in Graph Rewriting | 4 | 0.45 | 2008 |
AGILE: Software Architecture for Mobility | 14 | 0.95 | 2002 |
The Tile Model | 69 | 3.18 | 2000 |