Universität zu Köln

Journal Article

Kuckertz, Patrick, Ullrich, Oliver, Linstädter, Anja and Speckenmeyer, Ewald (2011). Agent based modeling and simulation of a pastoral-nomadic land use system. Simulation Notes Europe, 21 (3-4). pp. 147-152. ARGESIM / ASIM Pub. TU Vienna/Austria..

Lueckerath, Daniel, Ullrich, Oliver, Rishe, Naphtali and Speckenmeyer, Ewald (2018). A disjunctive program formulation to generate regular public transit timetables adhering to prioritized planning requirements. Networks, 72 (2). S. 217 - 238. HOBOKEN: WILEY. ISSN 1097-0037

Lückerath, Daniel, Ullrich, Oliver and Speckenmeyer, Ewald (2012). Modeling time table based tram traffic. Simulation Notes Europe, 22 (2). pp. 61-68. ARGESIM / ASIM Pub. TU Vienna/Austria.

Porschen, Stefan, Schmidt, Tatjana, Speckenmeyer, Ewald and Wotzlaw, Andreas (2014). XSAT and NAE-SAT of linear CNF classes. Discret Appl. Math., 167. S. 1 - 15. AMSTERDAM: ELSEVIER SCIENCE BV. ISSN 1872-6771

Porschen, Stefan, Schmidt, Tatjana, Speckenmeyer, Ewald and Wotzlaw, Andreas (2011). XSAT and NAE-SAT of linear CNF classes. Discrete Applied Mathematics, 167. pp. 1-14. Elsevier.

Ullrich, Oliver, Lueckerath, Daniel and Speckenmeyer, Ewald (2016). Do regular timetables help to reduce delays in tram networks? It depends! Public Transport, 8 (1). S. 39 - 57. HEIDELBERG: SPRINGER HEIDELBERG. ISSN 1613-7159

Ullrich, Oliver, Lückerath, Daniel, Franz, Sebastian and Speckenmeyer, Ewald (2012). Simulation and optimization of Cologne's tram schedule. Simulation Notes Europe, 22 (2). pp. 69-76. ARGESIM / ASIM Pub. TU Vienna/Austria.

Ullrich, Oliver, Lückerath, Daniel and Speckenmeyer, Ewald (2015). A robust schedule for Montpellier's Tramway network. Simulation Notes Europe, 25 (1). pp. 1-8. ARGESIM/ASIM Pub..

Wotzlaw, Andreas, Speckenmeyer, Ewald and Porschen, Stefan (2012). Generalized k-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation. Discret Appl. Math., 160 (16-17). S. 2349 - 2364. AMSTERDAM: ELSEVIER. ISSN 1872-6771

Wotzlaw, Andreas, Speckenmeyer, Ewald and Porschen, Stefan (2012). Generalized k-ary tanglegrams on level graphs: a satisfiability-based approach and its evaluation. Discrete Applied Mathematics, 160 (16-17). pp. 2349-2363. Elsevier.

Book Section, Proceedings Item or annotation in a legal commentary

Lückerath, Daniel, Ullrich, Oliver, Kupicha, Aleksander and Speckenmeyer, Ewald (2014). Multi-depot multi-vehicle-type vehicle scheduling for Cologne's tram network. In: Proceedings of ASIM-Workshop STS/GMMS 2014, ASIM Mitteilungen, pp. 191-197. ARGESIM/ASIM Pub., TU Vienna/Austria, Scheible, J.; Bausch-Gall, I.; Deatcu, C. (Ed.).

Lückerath, Daniel, Ullrich, Oliver and Speckenmeyer, Ewald (2013). Applicability of rescheduling strategies in tram networks. In: Proceedings of ASIM-Treffen STS/GMMS 2013, ASIM-Mitteilungen, ARGESIM/ASIM Pub., TU Vienna/Austria. Reichardt, R. (Ed.).

Petzold, Martin, Ullrich, Oliver and Speckenmeyer, Ewald (2011). Dynamic Distributed Simulation of DEVS Models on the OSGi Service Platform. In: 21. Symposium Simulationstechnik : ASIM 2011 ; Grundlagen, Methoden und Anwendungen in Modellbildung und Simulation ; 7. - 9. September 2011, ZHAW, Winterthur, Schweiz, Pabst Science Publ..

Speckenmeyer, Ewald, Wotzlaw, Andreas and Porschen, Stefan (2011). A Satisfiability-based Approach for Embedding Generalized Tanglegrams on Level Graphs. In: Theory and Applications of Satisfiability Testing - SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings, pp. 134-144. Springer.

