Lambda Substitution Algebras. - Zinovy Diskin; Ilya Beylin (MFCS, 1993)

Variable Sets and Functions Framework for Conceptual Modeling: Integrating ER and OO via Sketches with Dynamic Markers. - Zinovy Diskin; Boris Cadish (OOER, 1995)

Algebraic Graph-Based Approach to Management of Multidatabase Systems. - Zinovy Diskin; Boris Cadish (NGITS, 1995)

Heterogeneous View Integration via Sketches and Equations. - Boris Cadish; Zinovy Diskin (ISMIS, 1996)

A Graphical Yet Formalized Framework for Specifying View Systems. - Zinovy Diskin; Boris Cadish (ADBIS, 1997)

What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations. - Zinovy Diskin; Boris Kadish; Frank Piessens (Behavioral Specifications of Businesses and Systems, 1999)

Universal Arrow Foundations for Visual Modeling. - Zinovy Diskin; Boris Kadish; Frank Piessens; Michael Johnson (Diagrams, 2000)

On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000). - Zinovy Diskin (TOOLS (37), 2000)

On Modeling, Mathematics, Category Theory and RM-ODP. - Zinovy Diskin (WOODPECKER, 2001)

Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML. - Zinovy Diskin (Diagrams, 2002)

Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling. - Zinovy Diskin; Boris Kadish (Data Knowl. Eng., 2003)

Mathematics of Generic Specifications for Model Management, I. - Zinovy Diskin (Encyclopedia of Database Technologies and Applications, 2005)

Mathematics of Generic Specifications for Model Management, II. - Zinovy Diskin (Encyclopedia of Database Technologies and Applications, 2005)

Generic Model Management. - Zinovy Diskin; Boris Kadish (Encyclopedia of Database Technologies and Applications, 2005)

Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. - Zinovy Diskin; Jürgen Dingel (MoDELS, 2006)

Package Merge in UML 2: Practice vs. Theory? - Alanna Zito; Zinovy Diskin; Jürgen Dingel (MoDELS, 2006)

A comparative survey of scenario-based to state-based model synthesis approaches. - Hongzhi Liang; Jürgen Dingel; Zinovy Diskin (SCESM, 2006)

An Eclipse-based tool framework for software model management. - Rick Salay; Marsha Chechik; Steve M. Easterbrook; Zinovy Diskin; Pete McCormick; Shiva Nejati 001; Mehrdad Sabetzadeh; Petcharat Viriyakattiyaporn (ETX, 2007)

A Diagrammatic Logic for Object-Oriented Visual Modeling. - Zinovy Diskin; Uwe Wolter (ACCAT@ETAPS, 2007)

Contexts and Context Awareness in View of the Diagram Predicate Framework. - Uwe Wolter; Zinovy Diskin (ISoLA, 2008)

Algebraic Models for Bidirectional Model Synchronization. - Zinovy Diskin (MoDELS, 2008)

A General Approach for Scenario Integration. - Hongzhi Liang; Zinovy Diskin; Jürgen Dingel; Ernesto Posse (MoDELS, 2008)

Engineering Associations: From Models to Code and Back through Semantics. - Zinovy Diskin; Steve M. Easterbrook; Jürgen Dingel (TOOLS (46), 2008)

Understanding and improving UML package merge. - Jürgen Dingel; Zinovy Diskin; Alanna Zito (Softw. Syst. Model., 2008)

Model Synchronization: Mappings, Tiles, and Categories. - Zinovy Diskin (GTTSE, 2009)

Relationship-based change propagation: A case study. - Marsha Chechik; Winnie Lai; Shiva Nejati 001; Jordi Cabot; Zinovy Diskin; Steve M. Easterbrook; Mehrdad Sabetzadeh; Rick Salay (MiSE@ICSE, 2009)

Model-versioning-in-the-large: Algebraic foundations and the tile notation. - Zinovy Diskin; Krzysztof Czarnecki 001; Michal Antkiewicz (CVSM@ICSE, 2009)

