44 citations · 45 across the 6 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2023
Cartesian institutions with evidence: Data and system modelling with diagrammatic constraints and generalized sketches
Zinovy Diskin
Data constraints are fundamental for practical data modelling, and a verifiable conformance of a data instance to a safety-critical constraint (satisfaction relation) is a corner-s…
cs.LO2019
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput
Zinovy Diskin, Harald König, Mark Lawford
Multiple (more than 2) model synchronization is ubiquitous and important for model driven engineering, but its theoretical underpinning gained much less attention than the binary c…
cs.LO2019★ 1 cited
General supervised learning as change propagation with delta lenses
Zinovy Diskin
Delta lenses are an established mathematical framework for modelling and designing bidirectional model transformations. Following the recent observations by Fong et al, the paper e…