Leen Lambers

From MaRDI portal
Person:418013

Available identifiers

zbMath Open lambers.leenMaRDI QIDQ418013

List of research outcomes





PublicationDate of PublicationType
A logic-based incremental approach to graph repair2023-11-24Paper
Evaluation diversity for graph conditions2023-06-19Paper
Initial Conflicts for Transformation Rules with Nested Application Conditions2022-09-01Paper
Evaluation diversity for graph conditions2022-03-21Paper
https://portal.mardi4nfdi.de/entity/Q50205352022-01-06Paper
Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality2021-08-27Paper
A navigational logic for reasoning about graph properties2021-02-26Paper
Symbolic Model Generation for Graph Properties2020-02-13Paper
Exploring conflict reasons for graph transformation systems2020-02-06Paper
Granularity of Conflicts and Dependencies in Graph Transformation Systems2019-11-22Paper
Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach2019-03-27Paper
Institutions for navigational logics for graphical structures2018-07-26Paper
Towards a navigational logic for graphical structures2018-04-04Paper
Initial conflicts and dependencies: critical pairs revisited2018-04-04Paper
On the Operationalization of Graph Queries with Generalized Discrimination Networks2016-09-05Paper
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation2016-07-26Paper
Tableau-Based Reasoning for Graph Properties2014-09-26Paper
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs2014-03-21Paper
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions2013-12-06Paper
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking2012-10-02Paper
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars2012-10-02Paper
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence2012-07-11Paper
Lazy graph transformation2012-07-11Paper
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs2012-05-14Paper
Local Confluence for Rules with Nested Application Conditions2010-10-04Paper
Delaying Constraint Solving in Symbolic Graph Transformation2010-10-04Paper
Conflict Detection for Graph Transformation with Negative Application Conditions2008-11-27Paper
Embedding and Confluence of Graph Transformations with Negative Application Conditions2008-11-20Paper
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts2008-11-20Paper
Construction and properties of adhesive and weak adhesive high-level replacement categories2008-07-30Paper

Research outcomes over time

This page was built for person: Leen Lambers