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

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Melanie Luderer: Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis. In Holger Giese, Barbara König, editors, Proc. 7th Intl. Conference on Graph Transformation (ICGT 2014), volume 8571 of Lecture Notes in Computer Science, pages 237-252. Springer, 2014.

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, 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.

Renate Klempien-Hinrichs, Melanie Luderer: Assuring Strong Termination of Controlled Graph Transformation by Means of Petri Nets. LogDynamics Research Report 2011 2:31-34, 2011.

Hans-Jörg Kreowski, Sabine Kuske, Melanie Luderer, Caro von Totth: Communities of Autonomous Units. An Approach to Interactive Computation, its Power and Limitations. In Michael Hülsmann, Bernd Scholz-Reiter, Katja Windt, editors, Autonomous Cooperation and Control in Logistics, Contributions and Limitations - Theoretical and Practical Perspectives, pages 113-129. 2011.

Sabine Kuske, Melanie Luderer, Hauke Tönnies: Autonomous Units for Solving the Traveling Salesperson Problem Based on Ant Colony Optimization. In Hans-Jörg Kreowski, Bernd Scholz-Reiter, Klaus-Dieter Thoben, editors, Proc. 2nd International Conference on Dynamics in Logistics (LDIC 2009). Springer, 2011.

Sabine Kuske, Melanie Luderer: Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization. Electronic Communications of the EASST 26, 2010. 23 pages.

Sabine Kuske, Melanie Luderer, Hauke Tönnies: Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization. In F. Drewes, A. Habel, B. Hoffmann, D. Plump, editors, Manipulation of Graphs, Algebras and Pictures, Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, pages 223-246. 2009.

Karsten Hölscher, Peter Knirsch, Melanie Luderer: Autonomous Units for Communication-based Dynamic Scheduling. In H.-D. Haasis, H.-J. Kreowski, B. Scholz-Reiter, editors, Dynamics in Logistics, Proceedings of the First International Conference on Dynamics in Logistics (LDIC 2007), pages 331-339. Springer, 2008.

Hans-Jörg Kreowski, Melanie Luderer: Modelling Logistic Processes - The Termination Problem. LogDynamics Research Report 2007/08 1:38-39, 2008.

Renate Klempien-Hinrichs, Melanie Luderer: Assuring Strong Termination of Controlled Graph Transformation by Means of Petri Nets. In Annegret Habel, Mohamed Mosbah, editors, Proc. 2nd Int. Workshop on Graph Computation Models (Satellite Event of ICGT 2008), pages 17-19. 2008.


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