Publications

2020

• Components in Probabilistic Systems: Suitable by ConstructionBaier, C., Dubslaff, C., Hermanns, H., Klauck, M., Klüppelholz, S. & Köhl, M. A., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, Cham, p. 240-261, 22 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Compression sensing using fragmented carbon fibers by means of plastic deformations in partially cured epoxy matrixHöhne, R., Müller, M. & Modler, N., 2020, ECCM 2018 - 18th European Conference on Composite Materials. Applied Mechanics LaboratoryResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computation of Positively Invariant Sets of the Duffing System and the Nonlinear Pendulum under Bounded ExcitationRöbenack, K. & Gerbet, D., 2020, 7th International Conference on Control, Decision and Information Technologies, CoDIT 2020Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Computing Cores for Existential Rules with the Standard Chase and ASPKrötzsch, M., 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). Calvanese, D., Erdem, E. & Thielscher, M. (eds.). IJCAI Organization, p. 603–613Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Concentration-triggered liquid-to-solid transition of sodium caseinate suspensions as a function of temperature and enzymatic cross-linkingRaak, N., Abbate, R. A., Alkhalaf, M., Lederer, A., Rohm, H. & Jaros, D., 2020, In: Food Hydrocolloids. 101, 105464Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Concept development of a traction management system using the example of a pipe laying machineWildner, D., Herlitzius, T. & Berg, T., 2020, LAND.TECHNIK 2020. VDI Verlag, Düsseldorf, p. 387-394, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Concepts for novel high-performance metal hybrid yarns for composites with improved damage toleranceSchmidt, E., Abdkader, A. & Cherif, C., 2020, In: Technical Textiles. 63, 4-5, p. E155-E157Research output: Contribution to journal > Research article
• Connecting conceptual models using relational reference attribute grammars.Schöne, R., Mey, J., Ebert, S. & Aßmann, U., 2020, Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. p. 88:1-88:11, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• CONPrint3D - On-site, large-scale, monolithic 3D concrete printingMechtcherine, V., Nerella, V. N., Will, F., Näther, M. & Otto, J., 2020, In: CPT worldwide : construction printing technology. 2020, 2, p. 14-22, 9 p.Research output: Contribution to journal > Research article
• Considering Time-Critical Barriers in Indoor Routing for People with DisabilitiesSchmalfuß-Schwarz, J., Loitsch, C. & Weber, G., 2020, Lecture Notes in Computer Science. p. 315-322Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution