zum Inhalt springen

Publikationen zwischen 2010 und 2016

2016

  • Ullrich, Oliver; Brandt, Benjamin; Lückerath, Daniel; Rishe, Naphtali: A Simple Model of Cruising for Garage Parking. In: Proceedings of ASIM-Workshop STS/GMMS 2016, ARGESIM Report 51, ASIM-Mitteilung AM 158, ARGESIM/ASIM Pub., TU Vienna/Austria, Tikhomirov, D.; Mammen, T.-H.; Pawletta, T. (Ed.), März 2016, pp. 223-229.
  • Ullrich, Oliver; Lückerath, Daniel; Speckenmeyer, Ewald: Do regular time tables help to reduce delays in tram networks? - It depends! In: Public Transport, Springer-Verlag Berlin Heidelberg, Volume 8, Number 1, März 2016, pp. 39-56, ISSN 1866-749X, DOI 10.1007/s12469-015-0115-6.
  • Hecker, Alexander: Entwurf und Entwicklung einer Heuristik zur Lösung des Job Pairing Problems. Masterarbeit, Univ. Köln, 2016.

2015

  • Klinke, Phillip: Entwicklung eines effizienten Managementsystems für Übungsgruppen und Bonuspunkte. Bachelorarbeit, Univ. Köln, 2015
  • Stahlberg, Mette: Ein Verfahren zum Lösen des Fahrplan-Problems mit verkehrsplanerischen Vorgaben bei nicht-konvexem Lösungsraum. Masterarbeit, Univ. Köln, 2015.
  • Ullrich, Oliver; Lückerath, Daniel; Speckenmeyer, Ewald: A robust schedule for Montpellier's Tramway network. In: Simulation Notes Europe (SNE), ARGESIM/ Asim Pub., TU Vienna/Austria, Volume 25, Number 1, 2015, pp. 1-8, ISSN 2306-0271, DOI 10.11128/sne.25.tn.102271.
  • Lohmann, Matthias; Ullrich, Oliver; Molina Madrid, Manuel; Lückerath, Daniel; Speckenmeyer, Ewald: The team priority assignment problem. Technical Report, Univ. Köln, 2015, 12 pg.

