Zinovy Diskin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Cartesian institutions with evidence: Data and system modelling with diagrammatic constraints and generalized sketches	2023-06-27	Paper
scientific article; zbMATH DE number 7633805 (Why is no real title available?)	2022-12-16	Paper
General supervised learning as change propagation with delta lenses (available as arXiv preprint)	2020-09-23	Paper
Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput Formal Aspects of Computing	2020-07-27	Paper
Traceability mappings as a fundamental instrument in model transformations Fundamental Approaches to Software Engineering	2020-02-13	Paper
General supervised learning as change propagation with delta lenses (available as arXiv preprint)	2019-11-28	Paper
Multiple model synchronization with multiary delta lenses with amendment and K-Putput Formal Aspects of Computing	2019-11-18	Paper
Multiple model synchronization with multiary delta lenses	2019-09-16	Paper
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic Scientific Annals of Computer Science	2019-02-08	Paper
A theoretical framework for cardinality-based feature models: the semantics and computational aspects Journal of Logical and Algebraic Methods in Programming	2018-06-27	Paper
Graph operations and free graph algebras	2018-04-04	Paper
Modeling product lines with Kripke structures and modal logic Theoretical Aspects of Computing - ICTAC 2015	2016-02-25	Paper
A diagrammatic logic for object-oriented visual modeling Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
scientific article; zbMATH DE number 2086744 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1960346 (Why is no real title available?)	2004-02-22	Paper
scientific article; zbMATH DE number 1960347 (Why is no real title available?)	2004-02-22	Paper
scientific article; zbMATH DE number 1960385 (Why is no real title available?)	2003-08-06	Paper
scientific article; zbMATH DE number 1670627 (Why is no real title available?)	2001-12-09	Paper
The graph-based logic of visual modeling and taming heterogeneity of semantic models	2001-09-12	Paper
scientific article; zbMATH DE number 1333619 (Why is no real title available?)	1999-09-19	Paper
scientific article; zbMATH DE number 919550 (Why is no real title available?)	1996-12-01	Paper
scientific article; zbMATH DE number 919545 (Why is no real title available?)	1996-10-29	Paper
scientific article; zbMATH DE number 919549 (Why is no real title available?)	1996-10-29	Paper

Research outcomes over time

This page was built for person: Zinovy Diskin