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
Analysis of graph transformation systems: native vs translation-based techniques	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. Flexible relations between source and target elements	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