On the public citation graph
Formal Methods in Software and Systems Modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
0 signed · 182 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/mana.19790910111openalex-snapshot
Pushout‐Properties: An analysis of gluing constructions for graphs
inferredcites →https://doi.org/10.1007/3-540-07142-3_73openalex-snapshot
Diagram-characterization of recursion
inferredcites →https://doi.org/10.1007/3-540-07142-3_74openalex-snapshot
Power and initial automata in pseudoclosed categories
inferredcites →https://doi.org/10.1007/3-540-07854-1_188openalex-snapshot
Parallelism of manipulations in multidimensional information structures
inferredcites →https://doi.org/10.1007/3-540-08342-1_16openalex-snapshot
The mathematics of record handling
inferredcites →https://doi.org/10.1007/3-540-08442-8_91openalex-snapshot
Embedding Theorems in the Algebraic Theory of Graph Grammars
inferredcites →https://doi.org/10.1007/3-540-08860-1_16openalex-snapshot
Stepwise specification and implementation of abstract data types
inferredcites →https://doi.org/10.1007/3-540-08921-7_65openalex-snapshot
Concurrency of manipulations in multidimensional information structures
inferredcites →https://doi.org/10.1007/3-540-08921-7_66openalex-snapshot
Deriving structures from structures
inferredcites →https://doi.org/10.1007/3-540-10003-2_67openalex-snapshot
Algebraic implementation of abstract data types: concept, syntax, semantics and correctness
inferredcites →https://doi.org/10.1007/3-540-10003-2_68openalex-snapshot
Parameterized data types in algebraic specification languages
inferredcites →https://doi.org/10.1007/3-540-10828-9_51openalex-snapshot
Algebraic theory of parameterized specifications with requirements
inferredcites →https://doi.org/10.1007/3-540-11490-4_21openalex-snapshot
Parameter passing in algebraic specification languages
inferredcites →https://doi.org/10.1007/3-540-18771-5_47openalex-snapshot
Towards distributed graph grammars
inferredcites →https://doi.org/10.1007/3-540-18771-5_72openalex-snapshot
Graph rewriting with unification and composition
inferredcites →https://doi.org/10.1007/3-540-44685-0_34openalex-snapshot
Compositional Modeling of Reactive Systems Using Open Nets
inferredcites →https://doi.org/10.1007/3-540-45711-9openalex-snapshot
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg
inferredcites →https://doi.org/10.1007/3-540-50325-0_2openalex-snapshot
Algebraic data type and process specifications based on projection spaces
inferredcites →https://doi.org/10.1007/3-540-51722-7_1openalex-snapshot
A categorical concept of constraints for algebraic specifications
inferredcites →https://doi.org/10.1007/3-540-51722-7_17openalex-snapshot
The construct PRO of projection spaces: its internal structure
inferredcites →https://doi.org/10.1007/3-540-52048-1_43openalex-snapshot
Algebraic software development concepts for module and configuration families
inferredcites →https://doi.org/10.1007/3-540-52559-9_69openalex-snapshot
Transformation of combined data type and process specifications using projection algebras
inferredcites →https://doi.org/10.1007/3-540-53832-1_52openalex-snapshot
Algebraic approach to graph transformation based on single pushout derivations
inferredcites →https://doi.org/10.1007/3-540-54496-8_5openalex-snapshot
A match operation for rule-based modular system design
inferredcites →https://doi.org/10.1007/3-540-57787-4_10openalex-snapshot
Canonical derivations for high-level replacement systems
inferredcites →https://doi.org/10.1007/3-540-57787-4_6openalex-snapshot
Abstract graph derivations in the double pushout approach
inferredcites →https://doi.org/10.1007/3-540-57787-4_7openalex-snapshot
Note on standard representation of graphs and graph derivations
inferredcites →https://doi.org/10.1007/3-540-58338-6_62openalex-snapshot
Algebraic methods in the compositional analysis of logic programs
inferredcites →https://doi.org/10.1007/3-540-61228-9openalex-snapshot
Graph Grammars and Their Application to Computer Science
inferredcites →https://doi.org/10.1007/3-540-61228-9_84openalex-snapshot
Pragmatic and semantic aspects of a module concept for graph transformation systems
inferredcites →https://doi.org/10.1007/3-540-61629-2_34openalex-snapshot
On the role of category theory in the area of algebraic specifications
inferredcites →https://doi.org/10.1007/3-540-63141-0_13openalex-snapshot
Horizontal and vertical structuring techniques for statecharts
inferredcites →https://doi.org/10.1007/3-540-64299-4_25openalex-snapshot
From abstract data types to algebraic development techniques: A shift of paradigms
inferredcites →https://doi.org/10.1007/3540539816_62openalex-snapshot
On the relationship between algebraic module specifications and program modules
inferredcites →https://doi.org/10.1007/978-3-322-96644-5openalex-snapshot
Universal Theory of Automata
inferredcites →https://doi.org/10.1007/978-3-540-24727-2_12openalex-snapshot
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting
inferredcites →https://doi.org/10.1007/978-3-540-27755-2_14openalex-snapshot
Graph Grammars and Petri Net Transformations
inferredcites →https://doi.org/10.1007/978-3-540-27863-4_1openalex-snapshot
Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results
inferredcites →https://doi.org/10.1007/978-3-540-30203-2_12openalex-snapshot
Adhesive High-Level Replacement Categories and Systems
inferredcites →https://doi.org/10.1007/978-3-540-30203-2_13openalex-snapshot
Fundamental Theory for Typed Attributed Graph Transformation
inferredcites →https://doi.org/10.1007/978-3-540-30203-2_21openalex-snapshot
Constraints and Application Conditions: From Graphs to High-Level Structures
inferredcites →https://doi.org/10.1007/978-3-540-40022-6_1openalex-snapshot
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY
inferredcites →https://doi.org/10.1007/978-3-540-40022-6_3openalex-snapshot
Petri Net Transformations in the ≫Petri Net Baukasten≪
inferredcites →https://doi.org/10.1007/978-3-540-40022-6_5openalex-snapshot
Generation of Animation Views for Petri Nets in GenGED
inferredcites →https://doi.org/10.1007/978-3-540-46464-8_18openalex-snapshot
Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages
inferredcites →https://doi.org/10.1007/978-3-540-46464-8_7openalex-snapshot
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information
inferredcites →https://doi.org/10.1007/978-3-642-48895-5_25openalex-snapshot
Minimization Concepts of Automata in Pseudoclosed Categories
inferredcites →https://doi.org/10.1007/978-3-642-59851-7_7openalex-snapshot
Refinement and Implementation
inferredcites →https://doi.org/10.1007/978-3-642-74872-1_14openalex-snapshot
Algebraic Concepts for Software Development in ACT ONE, ACT TWO, And LOTOS
inferredcites →https://doi.org/10.1007/978-3-642-77449-2_3openalex-snapshot
From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach
inferredcites →https://doi.org/10.1007/978-3-642-78486-6_94openalex-snapshot
Combined Algebraic Specification Techniques for Concurrent and Distributed Systems
inferredcites →https://doi.org/10.1007/978-3-642-95486-3_7openalex-snapshot
Graph Grammars with Application Conditions
inferredcites →https://doi.org/10.1007/978-3-642-97986-6openalex-snapshot
Mathematisch-strukturelle Grundlagen der Informatik
inferredcites →https://doi.org/10.1007/978-3-662-01089-1_24openalex-snapshot
Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications
inferredcites →https://doi.org/10.1007/978-3-662-09691-8_7openalex-snapshot
Towards Abstract User Interfaces for Formal System Specifications
inferredcites →https://doi.org/10.1007/bfb0000099openalex-snapshot
Aspects of concurrency in graph grammars
inferredcites →https://doi.org/10.1007/bfb0000100openalex-snapshot
Church-Rosser properties for graph replacement systems with unique splitting
inferredcites →https://doi.org/10.1007/bfb0013816openalex-snapshot
High-level-replacement systems for equational algebraic specifications
inferredcites →https://doi.org/10.1007/bfb0014431openalex-snapshot
Dynamic abstract data types based on algebraic graph transformations
inferredcites →https://doi.org/10.1007/bfb0015461openalex-snapshot
How to cope with the Spectrum of Spectrum
inferredcites →https://doi.org/10.1007/bfb0017372openalex-snapshot
Graph Grammars and Their Application to Computer Science
inferredcites →https://doi.org/10.1007/bfb0017375openalex-snapshot
Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts
inferredcites →https://doi.org/10.1007/bfb0022508openalex-snapshot
Compound algebraic implementations: An approach to stepwise refinement of software systems
inferredcites →https://doi.org/10.1007/bfb0025713openalex-snapshot
Graph-Grammars and Their Application to Computer Science and Biology
inferredcites →https://doi.org/10.1007/bfb0025714openalex-snapshot
Introduction to the algebraic theory of graph grammars (a survey)
inferredcites →https://doi.org/10.1007/bfb0025722openalex-snapshot
Locally star gluing formulas for a class of parallel graph grammars
inferredcites →https://doi.org/10.1007/bfb0029965openalex-snapshot
Integrating the specification techniques of graph transformation and temporal logic
inferredcites →https://doi.org/10.1007/bfb0035766openalex-snapshot
On recent trends in algebraic specification
inferredcites →https://doi.org/10.1007/bfb0036909openalex-snapshot
Algebraic specifications with generating constraints
inferredcites →https://doi.org/10.1007/s10270-003-0043-9openalex-snapshot
A component framework for system modeling based on high-level replacement systems
inferredcites →https://doi.org/10.1016/0022-0000(81)90014-3openalex-snapshot
Complexity of algebraic implementations for abstract data types
inferredcites →https://doi.org/10.1016/0022-0000(87)90028-6openalex-snapshot
Algebraic specification of modules and their basic interconnections
inferredcites →https://doi.org/10.1016/0304-3975(80)90016-xopenalex-snapshot
Parallelism and concurrency of graph manipulations
inferredcites →https://doi.org/10.1016/0304-3975(83)90065-8openalex-snapshot
Parameter passing in algebraic specification languages
inferredcites →https://doi.org/10.1016/0304-3975(90)90049-nopenalex-snapshot
Combining data type and recursive process specifications using projection algebras
inferredcites →https://doi.org/10.1016/0304-3975(90)90115-xopenalex-snapshot
Compatibility problems in the development of algebraic module specifications
inferredcites →https://doi.org/10.1016/0304-3975(93)90066-3openalex-snapshot
Parallel and distributed derivations in the single-pushout approach
inferredcites →https://doi.org/10.1016/0304-3975(94)90110-4openalex-snapshot
Functorial theory of a parameterized specifications in a general specification framework
inferredcites →https://doi.org/10.1016/0306-4379(80)90014-9openalex-snapshot
Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems
inferredcites →https://doi.org/10.1016/j.entcs.2004.01.012openalex-snapshot
A Generic Framework for Connector Architectures based on Components and Transformations
inferredcites →https://doi.org/10.1016/j.jlap.2005.09.007openalex-snapshot
Petri net modules in the transformation-based component framework
inferredcites →https://doi.org/10.1016/s0022-0000(76)80002-5openalex-snapshot
Systematic approach to reduction and minimization in automata and system theory
inferredcites →https://doi.org/10.1016/s0304-3975(82)80001-7openalex-snapshot
Algebraic implementation of abstract data types
inferredcites →https://doi.org/10.1016/s1571-0661(04)00173-2openalex-snapshot
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques
inferredcites →https://doi.org/10.1016/s1571-0661(04)80197-xopenalex-snapshot
Basic Results for Two Types of High-Level Replacement Systems
inferredcites →https://doi.org/10.1016/s1571-0661(04)80616-9openalex-snapshot
A Component Framework Based on High-Level Replacement Systems
inferredcites →https://doi.org/10.1016/s1571-0661(04)80743-6openalex-snapshot
Behavior and Instantiation of High–Level Net Processes
inferredcites →https://doi.org/10.1016/s1571-0661(04)80747-3openalex-snapshot
Components for Algebra Transformation Systems
inferredcites →https://doi.org/10.1016/s1571-0661(05)80185-9openalex-snapshot
Introduction to COMPUGRAPH
inferredcites →https://doi.org/10.1017/s0960129500000724openalex-snapshot
Algebraic high-level net transformation systems
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.1017/s0960129501003553openalex-snapshot
Concurrency and loose semantics of open graph transformation systems
inferredcites →https://doi.org/10.1017/s0960129504004311openalex-snapshot
Compositional semantics for open Petri nets based on deterministic processes
inferredcites →https://doi.org/10.1051/ita/1979130201071openalex-snapshot
Categorical approach to nonlinear constant continuous-time systems
inferredcites →https://doi.org/10.1093/comjnl/35.5.460openalex-snapshot
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development
inferredcites →https://doi.org/10.1093/comjnl/35.5.468openalex-snapshot
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications
inferredcites →https://doi.org/10.1109/ftdcs.1990.138314openalex-snapshot
Linking schemas and module specifications for distributed systems
inferredcites →https://doi.org/10.1109/hicss.1990.205184openalex-snapshot
Algebraic concepts for formal specification and transformation of modular software systems
inferredcites →https://doi.org/10.1109/swat.1973.11openalex-snapshot
Graph-grammars: An algebraic approach
inferredcites →https://doi.org/10.1109/tse.1986.6312979openalex-snapshot
Specification of modular systems
inferredcites →https://doi.org/10.1142/1877openalex-snapshot
Algebraic Specification Techniques and Tools for Software Development: The Act Approach
inferredcites →https://doi.org/10.1142/4181openalex-snapshot
Handbook of Graph Grammars and Computing by Graph Transformation
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.1142/9789812562494_0038openalex-snapshot
BIGRAPHS MEET DOUBLE PUSHOUTS
inferredcites →https://doi.org/10.1142/9789812562494_0042openalex-snapshot
ON THE RELEVANCE OF HIGH-LEVEL NET PROCESSES
inferredcites →https://doi.org/10.1142/9789812794499_0012openalex-snapshot
New Concepts for Amalgamation and Extension in the Framework of Specification Logics
inferredcites →https://doi.org/10.1142/9789812814951_0003openalex-snapshot
CONCURRENT SEMANTICS OF ALGEBRAIC GRAPH TRANSFORMATIONS
inferredcites →https://doi.org/10.1142/9789812815149_0016openalex-snapshot
A VIEW-BASED APPROACH TO SYSTEM MODELING BASED ON OPEN GRAPH TRANSFORMATION SYSTEMS
inferredcites →https://doi.org/10.1142/s0218194097000266openalex-snapshot
A Combined Reference Model- and View-Based Approach to System Specification
inferredcites →https://doi.org/10.1145/800141.804676openalex-snapshot
Complexity of implementations on the level of algebraic specifications
inferredcites →https://doi.org/10.1515/9783112708651-014openalex-snapshot
The skeleton of minimal realization
inferredcites →https://doi.org/10.3233/2001-jid5_02openalex-snapshot
COOPERABILITY IN TRAIN CONTROL SYSTEMS: SPECIFICATION OF SCENARIOS USING OPEN NETS
inferredcites →https://doi.org/10.3233/fun-2005-65302openalex-snapshot
Behaviour and Instantiation of High-Level Petri Net Processes
inferredcites →https://doi.org/10.5753/sbes.1993.24392openalex-snapshot
Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11601548_9openalex-snapshot
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes
inferred← citeshttps://doi.org/10.1007/11767589_17openalex-snapshot
Towards Synthesis of Petri Nets from Scenarios
inferred← citeshttps://doi.org/10.1007/11767589_21openalex-snapshot
Can I Execute My Scenario in Your Net? VipTool Tells You!
inferred← citeshttps://doi.org/10.1007/11841883_1openalex-snapshot
Nested Quantification in Graph Transformation Rules
inferred← citeshttps://doi.org/10.1007/11905455_5openalex-snapshot
Graph Theory for Rule-Based Modeling of Biochemical Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-12904-4_1openalex-snapshot
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation
inferred← citeshttps://doi.org/10.1007/978-3-319-14977-6_6openalex-snapshot
Discrete Control-Based Design of Adaptive and Autonomic Computing Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-21145-9_10openalex-snapshot
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations
inferred← citeshttps://doi.org/10.1007/978-3-540-31847-7_16openalex-snapshot
Cofree Coalgebras for Signature Morphisms
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_34openalex-snapshot
A Category of Explicit Fusions
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_5openalex-snapshot
Graph Transformation Units – An Overview
inferred← citeshttps://doi.org/10.1007/978-3-540-71998-4_10openalex-snapshot
A (Co)Algebraic Analysis of Synchronization in CSP
inferred← citeshttps://doi.org/10.1007/978-3-540-75140-3_15openalex-snapshot
Reconstructing Metabolic Pathways by Bidirectional Chemical Search
inferred← citeshttps://doi.org/10.1007/978-3-540-78127-1_19openalex-snapshot
Some Results on the Expressive Power and Complexity of LSCs
inferred← citeshttps://doi.org/10.1007/978-3-540-78743-3_14openalex-snapshot
A Logic of Graph Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_11openalex-snapshot
Graph Transformation for Topology Modelling
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_19openalex-snapshot
Attributed Graph Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_20openalex-snapshot
Resolution-Like Theorem Proving for High-Level Conditions
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_48openalex-snapshot
Development of Correct Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-00219-9_39openalex-snapshot
Subdivision Drawings of Hypergraphs
inferred← citeshttps://doi.org/10.1007/978-3-642-00593-0_6openalex-snapshot
Controller Synthesis from LSC Requirements
inferred← citeshttps://doi.org/10.1007/978-3-642-00768-2_9openalex-snapshot
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-04425-0_50openalex-snapshot
Generic Model Refactorings
inferred← citeshttps://doi.org/10.1007/978-3-642-11512-7_13openalex-snapshot
On the Power of Play-Out for Scenario-Based Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-13688-7_4openalex-snapshot
Synthesis of OCL Pre-conditions for Graph Transformation Rules
inferred← citeshttps://doi.org/10.1007/978-3-642-13688-7_7openalex-snapshot
From Sequence Diagrams to State Machines by Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-642-17322-6_3openalex-snapshot
Graph Transformation by Computational Category Theory
inferred← citeshttps://doi.org/10.1007/978-3-642-37075-5_1openalex-snapshot
Pattern Graphs and Rule-Based Models: The Semantics of Kappa
inferred← citeshttps://doi.org/10.1007/978-3-642-37635-1_2openalex-snapshot
Behaviour Protection in Modular Rule-Based System Specifications
inferred← citeshttps://doi.org/10.1007/978-3-662-46675-9_4openalex-snapshot
On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications
inferred← citeshttps://doi.org/10.1007/s00165-009-0127-6openalex-snapshot
Consistent integration of models based on views of meta models
inferred← citeshttps://doi.org/10.1007/s10270-014-0433-1openalex-snapshot
Enhanced graph rewriting systems for complex software domains
inferred← citeshttps://doi.org/10.1007/s11432-014-5159-8openalex-snapshot
Automated transformations from UML behavior models to contracts
inferred← citeshttps://doi.org/10.1016/j.dam.2018.07.006openalex-snapshot
Executing bigraphical reactive systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.01.014openalex-snapshot
Cloning and Expanding Graph Transformation Rules for Refactoring
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.01.003openalex-snapshot
Expander2: Program Verification Between Interaction and Automation
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.03.078openalex-snapshot
Architectural Connectors for Sequence Diagrams
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.047openalex-snapshot
A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.05.044openalex-snapshot
Formal Verification of Graph Grammars using Mathematical Induction
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.08.010openalex-snapshot
Improving Translation of Live Sequence Charts to Temporal Logic
inferred← citeshttps://doi.org/10.1016/j.infsof.2020.106504openalex-snapshot
Context-Oriented Behavioral Programming
inferred← citeshttps://doi.org/10.1016/j.is.2008.06.003openalex-snapshot
On the relationship between workflow models and document types
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.09.005openalex-snapshot
Amalgamation of domain specific languages with behaviour
inferred← citeshttps://doi.org/10.1016/j.jlamp.2018.11.004openalex-snapshot
Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach
inferred← citeshttps://doi.org/10.1016/j.jlamp.2019.01.005openalex-snapshot
Specifying graph languages with type graphs
inferred← citeshttps://doi.org/10.1016/j.jlamp.2019.100482openalex-snapshot
On the essence and initiality of conflicts in M -adhesive transformation systems
inferred← citeshttps://doi.org/10.1016/j.jlamp.2023.100873openalex-snapshot
Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes
inferred← citeshttps://doi.org/10.1016/j.jss.2015.08.017openalex-snapshot
Backwards reasoning for model transformations: Method and applications
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112036openalex-snapshot
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter
inferred← citeshttps://doi.org/10.1016/j.scico.2011.03.010openalex-snapshot
Correct transformation: From object-based graph grammars to PROMELA
inferred← citeshttps://doi.org/10.1016/j.scico.2014.10.002openalex-snapshot
Local confluence analysis of hypergraph transformation systems with application conditions based on M -functors and Agg
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102728openalex-snapshot
Topological consistency preservation with graph transformation schemes
inferred← citeshttps://doi.org/10.1093/jigpal/jzr048openalex-snapshot
Computer-assisted human-oriented inductive theorem proving by descente infinie--a manifesto
inferred← citeshttps://doi.org/10.1145/2491411.2491445openalex-snapshot
Incrementally synthesizing controllers from scenario-based product line specifications
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.10.154openalex-snapshot
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
inferred← citeshttps://doi.org/10.1587/transinf.e97.d.1171openalex-snapshot
An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets
inferred← citeshttps://doi.org/10.20998/2522-9052.2023.3.05openalex-snapshot
DIAGNOSIS OF SYSTEMS UNDER CONDITIONS OF SMALL INITIAL DATA SAMPLING
inferred← citeshttps://doi.org/10.3233/fi-2010-239openalex-snapshot
A Generic Approach to Connector Architectures Part I: The General Framework
inferred← citeshttps://doi.org/10.3390/bdcc5010013openalex-snapshot
From data Processing to Knowledge Processing: Working with Operational Schemas by Autopoietic Machines
inferred← citeshttps://doi.org/10.5381/jot.2011.10.1.a8openalex-snapshot
From UML 2 Sequence Diagrams to State Machines by 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.