| Automated Formal Verification of Routing in Material Handling Systems T Klotz, J Schönherr, N Seßler, B Straube, K Turek IEEE Transactions on Automation Science and Engineering 10 (4), 900-915, 2013 | 8 | 2013 |
| Modellierung des Energiebedarfs von Regalbediengeräten und verschiedener Lagerbetriebsstrategien zur Reduzierung des Energiebedarfs A Siegel, K Turek, T Schmidt, R Schulz, H Zadek Logistics Journal 2013 (10), 2013 | 7 | 2013 |
| An approach to the verification of material handling systems T Klotz, B Straube, E Fordran, J Haufe, F Schulze, K Turek, T Schmidt Emerging Technologies & Factory Automation (ETFA), 2011 IEEE 16th Conference …, 2011 | 7 | 2011 |
| Compositional verification of material handling systems T Klotz, N Seßler, B Straube, E Fordran, K Turek, J Schönherr Emerging Technologies & Factory Automation (ETFA), 2012 IEEE 17th Conference …, 2012 | 3 | 2012 |
| On the formal verification of routing in material handling systems T Klotz, N Seßler, B Straube, E Fordran, K Turek, J Schönherr Automation Science and Engineering (CASE), 2012 IEEE International …, 2012 | 3 | 2012 |
| Toward verification of material handling systems T Klotz, B Straube, E Fordran, J Haufe, F Schulze, K Turek, T Schmidt Industrial Informatics (INDIN), 2011 9th IEEE International Conference on …, 2011 | 2 | 2011 |
| Beitrag zur Dimensionierung von automatischen Sortiersystemen (Sorter) HG Marquardt, K Turek Logistics Journal: Nicht referierte Veröffentlichungen 2007 (Juli), 2007 | 2 | 2007 |
| Beitrag zur Dimensionierung von automatischen Sortiersystemen (Sorter) K Turek, HG Marquart Logistics Journal, 1-4, 2007 | 1 | 2007 |
| Trends in intralogistics. Route from conception to pioneering solution. T Schmidt, K Turek Deutsche Milchwirtschaft 61 (4), 122-125, 2010 | | 2010 |
| Verfahren zur Dimensionierung von automatischen Sortiersystemen (Sorter) K Turek, HG Marquardt AiF-Schlussbericht 14505 BR, 2007 | | 2007 |
