dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Leen Lambers Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas: Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theor. Comput. Sci. 424: 46-68 (2012)
2011
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer: Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior. FASE 2011: 156-170
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBasil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese: Iterative Development of Consistency-Preserving Rule-Based Refactorings. ICMT 2011: 123-137
2010
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas: Local Confluence for Rules with Nested Application Conditions. ICGT 2010: 330-345
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Orejas, Leen Lambers: Delaying Constraint Solving in Symbolic Graph Transformation. ICGT 2010: 43-58
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Annegret Habel, Leen Lambers: Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. ECEASST 26: (2010)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Orejas, Leen Lambers: Symbolic Attributed Graphs for Attributed Graph Transformation. ECEASST 30: (2010)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer: Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. STTT 12(3-4): 245-261 (2010)
2009
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse: Object Flow Definition for Refined Activity Diagrams. FASE 2009: 49-63
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers: Certifying rule-based models using graph transformation. Berlin Institute of Technology 2009
2008
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Leonardo Mariani, Hartmut Ehrig, Mauro Pezzè: A Formal Framework for Developing Adaptable Service-Based Applications. FASE 2008: 392-406
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan: Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT 2008: 242-256
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer: Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. MoDELS 2008: 341-355
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Prange, Hartmut Ehrig, Leen Lambers: Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. Applied Categorical Structures 16(3): 365-388 (2008)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg: Negative Application Conditions for Reconfigurable Place/Transition Systems. ECEASST 10: (2008)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Hartmut Ehrig, Gabriele Taentzer: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. ECEASST 10: (2008)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. Electr. Notes Theor. Comput. Sci. 203(6): 43-66 (2008)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Hartmut Ehrig, Fernando Orejas: Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. Electr. Notes Theor. Comput. Sci. 211: 17-26 (2008)
2007
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Hartmut Ehrig, Leonardo Mariani, Mauro Pezzè: Iterative model-driven development of adaptable service-based applications. ASE 2007: 453-456
2006
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Hartmut Ehrig, Fernando Orejas: Conflict Detection for Graph Transformation with Negative Application Conditions. ICGT 2006: 61-76
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers, Hartmut Ehrig, Fernando Orejas: Efficient Detection of Conflicts in Graph-based Model Transformation. Electr. Notes Theor. Comput. Sci. 152: 97-109 (2006)
2005
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeen Lambers: A New Version of GTXL : An Exchange Format for Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 127(1): 51-63 (2005)

Coauthor Index

1Paolo Baldan [11]
2Basil Becker [21]
3Enrico Biermann [16]
4Stefanie Birth [21]
5Johannes Dyck [21]
6Hartmut Ehrig [2] [3] [4] [5] [6] [7] [9] [11] [12] [13] [18] [20] [23]
7Claudia Ermel [16] [22]
8Juergen Gall (Jürgen Gall) [22]
9Holger Giese [21]
10Ulrike Golas (Ulrike Prange) [6] [8] [9] [12] [16] [20] [23]
11Annegret Habel [18] [20]
12Kathrin Hoffmann [8]
13Stefan Jurack [10] [15]
14Barbara König [11]
15Leonardo Mariani [4] [13]
16Katharina Mehner [10] [15]
17Fernando Orejas [2] [3] [5] [6] [12] [17] [19] [20] [23]
18Julia Padberg [8]
19Mauro Pezzè [4] [13]
20Guilherme Rangel [11]
21Alexander Rein [8]
22Olga Runge [16]
23Gabriele Taentzer [7] [10] [15] [16] [22]
24Gerd Wierse [15]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page