The following pages link to Zinovy Diskin (Q782502):
Displayed 23 items.
- Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput'' (Q782503) (← links)
- A theoretical framework for cardinality-based feature models: the semantics and computational aspects (Q1647962) (← links)
- Graph operations and free graph algebras (Q1708200) (← links)
- General supervised learning as change propagation with delta lenses (Q2200820) (← links)
- Multiple model synchronization with multiary delta lenses (Q2324184) (← links)
- Multiple model synchronization with multiary delta lenses with amendment and K-Putput (Q2335951) (← links)
- (Q2737490) (← links)
- (Q2753895) (← links)
- Modeling Product Lines with Kripke Structures and Modal Logic (Q2787423) (← links)
- A Diagrammatic Logic for Object-Oriented Visual Modeling (Q2864376) (← links)
- (Q4260394) (← links)
- (Q4415443) (← links)
- (Q4415444) (← links)
- (Q4415501) (← links)
- Faithful Modeling of Product Lines with Kripke Structures and Modal Logic (Q4621201) (← links)
- (Q4737292) (← links)
- (Q4890393) (← links)
- (Q4890398) (← links)
- (Q4890400) (← links)
- (Q5057643) (← links)
- Traceability Mappings as a Fundamental Instrument in Model Transformations (Q5215910) (← links)
- General supervised learning as change propagation with delta lenses (Q6330069) (← links)
- Cartesian institutions with evidence: Data and system modelling with diagrammatic constraints and generalized sketches (Q6441848) (← links)