From State- to Delta-Based Bidirectional Model Transformations. - Zinovy Diskin; Yingfei Xiong 001; Krzysztof Czarnecki 001 (ICMT@TOOLS, 2010)

Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. - Zinovy Diskin; Yingfei Xiong 001; Krzysztof Czarnecki 001 (MoDELS (Workshops), 2010)

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. - Zinovy Diskin; Yingfei Xiong 001; Krzysztof Czarnecki 001; Hartmut Ehrig; Frank Hermann 001; Fernando Orejas (MoDELS, 2011)

Correctness of Model Synchronization Based on Triple Graph Grammars. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Krzysztof Czarnecki 001; Zinovy Diskin; Yingfei Xiong 001 (MoDELS, 2011)

From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case. - Zinovy Diskin; Yingfei Xiong 001; Krzysztof Czarnecki 001 (J. Object Technol., 2011)

Intermodeling, Queries, and Kleisli Categories. - Zinovy Diskin; T. S. E. Maibaum; Krzysztof Czarnecki 001 (FASE, 2012)

Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond - Zinovy Diskin; T. S. E. Maibaum (ACCAT, 2012)

Example-driven modeling: model = abstractions + examples. - Kacper Bak; Dina Zayan; Krzysztof Czarnecki 001; Michal Antkiewicz; Zinovy Diskin; Andrzej Wasowski; Derek Rayside (ICSE, 2013)

Example-Driven Modeling using Clafer. - Michal Antkiewicz; Kacper Bak; Krzysztof Czarnecki 001; Zinovy Diskin; Dina Zayan; Andrzej Wasowski (MDEBE@MoDELS, 2013)

Partial Instances via Subclassing. - Kacper Bak; Zinovy Diskin; Michal Antkiewicz; Krzysztof Czarnecki 001; Andrzej Wasowski (SLE, 2013)

Mapping-Aware Megamodeling: Design Patterns and Laws. - Zinovy Diskin; Sahar Kokaly; Tom Maibaum (SLE, 2013)

Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization. - Zinovy Diskin; Arif Wider; Hamid Gholizadeh; Krzysztof Czarnecki 001 (ICMT, 2014)

A Query Structured Approach for Model Transformation. - Hamid Gholizadeh; Zinovy Diskin; Tom Maibaum (AMT@MoDELS, 2014)

A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical. - Zinovy Diskin; Tom Maibaum; Krzysztof Czarnecki 001 (ECMFA, 2015)

The Semantics of Cardinality-Based Feature Models via Formal Languages. - Aliakbar Safilian; Tom Maibaum; Zinovy Diskin (FM, 2015)

Modeling Product Lines with Kripke Structures and Modal Logic. - Zinovy Diskin; Aliakbar Safilian; Tom Maibaum; Shoham Ben-David (ICTAC, 2015)

Analysis of Source-to-Target Model Transformations in QueST. - Hamid Gholizadeh; Zinovy Diskin; Sahar Kokaly; Tom Maibaum (AMT@MoDELS, 2015)

Elementary Model Management Patterns. - Sahar Kokaly; Zinovy Diskin; Tom Maibaum; Hamid Gholizadeh (PAME@STAF, 2015)

Model synchronization based on triple graph grammars: correctness, completeness and invertibility. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Krzysztof Czarnecki 001; Zinovy Diskin; Yingfei Xiong 001; Susann Gottmann; Thomas Engel 001 (Softw. Syst. Model., 2015)

Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling. - Harald König; Zinovy Diskin (ECMFA, 2016)

Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization. - Zinovy Diskin; Romina Eramo; Alfonso Pierantonio; Krzysztof Czarnecki 001 (Bx@ETAPS, 2016)

Modeling and Reasoning with Multirelations, and their encoding in Alloy. - Peiyuan Sun; Zinovy Diskin; Michal Antkiewicz; Krzysztof Czarnecki 001 (OCL@MoDELS, 2016)

Incremental Consistency Checking of Heterogeneous Multimodels. - Zinovy Diskin; Harald König (STAF Workshops, 2016)

Faithful Modeling of Product Lines with Kripke Structures and Modal Logic. - Zinovy Diskin; Aliakbar Safilian; Tom Maibaum; Shoham Ben-David (Sci. Ann. Comput. Sci., 2016)

