Universität zu Köln

2015

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

2014

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

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.

2013

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

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,

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

2012

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.

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.

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.

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

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])

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.

2011

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

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

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.

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.

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

2010

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.

2009

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

2007

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.

2006

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

2001

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

1997

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

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

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

1996

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