| 2020 | FOSSACS | General Supervised Learning as Change Propagation with Delta Lenses. | Zinovy Diskin |
| 2019 | FASE | SL2SF: Refactoring Simulink to Stateflow. | Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati |
| 2018 | FASE | Multiple Model Synchronization with Multiary Delta Lenses. | Zinovy Diskin, Harald Knig, Mark Lawford |
| 2018 | MODELS | Assurance via model transformations and their hierarchical refinement. | Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford |
| 2017 | FASE | Traceability Mappings as a Fundamental Instrument in Model Transformations. | Zinovy Diskin, Abel Gmez, Jordi Cabot |
| 2016 | MODELS | Modeling and Reasoning with Multirelations, and their encoding in Alloy. | Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki |
| 2015 | FM | The Semantics of Cardinality-Based Feature Models via Formal Languages. | Aliakbar Safilian, Tom Maibaum, Zinovy Diskin |
| 2015 | ICTAC | Modeling Product Lines with Kripke Structures and Modal Logic. | Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David |
| 2015 | MODELS | Analysis of Source-to-Target Model Transformations in QueST. | Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum |
| 2014 | MODELS | A Query Structured Approach for Model Transformation. | Hamid Gholizadeh, Zinovy Diskin, Tom Maibaum |
| 2013 | ICSE | Example-driven modeling: model = abstractions + examples. | Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside |
| 2013 | MODELS | Example-Driven Modeling using Clafer. | Michal Antkiewicz, Kacper Bak, Krzysztof Czarnecki, Zinovy Diskin, Dina Zayan, Andrzej Wasowski |
| 2013 | SLE | Partial Instances via Subclassing. | Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski |
| 2013 | SLE | Mapping-Aware Megamodeling: Design Patterns and Laws. | Zinovy Diskin, Sahar Kokaly, Tom Maibaum |
| 2012 | FASE | Intermodeling, Queries, and Kleisli Categories. | Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki |
| 2011 | MODELS | From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. | Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas |
| 2011 | MODELS | Correctness of Model Synchronization Based on Triple Graph Grammars. | Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong |
| 2010 | MODELS | Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. | Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki |
| 2010 | MODELS | Specifying overlaps of heterogeneous models for global consistency checking. | Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki |
| 2009 | ICSE | Relationship-based change propagation: A case study. | Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay |
| 2009 | ICSE | Model-versioning-in-the-large: Algebraic foundations and the tile notation. | Zinovy Diskin, Krzysztof Czarnecki, Michal Antkiewicz |
| 2008 | ISoLA | Contexts and Context Awareness in View of the Diagram Predicate Framework. | Uwe Wolter, Zinovy Diskin |
| 2008 | MODELS | Algebraic Models for Bidirectional Model Synchronization. | Zinovy Diskin |
| 2008 | MODELS | A General Approach for Scenario Integration. | Hongzhi Liang, Zinovy Diskin, Jrgen Dingel, Ernesto Posse |
| 2006 | MODELS | Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. | Zinovy Diskin, Jrgen Dingel |
| 2006 | MODELS | Package Merge in UML 2: Practice vs. Theory? | Alanna Zito, Zinovy Diskin, Jrgen Dingel |
| 2002 | DIAGRAMS | Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML. | Zinovy Diskin |
| 2000 | DIAGRAMS | Universal Arrow Foundations for Visual Modeling. | Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson |
| 1997 | ADBIS | A Graphical Yet Formalized Framework for Specifying View Systems. | Zinovy Diskin, Boris Cadish |
| 1996 | ISMIS | Heterogeneous View Integration via Sketches and Equations. | Boris Cadish, Zinovy Diskin |
| 1995 | ER | Variable Sets and Functions Framework for Conceptual Modeling: Integrating ER and OO via Sketches with Dynamic Markers. | Zinovy Diskin, Boris Cadish |
| 1993 | MFCS | Lambda Substitution Algebras. | Zinovy Diskin, Ilya Beylin |