Ullrich, Oliver, Lückerath, Daniel and Speckenmeyer, Ewald (2014). Reduzieren robuste Fahrpläne Verspätungen in Stadtbahnnetzen? - Es kommt drauf an! In: Heureka' 14 Optimierung in Verkehr und Transport, pp. 448-465. FGSV Verlag.

Ullrich, Oliver, Proff, Ingo, Lückerath, Daniel, Kuckertz, Patrick and Speckenmeyer, Ewald (2013). Agent-based modeling and simulation of individual traffic as an environment for bus schedule simulation. In: Proceedings of mobil,

Werth, Felix, Beckers, Martin, Ullrich, Oliver and Speckenmeyer, Ewald (2010). Simulation zur Verbesserung der Logistikprozesse eines Pharmagroßhandels. In: Integrationsaspekte der Simulation: Technik, Organisation und Personal, pp. 261-268. Karlsruhe: KIT Scientific Publishing.

Werth, Felix, Ullrich, Oliver and Speckenmeyer, Ewald (2011). 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..

Wotzlaw, Andreas, van der Grinten, Alexander, Speckenmeyer, Ewald and Porschen, Stefan (2012). pfolioUZK: Solver Description. In: Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions, p. 45. University of Helsinki.

van der Grinten, Alexander, Wotzlaw, Andreas, Speckenmeyer, Ewald and Porschen, Stefan (2012). satUZK: Solver Description. In: Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions, pp. 54-55. University of Helsinki.

Conference or Workshop Item

Wotzlaw, Andreas, Speckenmeyer, Ewald and Porschen, Stefan (2012). A Satisfiability-based Approach for Generalized Tanglegrams on Level Graphs. In: Dagstuhl Seminar ”SAT Interactions”, 18. - 23.11.2012, Dagstuhl. Speech. (["eprint_fieldopt_ispublished_unpub" not defined])

Preprints, Working Papers or Reports

Böhm, Max and Speckenmeyer, Ewald (1996). A Fast Parallel SAT-Solver - Efficient Workload Balancing. Baltzer. ["eprint_fieldopt_monograph_type_preprint" not defined].

Böhm, Max and Speckenmeyer, Ewald (1997). Precomputation-based Load Balancing. World Scientific. ["eprint_fieldopt_monograph_type_preprint" not defined].

Genc, Zuelfuekar and Speckenmeyer, Ewald (2001). Fahrplanoptimierung im ÖPNV. Working Paper.

Heusch, Peter, Meisgen, Frank and Speckenmeyer, Ewald (1997). CATS - Computer Aided Tram Scheduling. ["eprint_fieldopt_monograph_type_preprint" not defined].

Lemaic, Mile and Speckenmeyer, Ewald (2009). Markov-Chain-Based Heuristics for the Minimum Feedback Vertex Set Problem. Working Paper.

Porschen, Stefan and Speckenmeyer, Ewald (2007). Algorithms for Variable-Weighted 2-SAT and Dual Problems. Working Paper.

Porschen, Stefan and Speckenmeyer, Ewald (2007). Clause Set Structures and Polynomial-Time SAT-Decidable Classes. Working Paper.

Porschen, Stefan and Speckenmeyer, Ewald (2007). Clause set structures and satisfiability. Working Paper.

Porschen, Stefan, Speckenmeyer, Ewald and Zhao, Xishun (2006). Linear CNF formulas and satisfiability. Working Paper.

Schwikowski, B. and Speckenmeyer, Ewald (1997). On computing all minimal solutions for feedback problems. Working Paper.

Seifert, Thomas and Speckenmeyer, Ewald (1997). Optimal Oblivious Permutation Routing in Small Hypercubes. World Scientific. ["eprint_fieldopt_monograph_type_preprint" not defined].

Speckenmeyer, Ewald, Böhm, Max and Heusch, Peter (1997). On the Imbalance of Distributions of Solutions of CNF-Formulas and its Impact on Satisfiability Solvers. Providence, RI: American Math. Soc.. ["eprint_fieldopt_monograph_type_preprint" not defined].

Wotzlaw, Andreas, Speckenmeyer, Ewald and Porschen, Stefan (2012). Probabilistic Analysis of Random Mixed Horn Formulas. Working Paper.

Wotzlaw, Andreas, van der Grinten, Alexander and Speckenmeyer, Ewald (2013). Effectiveness of pre- and inprocessing for CDCL-based SAT solving. Technical Report.