Publikationen

2018

• Model Checking Probabilistic SystemsBaier, C., de Alfaro, L., Forejt, V. & Kwiatkowska, M., 2018, Handbook of Model Checking. Clarke, E. M., Henzinger, T. A., Veith, H. & Bloem, R. (Hrsg.). Springer, Cham, S. 963-999, 37 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Modeling and Simulation of Hysteresis Effects in Magnetorheological ElastomersKalina, K. A., Brummund, J., Metsch, P. & Kästner, M., 2018, in: Proceedings in Applied Mathematics and Mechanics: PAMM. 18 (2018), 1, S. e201800319, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Modeling and Sliding Mode Control of a Fully-actuated Multirotor with Tilted PropellersYao, C., Krieglstein, J. & Janschek, K., 2018, in:  IFAC-PapersOnLine. 51, 22, S. 115-120, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Modeling Customers and Products with Word Embeddings from Receipt Data.Woltmann, L., Thiele, M. & Lehner, W., 2018, IDEAS. S. 246-252, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Modeling of the compressed-air flow impact for thermoforming simulationsWagner, S., Münsch, M., Kayatz, F., Majschak, J. P. & Delgado, A., 2018, Recent Advances in Computational Engineering - Proceedings of the 4th International Conference on Computational Engineering ICCE 2017 in Darmstadt. Behr, M., Schafer, M., Mehl, M. & Wohlmuth, B. (Hrsg.). Springer-Verlag, S. 163-176, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Modellbasierte Entwicklung mobiler MaschinensystemeRitz, D., Beck, B., Koch, O., Richter, C., Starke, M., Waurich, V., Weber, J. & 1 weitere, 2018Publikation: Beitrag zu Konferenzen > Paper
• Modellbasierte Entwicklung von mobilen MaschinensytemenBeck, B., Koch, O., Ritz, D., Richter, C., Starke, M., Waurich, V., Weber, J. & 1 weitere, 2018, 7. Fachtagung Baumaschinentechnik: TagungsbandPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Modellierung und Numerische Simulation der Infrarot-Erwärmung von Schmalflächen an Holzwerkstoffplatten mit der Software Ansys FluentSanjon, C., Herzberg, M., Kayatz, F. & Schult, A., 2018Publikation: Beitrag zu Konferenzen > Paper
• Modelling for Software Development and Control DesignKoch, O. & Weber, J., 2018Publikation: Beitrag zu Konferenzen > Paper
• Modelltransformation von MO²GO zu B2MML zur Teilautomatisierung von Geschäfts- und FertigungsprozessenSchweizer, H., Wollschlaeger, M. & Gering, P., 2018Publikation: Beitrag zu Konferenzen > Paper