A three-dimensional taxonomy for bidirectional model synchronization. - Zinovy Diskin; Hamid Gholizadeh; Arif Wider; Krzysztof Czarnecki 001 (J. Syst. Softw., 2016)

Bidirectional Transformations, (NII Shonan Meeting 2016-13). - Anthony Anjorin; Zinovy Diskin; Meng Wang 002; Yingfei Xiong 001 (NII Shonan Meet. Rep., 2016)

Clafer: unifying class and feature modeling. - Kacper Bak; Zinovy Diskin; Michal Antkiewicz; Krzysztof Czarnecki 001; Andrzej Wasowski (Softw. Syst. Model., 2016)

Efficient Consistency Checking of Interrelated Models. - Harald König; Zinovy Diskin (ECMFA, 2017)

BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations. - Anthony Anjorin; Zinovy Diskin; Frédéric Jouault; Hsiang-Shang Ko; Erhan Leblebici; Bernhard Westfechtel (BX@ETAPS, 2017)

Compositionality of Update Propagation: Lax PutPut. - Zinovy Diskin (BX@ETAPS, 2017)

Traceability Mappings as a Fundamental Instrument in Model Transformations. - Zinovy Diskin; Abel Gómez 001; Jordi Cabot (FASE, 2017)

Toward Product Lines of Mathematical Models for Software Model Management. - Zinovy Diskin; Harald König; Mark Lawford; Tom Maibaum (STAF Workshops, 2017)

Graph Operations and Free Graph Algebras. - Uwe Wolter; Zinovy Diskin; Harald König (Graph Transformation, Specifications, and Nets, 2018)

Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation. - Adrian Rutle; Ludovico Iovino; Harald König; Zinovy Diskin (ECMFA, 2018)

Multiple Model Synchronization with Multiary Delta Lenses. - Zinovy Diskin; Harald König; Mark Lawford (FASE, 2018)

Assurance via model transformations and their hierarchical refinement. - Zinovy Diskin; Tom Maibaum; Alan Wassyng; Stephen Wynn-Williams; Mark Lawford (MoDELS, 2018)

A theoretical framework for cardinality-based feature models: The semantics and computational aspects. - Aliakbar Safilian; Tom Maibaum; Zinovy Diskin (J. Log. Algebraic Methods Program., 2018)

SL2SF: Refactoring Simulink to Stateflow. - Stephen Wynn-Williams; Zinovy Diskin; Vera Pantelic; Mark Lawford; Gehan M. K. Selim; Curtis Milo; Moustapha Diab; Feisel Weslati (FASE, 2019)

Supervised categorical learning as change propagation with delta lenses. - Zinovy Diskin (CoRR, 2019)

Assurance via workflow+ modelling and conformance. - Zinovy Diskin; Nicholas Annable; Alan Wassyng; Mark Lawford (CoRR, 2019)

Multiple model synchronization with multiary delta lenses with amendment and K-Putput. - Zinovy Diskin; Harald König; Mark Lawford (Formal Aspects Comput., 2019)

General Supervised Learning as Change Propagation with Delta Lenses. - Zinovy Diskin (FoSSaCS, 2020)

Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput. - Zinovy Diskin; Harald König; Mark Lawford (Formal Aspects Comput., 2020)

Benchmarking bidirectional transformations: theory, implementation, application, and assessment. - Anthony Anjorin; Thomas Buchmann; Bernhard Westfechtel; Zinovy Diskin; Hsiang-Shang Ko; Romina Eramo; Georg Hinkel; Leila Samimi-Dehkordi; Albert Zündorf (Softw. Syst. Model., 2020)

A query-retyping approach to model transformation co-evolution. - Adrian Rutle; Ludovico Iovino; Harald König; Zinovy Diskin (Softw. Syst. Model., 2020)

Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey. - Mehrnoosh Askarpour; Alan Wassyng; Mark Lawford; Richard F. Paige; Zinovy Diskin (CoRR, 2021)

Cartesian institutions with evidence: Data and system modelling with diagrammatic constraints and generalized sketches. - Zinovy Diskin (CoRR, 2023)