Publications

2017

• Łukasiewicz Fuzzy EL is UndecidableBorgwardt, S., Cerami, M. & Peñaloza, R., 2017, Proceedings of the 30th International Workshop on Description Logics (DL’17)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mach-Effect Thruster ModelTajmar, M., 2017, In: Acta astronautica. 141, p. 8-16, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Magnetoviscous effect in ferrofluids diluted with sheep bloodNowak, J., Borin, D., Haefner, S., Richter, A. & Odenbach, S., 2017, In: Journal of magnetism and magnetic materialsElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Makerspace Lautsprecher AG - Praxisnahes Lernen am Lehrstuhl für Akustik und HaptikMerchel, S. & Altinsoy, M. E., 2017Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Maschinendynamik – Aufgaben und BeispieleBeitelschmidt, W. M. & Dresig, H., 2017, 2 ed., Berlin Heidelberg: Springer Vieweg, Wiesbaden, 447 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
• Materialmodelle für textilverstärkte KunststoffeBöhm, R., Koch, I., Thieme, M., Just, G. & Gude, M., 2017, Excellence in lightweight design - Institut für Leichtbau und Kunststofftechnik. ALPHA Informationsgesellschaft mbH, p. 50-55, 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Maximizing the Conditional Expected Reward for Reaching the GoalBaier, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Legay, A. & Margaria, T. (eds.). Springer, Berlin [u. a.], p. 269–285Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric AlarmsBaier, C., Dubslaff, C., Korenčiak, Ľ., Kučera, A. & Řehàk, V., 2017, Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Springer, Berlin [u. a.], p. 190-206, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Measurement uncertainty budget of an interferometric flow velocity sensorBermuske, M., Büttner, L. & Czarske, J., 2017, Optical Measurement Systems for Industrial Inspection X. Lehmann, P., Goncalves, A. A. & Osten, W. (eds.). SPIE - The international society for optics and photonics, 103291YElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mechanische und chemische Behandlungsverfahren für Grenzschichten in hybriden Multilayer-Verbunden zur Steigerung der interlaminaren EigenschaftenKuhtz, M., Buschner, N., Hornig, A., Klärner, M., Ullmann, M., Jäger, H., Kroll, L. & 1 others, 2017Research output: Contribution to conferences > Poster