2014

  • Lohmann, Matthias: Das Team Priority Assignment Problem. Bachelorarbeit, Univ. Köln, 2014.
  • Ullrich, Oliver; Lückerath, Daniel; Speckenmeyer, Ewald: A robust schedule for Montpellier's Tramway network. In: Proceedings of ASIM 2014 - 22. Symposium Simulationstechnik, Berlin, ARGESIM Report 43, ASIM-Mitteilung AM 151, ARGESIM/ASIM Pub., TU Vienna/Austria, Wittmann, J.; Deatcu, C. (Ed.), September 2014, pp. 229-238.
  • Ullrich, Oliver; Lückerath, Daniel; Speckenmeyer, Ewald: Model-based parallelization of discrete simulation models. In: Simulation Notes Europe (SNE), ARGESIM/ Asim Pub., TU Vienna/Austria Volume 24, Number 3-4, 2014, pp. 115-122, ISSN 2306-0271, DOI 10.11128/sne.24.tn.102251. 
  • Osmanbeyoglu, Hatice Merve: Vergleich von Robustheitskonzepten für die Fahrplangenerierung. Bachelorarbeit, Univ. Köln, 2014.
  • van der Grinten, Alexander; Wotzlaw, Andreas; Speckenmeyer, Ewald: satUZK: Solver Description. In: Belov, A.; Diepold, D.; Heule, M. J. H.; Järvisalo, M. (Ed.), Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions. Department of Computer Science Series of Publications B, Volume B-2014-2, University of Helsinki.
  • Porschen, Stefan; Schmidt, Tatjana; Speckenmeyer, Ewald; Wotzlaw, Andreas: XSAT and NAE-SAT of linear CNF classes, In: Discrete Applied Mathematics 167, April 2014, pp. 1-14.
  • Wotzlaw, Andreas: On Solving the Maximum k-club Problem. CoRR abs/1403.5111, 2014.
  • Wotzlaw, Andreas; Speckenmeyer, Ewald; Porschen, Stefan: Probabilistic Analysis of Random Mixed Horn Formulas, In: Proceedings of the 13th International Symposium on Artificial Intelligence and Mathematics  (ISAIM'14), Fort Lauderdale, USA, 2014.
  • Gómez, Pedro: A robust schedule for Montpelier's extended Tramway network of 2017. Bacheloararbeit, Univ. Köln, 2014.
  • Ullrich, Oliver; Lückerath, Daniel; Speckenmeyer, Ewald: Reduzieren robuste Fahrpläne Verspätungen in Stadtbahnnetzen? - Es kommt drauf an!. In: Heureka' 14 Optimierung in Verkehr und Transport, FGSV Verlag, Stuttgart, April 2014, pp. 448-465.
  • Kuckertz, Patrick; Randerath, Hubert: A model for airline personnel schedule simulation. In: Proceedings of ASIM-Workshop STS/GMMS 2014, ARGESIM Report 42, ASIM Mitteilung AM 149, ARGESIM/ASIM Pub., TU Vienna/Austria, Scheible, J.; Bausch-Gall, I., Deatcu, C. (Ed.), Februar 2014, pp. 171-180.
  • Lückerath, Daniel; Ullrich, Oliver; Kupicha, Aleksander; Speckenmeyer, Ewald: Multi-depot multi-vehicle-type vehicle scheduling for Cologne's tram network. In: Proceedings of ASIM-Workshop STS/GMMS 2014, ARGESIM Report 42, ASIM-Mitteilung AM 149, ARGESIM/ASIM Pub., TU Vienna/Austria, Scheible, J.; Bausch-Gall, I., Deatcu, C. (Ed.), Februar 2014, pp. 191-197.

2013

  • Kupicha, Aleksander: Entwurf und Entwicklung eines Optimierungsverfahrens zur Umlaufplanung von Stadtbahnfahrplänen. Masterarbeit, Univ. Köln, 2013.
  • Speckenmeyer, Ewald; Lückerath, Daniel; Ullrich, Oliver: Simulation and optimization of light rail rapid transit schedules. Vortrag, Symposium on Computational Sciences Cologne, Univ. Köln, 25. Oktober, 2013.
  • Ullrich, Oliver; Proff, Ingo; Lückerath, Daniel; Kuckertz, Patrick; Speckenmeyer, Ewald: Agent-based modeling and simulation of individual traffic as an environment for bus schedule simulation. In: ITS for Connected Mobility - Selected Papers from the mobil.TUM 2013 International Conference on Mobility and Transport, Hrsg: Busch, F., Spangler, M., 2014, pp. 89-98.
  • van der Grinten, Alexander; Wotzlaw, Andreas; Speckenmeyer, Ewald; Porschen, Stefan: satUZK: Solver Description. In: Balint, A.; Belov, A.; Heule, M. J. H.; Järvisalo, M. (Ed.), Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions. Department of Computer Science Series of Publications B, Volume B-2013-1, University of Helsinki.
  • Ullrich, Oliver; Lückerath, Daniel; Speckenmeyer, Ewald: A robust schedule for Montpellier's Tramway network. Technical Report, Univ. Köln, 2013, 17 pg.
  • Wotzlaw, Andreas; von der Grinten, Alexander; Speckenmeyer, Ewald: Effectiveness of pre- and inprocessing for CDCL-based SAT solving. Technical Report, Univ. Köln, 2013, 9 pg.
  • Lückerath, Daniel; Ullrich, Oliver; Speckenmeyer, Ewald: Applicability of rescheduling strategies in tram networks. In: Proceedings of ASIM-Treffen STS/GMMS 2013, ARGESIM Report 41, ASIM-Mitteilung AM 145, ARGESIM/ASIM Pub., TU Vienna/Austria, Reichardt, R. (Ed.), Februar 2013, 7 pg.

2012

  • Proff, Ingo: Entwurf eines mathematischen Modells zur Optimierung des Crew-Pairing bei Fluggesellschaften. Bachelorarbeit, Univ. Köln, 2012.
  • Ullrich, Oliver; Lückerath, Daniel (Ed.): Proceedings of Sommertreffen Verkehrssimulation 2012. ASIM-Mitteilung AM 143, ARGESIM/ASIM Pub., TU Vienna/Austria.
  • Kuckertz, Patrick: Current work on the optimization of flight personnel schedules within project DOGS. In: Proceedings of Sommertreffen Verkehrssimulation 2012, ASIM-Mitteilung AM 143, ARGESIM/ASIM Pub., TU Vienna/Austria, Ullrich, O.; Lückerath, D. (Ed.), 2012, pp. 19-22.
  • Lückerath, Daniel: Thoughts on restauration of regular tram operation. In: Proceedings of Sommertreffen Verkehrssimulation 2012, ASIM-Mitteilung AM 143, ARGESIM/ASIM Pub., TU Vienna/Austria, Ullrich, O.; Lückerath, D. (Ed.), 2012, pp. 5-7.
  • Ullrich, Oliver; Lückerath, Daniel; Speckenmeyer, Ewald: Simulation and optimization of Cologne's tram schedule. In: Simulation Notes Europe (SNE), ARGESIM/ASIM Pub., TU Vienna/Austria, Volume 22, Number 2, August 2012, pp. 69-76, ISSN 2305-9974, DOI 10.11128/sne.22.tn.10123.
  • Kuckertz, Patrick; Ullrich, Oliver; Randerath, Bert: A simulation based approach on robust airline job pairing. In: Simulation Notes Europe (SNE), ARGESIM/ASIM Pub., TU Vienna/Austria, Volume 22, Number 2, August 2012, pp. 77-82, ISSN 2305-9974, DOI 10.11128/sne.22.tn.10125.
  • Lückerath, Daniel; Ullrich, Oliver; Speckenmeyer, Ewald: Modeling time table based tram traffic. In: Simulation Notes Europe (SNE), ARGESIM/ASIM Pub., TU Vienna/Austria, Volume 22, Number 2, August 2012, pp. 61-68, ISSN 2305-9974, DOI 10.11128/sne.22.tn.10121.
  • Speckenmeyer, Ewald; Li, Nianhua; Lückerath, Daniel; Ullrich, Oliver: Socio-economic Objectives in Tram Scheduling. Technical Report, Univ. Köln, 2012, 17 pg.
  • Wotzlaw, Andreas; van der Grinten, Alexander; Speckenmeyer, Ewald; Porschen, Stefan: pfolioUZK: Solver Description. In: Balint, A.; Belov, A.; Diepold, D.; Gerber, S.; Järvisalo, M.; Sinz, C. (Ed.), Proceedings of SAT Challenge 2012: Solver and Benchmark Descriptions, Volume B-2012-2 of Department of Computer Science Series of Publications B, University of Helsinki.
  • van der Grinten, Alexander; Wotzlaw, Andreas; Speckenmeyer, Ewald; Porschen, Stefan: satUZK: Solver Description. In: Balint, A.; Belov, A.; Diepold, D.; Gerber, S.; Järvisalo, M.; Sinz, C. (Ed.), Proceedings of SAT Challenge 2012: Solver and Benchmark Descriptions, Volume B-2012-2 of Department of Computer Science Series of Publications B, University of Helsinki.
  • Wotzlaw, Andreas; Speckenmeyer, Ewald; Porschen, Stefan: Probabilistic Analysis of Random Mixed Horn Formulas. Technical Report zaik2012-678, Univ. Köln, 2012.

2011

  • Franz, Sebastian: Entwurf und Entwicklung eines mehrstufigen Optimierungsverfahrens für Stadtbahnfahrpläne unter Berücksichtigung verkehrsplanerischer Vorgaben. Diplomarbeit, Univ. Köln, 2011.
  • Porschen, Stefan; Schmidt, Tatjana; Speckenmeyer, Ewald; Wotzlaw, Andreas: XSAT and NAE-SAT of linear CNF classes. In Discrete Applied Mathematics, to appear.
  • Wotzlaw, Andreas; Speckenmeyer, Ewald; Porschen, Stefan: Generalized k-ary tanglegrams on level graphs: a satisfiability-based approach and its evaluation. In: Discrete Applied Mathematics, to appear.
  • Petzold, Martin, Ullrich, Oliver; Speckenmeyer, Ewald: Dynamic Distributed Simulation of DEVS Models on the OSGi Service Platform. In: Simulation Notes Europe (SNE), ARGESIM/ASIM Pub., TU Vienna/Austria, Volume 21, Number 3-4, Dezember 2011, pp. 159-164.
  • Kuckertz, Patrick; Ullrich, Oliver; Lindstädter, Anja; Speckenmeyer, Ewald: Agent based modeling and simulation of a pastoral-nomadic land use system. In: Simulation Notes Europe (SNE), ARGESIM/ASIM Pub., TU Vienna/Austria, Volume 21, Number 3-4, Dezember 2011, pp. 147-152.
  • Werth, Felix; Ullrich, Oliver; Speckenmeyer, Ewald: Reducing blocking effects in multi-block layouts. In: 21. Symposium Simulationstechnik: ASIM 2011; Grundlagen, Methoden und Anwendungen in Modellbildung und Simulation, 7. - 9. September 2011, ZHAW, Winterthur/Schweiz, Pabst Science Publ., Bödi, R.; Maurer, W. (Ed.), 2011, 10 pg.
  • Lückerath, Daniel: Entwurf und Entwicklung einer Anwendung zur parallelen Simulation von schienengebundenem Öffentlichen Personennahverkehr. Diplomarbeit, Univ. Köln, 2011.
  • Speckenmeyer, Ewald; Wotzlaw, Andreas; Proschen, Stefan: A Satisfiability-based Approach for Embedding Generalized Tanglegrams in Level Graphs. In: Lecture Notes in Computer Science, Volume 6695, 2011, pp 134-144.
  • Werth, Felix; Ullrich, Oliver: Simulation ausgewählter Heuristiken zur Tourenplanung in manuellen Kommissionierstationen. In: ASIM-Treffen 2011 - Simulation technischer Systeme und Grundlagen und Methoden in Modellbildung und Simulation, Shaker Verlag, Brenke, A. (Ed.), 2011, pp. 161-166.
  • Lang, Martin: Entwicklung einer Modellierungssprache und eines Solvers für kombinatorische Optimierungsprobleme. Diplomarbeit, Univ. Köln, 2011.

2010

  • Trajt, Valerij: Entwicklung eines Datenkompressionsprogramms und Vergleich verschiedener Kompressionsmethoden. Diplomarbeit, Univ. Köln, 2010.
  • Li, Nianhua: Designing and Analyzing Simulated Annealing Based Metro Schedules. Diplomarbeit, Univ. Köln, 2010.
  • Werth, Felix; Beckers, Martin; Ullrich, Oliver; Speckenmeyer, Ewald: Simulation zur Verbesserung der Logistikprozesse eines Pharmagroßhandels. In: Integrationsaspekte der Simulation - Technik, Organisation und Personal, KIT Scientific Publishing, Zülich, G., Stock, P. (Ed.), 2010, pp. 261-268.
  • Speckenmeyer, Ewald; Porschen, Stefan: PARTIAL MAX-SAT of Level Graph (Mixed-Horn)Formulas. In: Studies in Logic 3, 2010, pp. 24-43.
  • Kuckertz, Patrick: Entwurf und Entwicklung einer Anwendung zur Simulation des Weidemanagements des Volks der Hiba in Namibia. Diplomarbeit, Univ. Köln, 2010.
  • Beckers, Martin: Entwurf und Entwicklung einer Anwendung zur SImulation des Pharmagro0handels GEHE GmbH in Troisdorf. Diplomarbeit, Univ. Köln, 2010.
  • Speckenmeyer, Ewald; Porschen, Stefan: MAX-SAT of level graph formulas. In: Proceedings of Guangzhou Symposium on SAT in Logic-Based Modeling, Sun Yat-sen University, Guangzhou, China, to appear, 2010.
  • Porschen, Stefan; Schmidt, Tatjana; Speckenmeyer, Ewald: Complexity Results for Linear XSAT Problems. In: Lecture Notes in Computer Sciences, Volume 6175, 2010, pp. 251-263.
  • Werth, Felix; Beckers, Martin; Ullrich, Oliver: Modellierung uns Simulation eines Pharmagroßhandels. In: Proceedings of ASIM/GI Workshop STS/GMMS, Commerell, W. (Ed.), Ulm, März 2010, pp. 141-146, ISBN 978-3-9810998-3-6.
  • Porschen, Stefan; Plagge, Galyna: Minimizing variable-weighted X3SAT. In: Proceedings of ICCS 2010, Hong Kong, 2010, pp. 449-454.
  • Lemaic, Mile; Speckenmeyer, Ewald: Markov-Chain-Based Heuristics for the Minimum Feedback Vertex Set Problem. Technical Report zaik2010-596, Univ. Köln, 2010.
  • Walter, Dominique: Optimierung von ÖPNV-Fahrplänen unter Berücksichtigung verkehrsplanerischer Vorgaben. Diplomarbeit, Univ. Köln, 2010.