From state-to delta-based bidirectional model transformations: the symmetric case Z Diskin, Y Xiong, K Czarnecki, H Ehrig, F Hermann, F Orejas International Conference on Model Driven Engineering Languages and Systems …, 2011 | 159 | 2011 |

A comparative survey of scenario-based to state-based model synthesis approaches H Liang, J Dingel, Z Diskin Proceedings of the 2006 international workshop on Scenarios and state …, 2006 | 122 | 2006 |

Algebraic models for bidirectional model synchronization Z Diskin International Conference on Model Driven Engineering Languages and Systems …, 2008 | 89 | 2008 |

Correctness of model synchronization based on triple graph grammars F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong International Conference on Model Driven Engineering Languages and Systems …, 2011 | 74 | 2011 |

Clafer: unifying class and feature modeling K Bąk, Z Diskin, M Antkiewicz, K Czarnecki, A Wąsowski Software & Systems Modeling 15 (3), 811-845, 2016 | 73 | 2016 |

A diagrammatic logic for object-oriented visual modeling Z Diskin, U Wolter Electronic Notes in Theoretical Computer Science 203 (6), 19-41, 2008 | 68 | 2008 |

Specifying overlaps of heterogeneous models for global consistency checking Z Diskin, Y Xiong, K Czarnecki International Conference on Model Driven Engineering Languages and Systems …, 2010 | 65 | 2010 |

Understanding and improving UML package merge J Dingel, Z Diskin, A Zito Software & Systems Modeling 7 (4), 443-467, 2008 | 65 | 2008 |

Model synchronization: mappings, tiles, and categories Z Diskin International Summer School on Generative and Transformational Techniques in …, 2009 | 59 | 2009 |

Package merge in uml 2: Practice vs. theory? A Zito, Z Diskin, J Dingel International Conference on Model Driven Engineering Languages and Systems …, 2006 | 56 | 2006 |

Universal arrow foundations for visual modeling Z Diskin, B Kadish, F Piessens, M Johnson International Conference on Theory and Application of Diagrams, 345-360, 2000 | 55 | 2000 |

Model synchronization based on triple graph grammars: correctness, completeness and invertibility F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong, ... Software & Systems Modeling 14 (1), 241-269, 2015 | 49 | 2015 |

An Eclipse-based tool framework for software model management R Salay, M Chechik, S Easterbrook, Z Diskin, P McCormick, S Nejati, ... Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, 55-59, 2007 | 45 | 2007 |

Category theory and model-driven engineering: From formal semantics to design patterns and beyond Z Diskin, T Maibaum Model-Driven Engineering of Information Systems: Principles, Techniques, and …, 2014 | 43 | 2014 |

Example-driven modeling: model= abstractions+ examples K Bąk, D Zayan, K Czarnecki, M Antkiewicz, Z Diskin, A Wąsowski, ... Proceedings of the 2013 International Conference on Software Engineering …, 2013 | 41 | 2013 |

Intermodeling, queries, and kleisli categories Z Diskin, T Maibaum, K Czarnecki International Conference on Fundamental Approaches to Software Engineering …, 2012 | 41 | 2012 |

From state-to delta-based bidirectional model transformations Z Diskin, Y Xiong, K Czarnecki International Conference on Theory and Practice of Model Transformations, 61-76, 2010 | 39 | 2010 |

Mathematics of Generic Specifications for Model Management, II Z Diskin Encyclopedia of Database Technologies and Applications, 359-366, 2005 | 37 | 2005 |

Variable set semantics for keyed generalized sketches: Formal semantics for object identity and abstract syntax for conceptual modeling Z Diskin, B Kadish Data & Knowledge Engineering 47 (1), 1-59, 2003 | 36 | 2003 |

Algebraic graph-based approach to management of multibase systems, I: Schema integration via sketches and equations B Cadish, Z Diskin proceedings of Next Generation of Information Technologies and Systems …, 1995 | 34 | 1995 |