PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Lambers, Leen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Institutions for navigational logics for graphical structures.

, , , und . Theor. Comput. Sci., (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. Lena Lambers University of Stuttgart

Lena Lambers

 

Weitere Publikationen von Autoren mit dem selben Namen

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