On the public citation graph

Integrating the specification techniques of graph transformation and temporal logic

https://doi.org/10.1007/bfb0029965
0 signed · 27 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-61228-9_103openalex-snapshot
Transformations of graph grammars
inferredcites →https://doi.org/10.1007/3-540-61228-9_79openalex-snapshot
The category of typed graph grammars and its adjunctions with categories of derivations
inferredcites →https://doi.org/10.1007/978-1-4612-0931-7openalex-snapshot
The Temporal Logic of Reactive and Concurrent Systems
inferredcites →https://doi.org/10.1016/s0167-6423(98)00023-9openalex-snapshot
Graph transformation for specification and programming
inferredcites →https://doi.org/10.1016/s0304-3975(00)00056-6openalex-snapshot
Universal coalgebra: a theory of systems
inferredcites →https://doi.org/10.1016/s1571-0661(05)80188-4openalex-snapshot
Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach -
inferredcites →https://doi.org/10.1017/s0960129500000694openalex-snapshot
An approach to object semantics based on terminal co-algebras
inferredcites →https://doi.org/10.1017/s0960129500001353openalex-snapshot
Parallelism and concurrency in high-level replacement systems
inferredcites →https://doi.org/10.1017/s0960129500070110openalex-snapshot
Horizontal and vertical structuring of typed graph transformation systems
inferredcites →https://doi.org/10.1109/swat.1973.11openalex-snapshot
Graph-grammars: An algebraic approach
inferredcites →https://doi.org/10.1142/9789812384720_0003openalex-snapshot
ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION – PART I: BASIC CONCEPTS AND DOUBLE PUSHOUT APPROACH
inferredcites →https://doi.org/10.3233/fi-1996-263402openalex-snapshot
GRAPH PROCESSES
inferredcites →https://doi.org/10.3233/fi-1996-263404openalex-snapshot
GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-28554-7_5openalex-snapshot
Using Graph Transformation for Practical Model-Driven Software Engineering
inferred← citeshttps://doi.org/10.1007/3-540-45711-9_11openalex-snapshot
Bisimulation Equivalences for Graph Grammars
inferred← citeshttps://doi.org/10.1007/3-540-63531-9_23openalex-snapshot
A view-oriented approach to system modelling based on graph transformation
inferred← citeshttps://doi.org/10.1007/978-3-540-46464-8_22openalex-snapshot
A Fully Abstract Model for Graph-Interpreted Temporal Logic
inferred← citeshttps://doi.org/10.1007/b106390openalex-snapshot
Formal Methods in Software and Systems Modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
inferred← citeshttps://doi.org/10.1007/bfb0053588openalex-snapshot
Compositional verification of reactive systems specified by graph transformation
inferred← citeshttps://doi.org/10.1007/s10270-003-0050-xopenalex-snapshot
Automated formal verification of visual modeling languages by model checking
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00191-4openalex-snapshot
GETGRATS A summary of scientific results (with annotated bibliography)
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80191-9openalex-snapshot
GETGRATS
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80611-xopenalex-snapshot
Towards Symbolic Analysis of Visual Modeling Languages
inferred← citeshttps://doi.org/10.1023/a:1008734426504openalex-snapshot
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems
inferred← citeshttps://doi.org/10.1109/csse.2008.992openalex-snapshot
Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations
inferred← citeshttps://doi.org/10.1145/1656485.1656488openalex-snapshot
Verification of DSMLs using graph transformation
inferred← citeshttps://doi.org/10.1145/267895.267919openalex-snapshot
A view-oriented approach to system modelling based on graph transformation
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.