PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lambers, Leen"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a Navigational Logic for Graphical Structures.

, , , and . Graph Transformation, Specifications, and Nets, volume 10800 of Lecture Notes in Computer Science, page 124-141. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Lena Lambers University of Stuttgart

Lena Lambers

 

Other publications of authors with the same name

Certifying rule-based models using graph transformation.. Berlin Institute of Technology, (2009)Automatic verification of behavior preservation at the transformation level for relational model transformation., , and . Software and Systems Modeling, 18 (5): 2937-2972 (2019)Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case., , , and . ECEASST, (2012)Parallelism and Concurrency Theorems for Rules with Nested Application Conditions., , and . ECEASST, (2010)Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories., , and . Applied Categorical Structures, 16 (3): 365-388 (2008)Initial Conflicts and Dependencies: Critical Pairs Revisited., , , , and . Graph Transformation, Specifications, and Nets, volume 10800 of Lecture Notes in Computer Science, page 105-123. Springer, (2018)Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations., , , , and . AGTIVE, volume 7233 of Lecture Notes in Computer Science, page 238-253. Springer, (2011)Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs., , , and . Theor. Comput. Sci., (2012)Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System., , , , , and . STTT, 12 (3-4): 245-261 (2010)Delaying Constraint Solving in Symbolic Graph Transformation., and . ICGT, volume 6372 of Lecture Notes in Computer Science, page 43-58. Springer, (2010)