 Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers, "A navigational logic for reasoning about graph properties", Journal of Logical and Algebraic Methods in Programming, vol. 118, pp. 100616, 2021.

 Antonio Bucchiarone, Federico Ciccozzi, Leen Lambers, Alfonso Pierantonio, Matthias Tichy, Massimo Tisi, Andreas Wortmann, Vadim Zaytsev, "What Is the Future of Modeling?", IEEE Softw., vol. 38, no. 2, pp. 119–127, 2021.

 Leen Lambers, "How to Teach Software Testing? Experiences with A Sandwich Approach", in 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 2428, 2020, pp. 425–428, IEEE Digital Library, 2020.

 Leen Lambers and Jens Weber, "Preface to the special issue on the 11th International Conference on Graph Transformation", Journal of Logical and Algebraic Methods in Programming, vol. 112, pp. 100525, 2020.

 Leen Lambers, Sven Schneider and Marcel Weisgut, "ModelBased Testing of Read Only Graph Queries", in 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 2428, 2020, pp. 2434, IEEE, 2020.

 Leen Lambers and Fernando Orejas, "Initial Conflicts for Transformation Rules with Nested Application Conditions", in Fabio Gadducci, Timo Kehrer, Eds., Graph Transformation  13th International Conference, ICGT 2020 Held as Part of STAF 2020, Bergen, Norway, June 2526, 2020, Proceedings, vol. 12150 of Lecture Notes in Computer Science, pp. 109–127, Springer, 2020.

 Reiko Heckel, Leen Lambers and Maryam Ghaffari Saadat, "Analysis of Graph Transformation Systems: Native vs Translationbased Techniques", Electronic Proceedings in Theoretical Computer Science, vol. 309, pp. 1–22, December 2019.

 Sven Schneider, Leen Lambers and Fernando Orejas, "A LogicBased Incremental Approach to Graph Repair", in Reiner Hähnle, Wil M. P. van der Aalst, Eds., Fundamental Approaches to Software Engineering  22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic April 611, 2019, Proceedings, vol. 11424 of Lecture Notes in Computer Science, pp. 151–167, Springer, 2019.

 Leen Lambers, Kristopher Born, Jens Kosiol, Daniel Strüber, Gabriele Taentzer, "Granularity of conflicts and dependencies in graph transformation systems: A twodimensional approach", Journal of Logical and Algebraic Methods in Programming, vol. 103, pp. 105129, 2019.

 Leen Lambers, Jens Kosiol, Daniel Strüber, Gabriele Taentzer, "Exploring Conflict Reasons for Graph Transformation Systems", in Esther Guerra, Fernando Orejas, Eds., Graph Transformation  12th International Conference, ICGT 2019, vol. 11629 of Lecture Notes in Computer Science, pp. 7592, Springer, 2019.

 Johannes Dyck, Holger Giese and Leen Lambers, "Automatic verification of behavior preservation at the transformation level for relational model transformation", Software & Systems Modeling, vol. 18, no. 5, pp. 2937–2972, 2019.

 Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert, "MultiGranular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Summary)", in Steffen Becker, Ivan Bogicevic, Georg Herzwurm, Stefan Wagner, Eds., Software Engineering and Software Management, SE/SWM 2019, Stuttgart Germany, February 1822, 2019, vol. P292 of LNI, pp. 153–154, GI, 2019.

 Loli Burgue no, Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, S'ebastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabriele Taentzer, Antonio Vallecillo, Manuel Wimmer, "Contents for a ModelBased Software Engineering Body of Knowledge", Software and Systems Modeling, vol. 18, no. 6, pp. 3193–3205, 2019.

 Sven Schneider, Leen Lambers and Fernando Orejas, "Automated reasoning for attributed graph properties", Software Tools for Technology Transfer, June 2018.

 Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers, "Institutions for navigational logics for graphical structures", Theoretical computer science, vol. 741, pp. 19  24, 2018, An Observant Mind : Essays Dedicated to Don Sannella on the Occasion of his 60th Birthday.

 Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer, "Initial Conflicts and Dependencies: Critical Pairs Revisited", in Reiko Heckel, Gabriele Taentzer, Eds., Graph Transformation, Specifications, and Nets, vol. 10800 of Lecture Notes in Computer Science, pp. 105123, Springer, 2018.

 Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Hübert, "MultiGranular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation", in Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, pp. 716727, New York, NY, USA: ACM, 2018.

 Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino, "Towards a Navigational Logic for Graphical Structures", in Reiko Heckel, Gabriele Taentzer, Eds., Graph Transformation, Specifications, and Nets, vol. 10800 of Lecture Notes in Computer Science, pp. 124141, Springer, 2018.

 Leen Lambers, Jens Weber, Eds., Graph Transformation  11th International Conference, ICGT 2018 Held as Part of STAF 2018, Toulouse, France, June 2526, 2018, Proceedings, vol. 10887 of Lecture Notes in Computer Science, Springer, 2018.

 Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sebastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer, "Towards a Body of Knowledge for Modelbased Software Engineering", in Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS '18, pp. 82–89, New York, NY, USA: ACM, 2018.

 Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sebastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, Manuel Wimmer, "How Do We Teach Modelling and Modeldriven Engineering?: A Survey", in Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS '18, pp. 122–129, New York, NY, USA: ACM, 2018.

 Sven Schneider, Leen Lambers and Fernando Orejas, "Symbolic Model Generation for Graph Properties", Technical Report 115, Hasso Plattner Institute at the University of Potsdam: Potsdam, Germany, 2017.

 Sven Schneider, Leen Lambers and Fernando Orejas, "Symbolic Model Generation for Graph Properties", in Marieke Huisman, Julia Rubin, Eds., Proc. Fundamental Approaches to Software Engineering (FASE'17), Lecture Notes in Computer Science, pp. 226243, Uppsala, Sweden: Springer, 2017.

 Johannes Dyck, Holger Giese and Leen Lambers, "Automatic Verification of Behavior Preservation at the Transformation Level for Relational Model Transformation", Technical Report 112, Hasso Plattner Institute, University of Potsdam, 2017.

 Kristopher Born, Leen Lambers, Daniel Strüber, Gabriele Taentzer, "Granularity of Conflicts and Dependencies in Graph Transformation Systems", in Juan de Lara, Detlef Plump, Eds., International Conference on Graph Transformation (ICGT), Lecture Notes in Computer Science, pp. 125141, Springer International Publishing, 2017, Extended version: https://www.unimarburg.de/fb12/arbeitsgruppen/swt/forschung/publikationen/2017/BLST17EV.pdf.

 Holger Giese and Leen Lambers, "Invariant Checking for Graph Transformation: Applications & Open Challenges (Abstract)", in Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis, Eds., Verification of Evolving Graph Structures, Dagstuhl, Germany, vol. 5 of Dagstuhl Reports, pp. 1111, Dagstuhl, Germany: Dagstuhl Publishing, March 2016.

 Marisa Navarro, Elvira Pino, Fernando Orejas, Leen Lambers, "A Logic of Graph Conditions Extended with Paths", in 7th Int. Workshop on Graph Computation Models, 2016, Preproceedings.

 Levi L'ucio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer, "Model transformation intents and their properties", Software and System Modeling, vol. 15, no. 3, pp. 647–684, 2016.

 Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers, "On the Operationalization of Graph Queries with Generalized Discrimination Networks", Technical Report 106, Hasso Plattner Institute at the University of Potsdam, 2016.

 Thomas Beyhl, Dominique Blouin, Holger Giese, Leen Lambers, "On the Operationalization of Graph Queries with Generalized Discrimination Networks", in Rachid Echahed, Mark Minas, Eds., Proceedings of the $9^th$ International Conference on Graph Transformations, pp. 170–186, Springer, 2016.

 Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner, "Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations", in Fourth Workshop on the Analysis of Model Transformations, CEUR Workshop Proceedings, 2015.

 Leen Lambers and Fernando Orejas, "TableauBased Reasoning for Graph Properties", in Holger Giese, Barbara König, Eds., Graph Transformation, vol. 8571 of Lecture Notes in Computer Science, pp. 1732, Springer International Publishing, 2014.

 Holger Giese, Stephan Hildebrandt and Leen Lambers, "Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars  Ensuring Conformance of Relational Model Transformation Specifications and Implementations", Software and Systems Modeling, vol. 13, no. 1, pp. 273299, 2014.

 Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas, "Madhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation", Mathematical Structures in Computer Science, vol. 24, 2014.

 Stephan Hildebrandt, Leen Lambers and Holger Giese, "Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations", in Keith Duddy, Gerti Kappel, Eds., Theory and Practice of Model Transformations, vol. 7909 of Lecture Notes in Computer Science, pp. 174188, Springer Berlin Heidelberg, 2013.

 Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, Andy Schürr, "A Survey of Triple Graph Grammar Tools", in Bidirectional Transformations, vol. 57, pp. 118, ECEASST, 2013.

 Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt, "Graph Transformations for MDE, Adaptation, and Models at Runtime", in Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio, Eds., Formal Methods for ModelDriven Engineering, vol. 7320 of Lecture Notes in Computer Science (LNCS), pp. 137191, Springer Berlin / Heidelberg, June 2012.

 Fernando Orejas and Leen Lambers, "Lazy Graph Transformation", Fundamenta Informaticae, vol. 118, no. 12, pp. 6596, 2012.

 Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas, "Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case", in Frank Hermann, Janis Voigtländer, Eds., Proceedings of the First International Workshop on Bidirectional Transformations, vol. 49, pp. 116, ECEASST, 2012.

 Stephan Hildebrandt, Leen Lambers and Holger Giese, "The MDELab Tool Framework for the Development of Correct Model Transformations with Triple Graph Grammars", in Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, Eds., MoDELS Workshop on Analysis of Model Transformation, pp. 3334, ACM, 2012.

 Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter, "Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations", in Andy Schürr, Daniel Varró, Gergely Varró, Eds., Applications of graph Transformation with Industrial Relevance, 4th International Symposium, (AGTIVE 2011), vol. 7233 of LNCS, pp. 238253, Springer, 2012.

 Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese, "Integration of Triple Graph Grammars and Constraints", in Christian Krause, Bernhard Westfechtel, Eds., Proceedings of the 7th International Workshop on Graph Based Tools (GraBaTs 2012), vol. 52, pp. 112, ECEASST, 2012.

 Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas, "Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs", Theoretical Computer Science, vol. 424, pp. 46  68, 2012.

 Andrew Fish, Leen Lambers, Eds., Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2012), vol. 47 of ECEASST, 2012.

 Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese, "Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars  Flexible Relations between Source and Target Elements", in Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, Eds., Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), vol. 7562 of LNCS, pp. 141155, Springer, 2012.

 Holger Giese and Leen Lambers, "Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking", in Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, Eds., Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), vol. 7562 of LNCS, pp. 249263, Springer, 2012.

 Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas, "MAdhesive Transformation Systems with Nested Application Conditions, Part 2: Embedding, Critical Pairs and Local Confluence", Fundamenta Informaticae, vol. 118, no. 12, pp. 3563, 2012.

 Moussa Amrani, Juergen Dingel, Leen Lambers, Levi Lúcio, Gehan Selim, Eugene Syriani, Manuel Wimmer, "Towards a Model Transformation Intent Catalog", in Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, Eds., MoDELS Workshop on Analysis of Model Transformation, pp. 38, ACM, 2012.

 Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer, "Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior", Technical Report 2011/2, TU Berlin, 2011.

 Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer, "Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior", in Dimitra Giannakopoulou, Fernando Orejas, Eds., Fundamental Approaches to Software Engineering, vol. 6603 of Lecture Notes in Computer Science, pp. 156170, Springer Berlin / Heidelberg, 2011.

 Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese, "Iterative Development of ConsistencyPreserving RuleBased Refactorings", in Jordi Cabot, Eelco Visser, Eds., Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 2728, 2011. Proceedings, vol. 6707 of Lecture Notes in Computer Science, pp. 123137, Springer / Heidelberg, 2011.

 Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer, "Introduction to AGG and EMF Tiger by Modeling a Conference Scheduling System", Software Tools for Technology Transfer, vol. 12, no. 34, pp. 245261, July 2010.

 Fernando Orejas and Leen Lambers, "Symbolic Attributed Graphs for Attributed Graph Transformation", in Graph and Model Transformation 2010, vol. 30, ECEASST, 2010.

 Fernando Orejas and Leen Lambers, "Delaying Constraint Solving in Symbolic Graph Transformation", in Proceedings of Intern. Conf. on Graph Transformation ( ICGT' 10), vol. 6372 of LNCS, pp. 4358, Springer, 2010.

 Leen Lambers, "Certifying RuleBased Models using Graph Transformation", Ph.D. dissertation, Technische Universität Berlin, 2010, Also as book available: Südwestdeutscher Verlag für Hochschulschriften ISBN: 9783838116501.

 Leen Lambers, Hartmut Ehrig, Annegret Habel, Fernando Orejas, Ulrike Golas, "Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion", Technical Report 20107, Technische Universität Berlin, 2010.

 Holger Giese, Stephan Hildebrandt and Leen Lambers, "Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars", in Proceedings of MoDeVVa 2010, Models Workshop on ModelDriven Engineering Verification and Validation, pp. 1924, Oslo, Norway: IEEE Computer Society, 2010.

 Holger Giese, Stephan Hildebrandt and Leen Lambers, "Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars", Technical Report 37, Hasso Plattner Institute at the University of Potsdam, 2010.

 Hartmut Ehrig, Annegret Habel and Leen Lambers, "Parallelism and Concurrency Theorems for Rules with Nested Application Conditions", in Festschrift dedicated to HansJorg Kreowski at the Occasion of his 60th Birthday, vol. 26, ECEASST, 2010.

 Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas, "Local Confluence for Rules with Nested Application Conditions", in Proceedings of Intern. Conf. on Graph Transformation (ICGT' 10), vol. 6372 of LNCS, pp. 330345, Springer, 2010.

 Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse, "Object Flow Definition for Refined Activity Diagrams: Long Version", Technical Report 20091, Technische Universitat Berlin, 2009.

 Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse, "Object Flow Definition for Refined Activity Diagrams", in Marsha Chechik, Martin Wirsing, Eds., Proc. Fundamental Approaches to Software Engineering (FASE'09), vol. 5503 of Lecture Notes in Computer Science, pp. 49 – 63, York, UK: Springer, 2009.

 Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, "Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams", in Proc. 11th Int. Conf. on Model Driven Engineering Languages and System MoDELS08, vol. 5301 of Lecture Notes in Computer Science, pp. 341355, Toulouse, France: Springer, October 2008.

 Leen Lambers, Hartmut Ehrig and Fernando Orejas, "Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs", in Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'06), vol. 211 of Electronic Notes in Theoretical Computer Science, pp. 17–26, Vienna, Austria: Elsevier Science, April 2008.

 Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg, "Negative Application Conditions for Reconfigurable Place/Transition Systems", in J. de Lara C. Ermel, Reiko Heckel, Eds., Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'08), vol. 10, Budapest, Hungary: Electronic Communications of the EASST, 2008.

 Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan, "Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts", Technical Report 200812, Technische Universitat Berlin, 2008.

 Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan, "Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts", in Proc. International Conference on Graph Transformation (ICGT'08), vol. 5214 of Lecture Notes in Computer Science, pp. 242–256, Heidelberg: Springer, 2008.

 Ulrike Prange, Hartmut Ehrig and Leen Lambers, "Construction and Properties of Adhesive and Weak Adhesive HighLevel Replacement Categories", Applied Categorical Structures, vol. 16, no. 3, pp. 365–388, 2008.

 Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè, "A Formal Framework for Developing Adaptable ServiceBased Applications", in Jose Luiz Fiadeiro, Paola Inverardi, Eds., Proc. Fundamental Approaches to Software Engineering (FASE'08), vol. 4961 of Lecture Notes in Computer Science, pp. 392–406, Springer Berlin / Heidelberg, 2008.

 Leen Lambers, Stefan Jurack, Katharina Mehner, Olga Runge, Gabriele Taentzer, "Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version", Technical Report 200811, Technische Universitat Berlin, 2008.

 Leen Lambers, Hartmut Ehrig and Gabriele Taentzer, "Sufficient Criteria for Applicability and NonApplicability of Rule Sequences", Technical Report 20082, Technische Universitat Berlin, 2008.

 Leen Lambers, Hartmut Ehrig and Gabriele Taentzer, "Sufficient Criteria for Applicability and NonApplicability of Rule Sequences", in J. de Lara C. Ermel, Reiko Heckel, Eds., Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'08), vol. 10, Budapest, Hungary: Electronic Communications of the EASST, 2008.

 Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas, "Embedding and Confluence of Graph Transformations with Negative Application Conditions", in H. Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer, Eds., Proc. International Conference on Graph Transformation (ICGT'08), vol. 5214 of Lecture Notes in Computer Science, pp. 162–177, Heidelberg: Springer, 2008.

 Leen Lambers, Hartmut Ehrig, Fernando Orejas, Ulrike Prange, "Parallelism and Concurrency in Adhesive HighLevel Replacement Systems with Negative Application Conditions", in H. Ehrig, J. Pfalzgraf, Ulrike Prange, Eds., Proceedings of the ACCAT workshop at ETAPS 2007, vol. 203 / 6 of Electronic Notes in Theoretical Computer Science, pp. 43–66, Elsevier, 2008.

 Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè, "Iterative modeldriven development of adaptable servicebased applications", in ASE '07: Proceedings of the twentysecond IEEE/ACM international conference on Automated software engineering, pp. 453–456, New York, NY, USA: ACM, 2007.

 Leen Lambers, "Adhesive HighLevel Replacement Systems with Negative Application Conditions", Technical Report 200714, Technische Universitat Berlin, 2007.

 Leen Lambers, Hartmut Ehrig and Fernando Orejas, "Conflict Detection for Graph Transformation with Negative Application Conditions", in Proc. Third International Conference on Graph Transformation (ICGT'06), vol. 4178 of Lecture Notes in Computer Science, pp. 61–76, Natal, Brazil: Springer, September 2006.

 Leen Lambers, Hartmut Ehrig and Fernando Orejas, "Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs", Technical Report 200607, Technische Universitat Berlin, 2006.

 Leen Lambers, Hartmut Ehrig and Fernando Orejas, "Efficient Detection of Conflicts in GraphBased Model Transformation", in Proc. International Workshop on Graph and Model Transformation (GraMoT'05), vol. 152 of Electronic Notes in Theoretical Computer Science, pp. 97–109, Tallinn, Estonia: Elsevier Science, September 2005.

 Leen Lambers, "A New Version of GTXL: An Exchange Format for Graph Transformation Systems", in Tom Mens, Andy Schürr, Gabriele Taentzer, Eds., Proc. Workshop on GraphBased Tools (GraBaTs'04), Satellite Event of ICGT'04, vol. 127 of Electronic Notes in Theoretical Computer Science, pp. 51–63, Rom, Italy: Elsevier Science, 2004.
