Leen Lambers

Available identifiers

zbMath Open lambers.leenMaRDI QIDQ418013

List of research outcomes

Publication	Date of Publication	Type
A logic-based incremental approach to graph repair	2023-11-24	Paper
Evaluation diversity for graph conditions	2023-06-19	Paper
Initial Conflicts for Transformation Rules with Nested Application Conditions	2022-09-01	Paper
Evaluation diversity for graph conditions	2022-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5020535	2022-01-06	Paper
Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality	2021-08-27	Paper
A navigational logic for reasoning about graph properties	2021-02-26	Paper
Symbolic Model Generation for Graph Properties	2020-02-13	Paper
Exploring conflict reasons for graph transformation systems	2020-02-06	Paper
Granularity of Conflicts and Dependencies in Graph Transformation Systems	2019-11-22	Paper
Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach	2019-03-27	Paper
Institutions for navigational logics for graphical structures	2018-07-26	Paper
Towards a navigational logic for graphical structures	2018-04-04	Paper
Initial conflicts and dependencies: critical pairs revisited	2018-04-04	Paper
On the Operationalization of Graph Queries with Generalized Discrimination Networks	2016-09-05	Paper
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation	2016-07-26	Paper
Tableau-Based Reasoning for Graph Properties	2014-09-26	Paper
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs	2014-03-21	Paper
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions	2013-12-06	Paper
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking	2012-10-02	Paper
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars	2012-10-02	Paper
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence	2012-07-11	Paper
Lazy graph transformation	2012-07-11	Paper
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs	2012-05-14	Paper
Local Confluence for Rules with Nested Application Conditions	2010-10-04	Paper
Delaying Constraint Solving in Symbolic Graph Transformation	2010-10-04	Paper
Conflict Detection for Graph Transformation with Negative Application Conditions	2008-11-27	Paper
Embedding and Confluence of Graph Transformations with Negative Application Conditions	2008-11-20	Paper
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts	2008-11-20	Paper
Construction and properties of adhesive and weak adhesive high-level replacement categories	2008-07-30	Paper

Research outcomes over time

This page was built for person: Leen Lambers