Research Group Theoretical Computer Science
|
||
Mail to webmaster
|
Publications by Sabine Kuske in 2002 (get BIBTeX file):
Sabine Kuske: Parameterized Transformation Units. In M. Bauderon, A. Corradini, editors, Proc. GETGRATS Closing Workshop, volume 51 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. 12 pages. Hans-Jörg Kreowski, Giorgio Busatto, Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske: Structured Modeling with GRACE. In M. Bauderon, A. Corradini, editors, Proc. GETGRATS Closing Workshop, volume 51 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. 13 pages. Peter Knirsch, Sabine Kuske: Distributed Graph Transformation Units. In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg, editors, Proc. First International Conference on Graph Transformation (ICGT), volume 2505 of Lecture Notes in Computer Science, pages 207-222. 2002. Renate Klempien-Hinrichs, Peter Knirsch, Sabine Kuske: Modeling the Pickup-and-Delivery Problem with Structured Graph Transformation. In Hans-Jörg Kreowski, Peter Knirsch, editors, Proc. APPLIGRAPH Workshop on Applied Graph Transformation (Satellite Event of ETAPS 2002), pages 119-130. 2002. Sabine Kuske, Martin Gogolla, Hans-Jörg Kreowski, Ralf Kollmann: An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. In Michael Butler, Luigia Petre, Kaisa Sere, editors, Proc. Third International Conference on Integrated Formal Methods (IFM 2002), volume 2335 of Lecture Notes in Computer Science, pages 11-28. 2002.
|
Mail to webmaster
|