University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
Mail to webmaster
Publications in 2016 (get BIBTeX file):

Robert Wille, Aaron Lye, Philipp Niemann: Checking Reversibility of Boolean Functions. In Simon J. Devitt, Ivan Lanese, editors, Proc. 8th International Conference on Reversible Computation (RC 2016), volume 9720 of Lecture Notes in Computer Science, pages 322-337. Springer, 2016.

Reiko Heckel, Andrea Corradini, Ugo Montanari, Hans-Jörg Kreowski, Fernando Orejas, Grzegorz Rozenberg: Hartmut Ehrig (1944-2016). Bulletin of the EATCS 119, 2016.

Larbi Abdenebaoui, Hans-Jörg Kreowski: Modeling of decentralized processes in dynamic logistic networks by means of graph-transformational swarms. Logistics Research 9:1-13, 2016.

Hans-Jörg Kreowski: Informatik und Gesellschaft aus der Sicht eines theoretischen Informatikers. In Frank Fuchs-Kittowski, Werner Kriesel, editors, Informatik und Gesellschaft - Festschrift zum 80. Geburtstag von Klaus Fuchs-Kittowski, pages 375-382. Peter Lang Internationaler Verlag der Wissenschaften, Frankfurt a. M., 2016.

Hans-Jörg Kreowski, Michael Freitag, Martin Gogolla, Michael Lütjen, Robert Porzel, Klaus-Dieter Thoben: Towards a Unified Logistics Modeling Language: Constraints and Objectives. In Michael Freitag, Herbert Kotzab, Jürgen Pannek, editors, Dynamics in Logistics, Proceedings of the 5th International Conference LDIC, 2016 Bremen, Germany, Lecture Notes in Logistics. Springer, 2016. 425-432.

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth: Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. In Rachid Echahed, Mark Minas, editors, Graph Transformation: Proceedings of the 9th International Conference ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, pages 236-251. Springer International Publishing, 2016.

Larbi Abddenebaoui, Hans-Jörg Kreowski: Decentralized routing of automated guided vehicles by means of graph-transformational swarms. In Michael Freitag, Herbert Kotzab, Jürgen Pannek, editors, Dynamics in Logistics, Proceedings of the 5th International Conference LDIC, 2016 Bremen, Germany, Lecture Notes in Logistics. Springer, 2016. 457-467.

Hans-Jörg Kreowski, Marco Franke, Karl Hribernik, Sabine Kuske, Klaus-Dieter Thoben, Caro von Totth: Toward a Comprehensive Approach to the Transformation of Logistic Models. In Herbert Kotzab, Jürgen Pannek, Klaus-Dieter Thoben, editors, Dynamics in Logistics, Proceedings of the 4th International Conference LDIC, 2016 Bremen, Germany, Lecture Notes in Logistics, pages 115-126. Springer, 2016.

Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye: Canonical Multi-Target Toffoli Circuits. In Adrian-Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe, editors, Proc. 10th International Conference on Language and Automata Theory and Applications (LATA 2016), Lecture Notes in Computer Science, pages 603-616. Springer, 2016.

Frank Drewes, Berthold Hoffmann, Mark Minas: Approximating Parikh Images for Generating Deterministic Graph Parsers. In Paolo Milazzo, D&{acute;aniel Varr&{acute;o, Manuel Wimmer, editors, Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers, volume 9946 of Lecture Notes in Computer Science, pages 112-128. Springer, 2016.

Mail to webmaster