University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH
Publications by Marcus Ermler (get BIBTeX file):

Marcus Ermler, Sabine Kuske, Melanie Luderer, Caro von Totth: A Graph Transformational View on Reductions in NP. Electronic Communications of the EASST 61, 2013.

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.

Marcus Ermler, Sabine Kuske, Melanie Luderer, Caro von Totth: A Graph Transformational View on Reductions in NP. In Rachid Echahed, Annegret Habel, Mohamed Mosbah, editors, Proc. Fourth International Workshop on Graph Computation Models (GCM 2012), pages 32-46. 2012.


Mail Address
University of Bremen
Dept. for Math. &
Computer Science

P.O. Box 330 440
28334 Bremen
Germany

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

Phone
++49(421)218 64451

Email (Secr.)
Helga Reinermann

helga@tzi.de