| 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 | 156 | 2016 |
| Conflict detection for graph transformation with negative application conditions L Lambers, H Ehrig, F Orejas International Conference on Graph Transformation, 61-76, 2006 | 88 | 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 | 81 | 2013 |
| -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 | 80 | 2014 |
| 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 | 66 | 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 | 66 | 2012 |
| Symbolic attributed graphs for attributed graph transformation F Orejas, L Lambers Electronic Communications of the EASST 30, 2010 | 64 | 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 | 60 | 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 | 60 | 2008 |
| 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 | 59* | 2010 |
| 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 | 52 | 2008 |
| Multi-granular conflict and dependency analysis in software engineering based on graph transformation L Lambers, D Strüber, G Taentzer, K Born, J Huebert Proceedings of the 40th International Conference on Software Engineering …, 2018 | 43 | 2018 |
| 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 | 43 | 2006 |
| Parallelism and concurrency theorems for rules with nested application conditions H Ehrig, A Habel, L Lambers Electronic Communications of the EASST 26, 2010 | 41 | 2010 |
| Local confluence for rules with nested application conditions H Ehrig, A Habel, L Lambers, F Orejas, U Golas International Conference on Graph Transformation, 330-345, 2010 | 40 | 2010 |
| 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 | 39 | 2010 |
| Symbolic model generation for graph properties S Schneider, L Lambers, F Orejas Universitätsverlag Potsdam, 2017 | 35 | 2017 |
| Automated reasoning for attributed graph properties S Schneider, L Lambers, F Orejas International Journal on Software Tools for Technology Transfer, 1-33, 2018 | 34 | 2018 |
| Lazy graph transformation F Orejas, L Lambers Fundamenta Informaticae 118 (1-2), 65-96, 2012 | 34 | 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 | 34 | 2008 |
