Publications

2020

• Metall-Kunststoff-Verbunde mit einer elastischen Zwischenschicht - Herstellung durch einen Press-Spritzgieß-Prozess bzw. SandwichspritzgießenLehmann, D., Lönnecke, K., Reichert, V., Schneider, K. & Bräuer, M., 2020, In: Kautschuk, Gummi, Kunststoffe : KGK. 72, 1-2, p. 24-30, 7 p.Research output: Contribution to journal > Research article
• Method for the computer-aided design and simulation of hydrogel-based microfluidic chipsVoigt, A., Schreiter, J., Mayr, C. G. & Richter, A., 2020, Proceedings ASIM SST 2020, 25. Symposium Simulationstechnik. p. 221-226Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Method for the Computer-Aided Schematic Design and Simulation of Hydrogel-Based Microfluidic SystemsVoigt, A., Schreiter, J., Frank, P., Pini, C., Mayr, C. & Richter, A., 2020, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39, 8, p. 1635-1648Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Methodical approach for simulating the vibration of damaged fibre reinforced composite rotors under consideration of aerodynamic influencesKoch, I., Beirow, B., Filippatos, A., Kühhorn, A. & Gude, M., 2020, ECCM 2018 - 18th European Conference on Composite Materials. Applied Mechanics LaboratoryResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Methodische Druckkopfentwicklung für den Vollwand-BetondruckWill, F., Storch, F. & Plaschnick, P., 2020Research output: Contribution to conferences > Presentation slides
• Methylcellulose – a versatile printing material that enables biofabrication of tissue equivalents with high shape fidelityAhlfeld, T., Guduric, V., Duin, S., Akkineni, A. R., Schütz, K., Kilian, D., Emmermacher, J. & 8 others, 2020, In: Biomaterials science. 8, 8, p. 2102-2110Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Metric Temporal Description Logics with Interval-Rigid NamesBaader, F., Borgwardt, S., Koopmann, P., Ozaki, A. & Thost, V., 2020, In: ACM transactions on computational logic. 21, 4, 46 p., 30Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Minimal witnesses for probabilistic timed automataJantsch, S., Funke, F. & Baier, C., 2020, Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings. Van Hung, D. & Sokolsky, O. (eds.). Springer, Berlin [u. a.], p. 501-517, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Model-based analysis of timing errors for reliable UAV designMutzke, T., Steurer, M., Morozov, A. & Janschek, K., 2020, Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference. Baraldi, P., Di Maio, F. & Zio, E. (eds.). Research Publishing, Singapore, p. 2057-2064, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Model-based dependability assessment of phased-mission unmanned aerial vehiclesSteurer, M., Morozov, A., Janschek, K. & Neitzke, K. P., 2020, In:  IFAC-PapersOnLine. 53, 2, p. 8915-8922, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article