2012

• Model checking probabilistic systems against pushdown specificationsDubslaff, C., Baier, C. & Berg, M., 2012, in:  Information processing letters : devoted to the rapid publication of short contributions to information processing. 112, 8-9, S. 320-328, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Modeling of electromagnetic valve actuators for systematic analyses of the influence of design parametersDreher, T. & Prof. Weber, J., 2012, S. 267-271, 5 S.Publikation: Beitrag zu Konferenzen > Paper
• Modeling of the strain rate dependent material behavior of 3D-textile composites with production and operational defectsHufenbach, W., Gude, M. & Protz, R., 2012, in: Advanced materials research. 403-408, S. 651-655, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Models with Real-Time Capabilities Demonstrated for the Work Gear of an ExcavatorKoch, O., Prof. Weber, J. & Richter, S., 2012, S. 237-243, 7 S.Publikation: Beitrag zu Konferenzen > Paper
• Modification of the Electrical Control of an Electromagnetic Driven Pump to Increase the Energy EfficiencyPetzold, M., Prof. Weber, J., Pfeiffer, F., Dautry, E., Ohligschläger, O. & Müller, A., 2012Publikation: Beitrag zu Konferenzen > Paper
• Modulationsschwellen von Ganzkörperschwingungen im Vergleich zur auditiven WahrnehmungAltinsoy, M., 2012Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Möglichkeiten der Bauteiluntersuchung mittels ComputertomografieSembdner, P., Holtzhausen, S., Schöne, C. & Stelzer, R., 2012, 15. Anwendungsbezoge¬ner Workshop zur Erfassung, Modellierung, Verarbeitung und Auswertung von 3D-DatenPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Möglichkeiten des ebenen Torsionsversuchs für die Charakterisierung des Verfestigungsverhaltens von BlechwerkstoffenYin, Q., Brosius, A. & Tekkaya, A. E., 2012, Fortschritte in der Werkstoffprüfung für Forschung und Praxis: Tagung für Werkstoffprüfung 2012. Verlag Stahleisen GmbH, S. 51-56Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Möglichkeiten und Grenzen moderner Druckhaltungs- und EntgasungsanlagenRühling, K., 2012Publikation: Beitrag zu Konferenzen > Paper
• Molarnet Project: Molecular Architectures for QCA-Inspired Boolean NetworksRinaldi, R., Maruccio, G., Arima, V., Spada, G. P., Samori, P., Cuniberti, G., Boland, J. & 1 weitere, 2012, in:  International journal of unconventional computing : non-classical computation and cellular automata. 8, 4, S. 301-305, 5 S.Publikation: Beitrag in Fachzeitschrift > Forschungsartikel