Publications

2013

• Model Checking for PerformabilityBaier, C., Hahn, E. M., Haverkort, B. R., Herrmanns, H. & Katoen, J., 2013, In: Mathematical Structures in Computer Science. 23, 4, p. 751-795, 45 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Model-driven Self-optimization Using Integer Linear Programming and Pseudo-Boolean OptimizationGötz, S., Wilke, C., Richly, S., Püschel, G. & Aßmann, U., 2013Research output: Contribution to conferences > Paper
• Modeling and SimulationBrecher, C., Bouabid, A., Deichmueller, M., Denkena, B., Großmann, K., Hardtmann, A., Hömberg, D. & 6 others, 2013, Process Machine Interactions: Predicition and Manipulation of Interactions between Manufacturing Processes and Machine Tool Structures. Springer Nature, p. 29-51, 23 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Modeling and validation of the mechanism of pulsed flow cleaningFöste, H., Schöler, M., Majschak, J. P., Augustin, W. & Scholl, S., 2013, In: Heat transfer engineering. 34, 8-9, p. 753-760, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Modeling in OWL 2 without RestrictionsSchneider, M., Rudolph, S. & Sutcliffe, G., 2013, OWLEDResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Modellgestützte Bewegungsführung von Quasistatischen MikroscannernSchroedter, R., Roth, M., Sandner, T. & Janschek, K., 2013, Tagungsband Fachtagung Mechatronik 2013. Aachen, p. 141-146, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Modellierung des Energiebedarfs von Regalbediengeräten und verschiedener Lagerbetriebsstrategien zur Reduzierung des EnergiebedarfsSiegel, A., Turek, K., Schmidt, T., Schulz, R. & Zadek, H., 2013, In:  Logistics journal : LJ ; Referierte VeröffentlichungenElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Modellierung von Bereitstellungsketten für die EnergieholzwirtschaftHahne, H., 2013, p. 59-72, 14 p.Research output: Contribution to conferences > Paper
• Modellierung von Bereitstellungsketten in der EnergieholzwirtschaftHahne, H., Schmidt, T., Peschel, T. & Herlitzius, T., 2013, In: Landtechnik. 68, 3, p. 168-171, 4 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Modellierung von Funkkomponenten im Kontext des Lebenszyklus der industriellen AutomationSchimschar, A., Hasler, D., Wollschlaeger, M. & Lehmann, R., 2013, p. 345-349, 5 p.Research output: Contribution to conferences > Paper