Search the dblp DataBase

Publications of Author

1. Magdalena Gajewsky, Hartmut Ehrig
   The »Petri Net Baukasten«: An Overview. [Citation Graph (0, 0)][DBLP]
   Unifying Petri Nets, 2001, pp:26-53 [Conf]
   
2. Julia Padberg, Magdalena Gajewsky, Claudia Ermel
   Rule-Based Refinement of High-Level Nets Preserving Safety Properties. [Citation Graph (0, 0)][DBLP]
   FASE, 1998, pp:221-238 [Conf]
   
3. Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky
   Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. [Citation Graph (0, 0)][DBLP]
   FASE, 2000, pp:249-265 [Conf]
   
4. Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann
   Incremental Development of Safety Properties in Petri Net Transformations. [Citation Graph (0, 0)][DBLP]
   TAGT, 1998, pp:410-425 [Conf]
   
5. Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter
   From abstract data types to algebraic development techniques: A shift of paradigms. [Citation Graph (0, 0)][DBLP]
   WADT, 1997, pp:1-17 [Conf]
   
6. Magdalena Gajewsky, Francesco Parisi-Presicce
   On the Compatibility of Model and Model-Class Transformations. [Citation Graph (0, 0)][DBLP]
   WADT, 2001, pp:109-127 [Conf]
   
7. Julia Padberg, Magdalena Gajewsky, Claudia Ermel
   Rule-based refinement of high-level nets preserving safety properties. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2001, v:40, n:1, pp:97-118 [Journal]