University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
Mail to webmaster
Publications by Hans-Jörg Kreowski in 2012 (get BIBTeX file):

Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (ed.): Graph Transformations. Proc. 6th International Conference (ICGT 2012), volume 7562. Lecture Notes in Computer Science. Springer, 2012.

Hans-Jörg Kreowski, Sabine Kuske, Caro von Totth: Combining Graph Transformation and Algebraic Specification into Model Transformation. In Till Mossakowski, Hans-Jörg Kreowski, editors, Proc. Int. Workshop on Algebraic Development Techniques (WADT 2010), volume 7137 of Lecture Notes in Computer Science, pages 193-208. 2012.

Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske, Caro von Totth: From Graph Transformation Units via MiniSat to GrGen.Net. In Andy Schürr, Dániel Varró, Gergley Varró, editors, Revised Selected and Invited Papers of the International Symposium Applications of Graph Transformations with Industrial Relevance (AGTIVE 2011), volume 7233 of Lecture Notes in Computer Science, pages 153-168. Springer, 2012.

Till Mossakowski, Hans-Jörg Kreowski (ed.): Proc. International Workshop on Recent Trends in Algebraic Development Techniques (WADT 2010), Revised Selected Papers, volume 7137. Lecture Notes in Computer Science. Springer, 2012.

Hans-Jörg Kreowski, Sabine Kuske: Polynomial Graph Transformability. Theoretical Computer Science 429:193-201, 2012.

Mail to webmaster