Model transformation intents and their properties L Lúcio, M Amrani, J Dingel, L Lambers, R Salay, GMK Selim, E Syriani, ... Software & systems modeling 15 (3), 647-684, 2016 | 99 | 2016 |

Conflict detection for graph transformation with negative application conditions L Lambers, H Ehrig, F Orejas International Conference on Graph Transformation, 61-76, 2006 | 77 | 2006 |

A survey of triple graph grammar tools S Hildebrandt, L Lambers, H Giese, J Rieke, J Greenyer, W Schäfer, ... Electronic Communications of the EASST 57, 2013 | 59 | 2013 |

Certifying Rule-Based Models using Graph Transformation: Extended, Improved and New Graph Transformation Analysis Techniques Clearing the Way for a General Road Map to … L Lambers Suedwestdeutscher Verlag fuer Hochschulschriften, 2010 | 52* | 2010 |

Symbolic attributed graphs for attributed graph transformation F Orejas, L Lambers Electronic Communications of the EASST 30, 2010 | 50 | 2010 |

Towards a model transformation intent catalog M Amrani, J Dingel, L Lambers, L Lúcio, R Salay, G Selim, E Syriani, ... Proceedings of the First Workshop on the Analysis of Model Transformations, 3-8, 2012 | 49 | 2012 |

-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation H Ehrig, U Golas, A Habel, L Lambers, F Orejas Mathematical Structures in Computer Science 24 (4), 2014 | 48 | 2014 |

ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence H Ehrig, U Golas, A Habel, L Lambers, F Orejas Fundamenta Informaticae 118 (1-2), 35-63, 2012 | 47 | 2012 |

Efficient conflict detection in graph transformation systems by essential critical pairs L Lambers, H Ehrig, F Orejas Electronic Notes in Theoretical Computer Science 211, 17-26, 2008 | 46 | 2008 |

Behavior preservation in model refactoring using DPO transformations with borrowed contexts G Rangel, L Lambers, B König, H Ehrig, P Baldan International Conference on Graph Transformation, 242-256, 2008 | 45 | 2008 |

Bridging the gap between formal semantics and implementation of triple graph grammars H Giese, S Hildebrandt, L Lambers Software & Systems Modeling 13 (1), 273-299, 2014 | 44 | 2014 |

Efficient detection of conflicts in graph-based model transformation L Lambers, H Ehrig, F Orejas Electronic Notes in Theoretical Computer Science 152, 97-109, 2006 | 38 | 2006 |

Iterative development of consistency-preserving rule-based refactorings B Becker, L Lambers, J Dyck, S Birth, H Giese International Conference on Theory and Practice of Model Transformations …, 2011 | 32 | 2011 |

Parallelism and concurrency theorems for rules with nested application conditions H Ehrig, A Habel, L Lambers Electronic Communications of the EASST 26, 2010 | 31 | 2010 |

Sufficient criteria for consistent behavior modeling with refined activity diagrams S Jurack, L Lambers, K Mehner, G Taentzer International Conference on Model Driven Engineering Languages and Systems …, 2008 | 30 | 2008 |

Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs U Golas, L Lambers, H Ehrig, F Orejas Theoretical Computer Science 424, 46-68, 2012 | 29 | 2012 |

Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions L Lambers, H Ehrig, U Prange, F Orejas Electronic Notes in Theoretical Computer Science 203 (6), 43-66, 2008 | 29 | 2008 |

A new version of GTXL: An exchange format for graph transformation systems L Lambers Electronic Notes in Theoretical Computer Science 127 (1), 51-63, 2005 | 29 | 2005 |

Sufficient criteria for applicability and non-applicability of rule sequences L Lambers, H Ehrig, G Taentzer Electronic Communications of the EASST 10, 2008 | 28 | 2008 |

Toward bridging the gap between formal semantics and implementation of triple graph grammars H Giese, S Hildebrandt, L Lambers Model-Driven Engineering, Verification, and Validation (MoDeVVa), 2010 …, 2010 | 27 | 2010 |